Optimal Program Testing

1997 ◽  
pp. 65-86
Author(s):  
Hung T. Nguyen ◽  
Vladik Kreinovich
Keyword(s):  
Optimal Program ◽  
Program Testing

A new approach to program testing

1975 ◽  
Vol 10 (6) ◽  
pp. 228-233 ◽  
Author(s):  
James C. King
Keyword(s):  
New Approach ◽  
Program Testing

Optimal program and data locations in computer networks

1977 ◽  
Vol 20 (5) ◽  
pp. 315-322 ◽  
Author(s):  
Howard L. Morgan ◽  
K. Dan Levin
Keyword(s):  
Computer Networks ◽  
Optimal Program

Applications of Symbolic Execution to Program Testing

Computer ◽  
1978 ◽  
Vol 11 (4) ◽  
pp. 51-60 ◽  
Author(s):  
J.A. Darringer ◽  
J.C. King
Keyword(s):  
Symbolic Execution ◽  
Program Testing

Time-shared program testing

1959 ◽  
Author(s):  
Herbert Teager ◽  
John McCarthy
Keyword(s):  
Program Testing

Symbolic execution and program testing

1976 ◽  
Vol 19 (7) ◽  
pp. 385-394 ◽  
Author(s):  
James C. King
Keyword(s):  
Symbolic Execution ◽  
Program Testing

A Rapid Simulation and Optimization Study of Production Line

2013 ◽  
Vol 397-400 ◽  
pp. 12-15 ◽  
Author(s):  
Xiang Fei Ma ◽  
Di Liang ◽  
Yu Cheng Pan ◽  
Hua Dong Wang
Keyword(s):  
Production Line ◽  
Distribution Fitting ◽  
Statistical Tool ◽  
Optimal Program ◽  
Simulation And Optimization ◽  
Imbalance Problem ◽  
Optimization Study ◽  
Fitting In ◽  
Simulation And Evaluation ◽  
Body Production

Based on intermittent production line balance problem, Minitab statistical tool is used for data random distribution fitting in this paper and the car body production line model of one company is established and simulated under Flexsim environment, which benefits the line imbalance problem to be found quickly and accurately. Designing optimal program based on project management network analysis and making simulation and evaluation, the productivity is improved effectively and the time to balance and optimize production line is shortened greatly.

scholarly journals Taxes and Employment Subsidies in Optimal Redistribution Programs

2009 ◽  
Vol 99 (1) ◽  
pp. 216-242 ◽  
Author(s):  
Paul Beaudry ◽  
Charles Blackorby ◽  
Dezsö Szalay
Keyword(s):  
Value Of Time ◽  
Optimal Program ◽  
Market Income ◽  
Employment Subsidies

This paper explores how to optimally set taxes and transfers when taxation authorities are uninformed about individuals' value of time in both market and nonmarket activities; and can observe both market-income and time allocated to market employment. We show that optimal redistribution in this environment involves a cutoff wage whereby workers above the cutoff are taxed as they increase their income, while workers earning a wage below the cutoff receive an income supplement as they increase their income. Finally, we show that the optimal program transfers zero income to individuals who choose not to work. (JEL D31, H21, H23, H24)

Sign in / Sign up

Export Citation Format

Share Document