7961 search results - page 1167 / 1593 » Input-Output Model Programs |
314
click to vote
WSC
2008
15 years 8 months ago
2008
Medical Imaging Centers (MIC) are critical units in every hospital or medical center because they are an important step in generating a patient's diagnostic. This paper shows...
153
click to vote
WSC
2008
15 years 8 months ago
2008
Semiconductor fabs often offer manufacturing service of multiple priorities in terms of cycle time-based X-factor targets (XFTs) and fab production must be planned accordingly. Th...
188
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
145
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Ideally, a model checking tool should successfully tackle state space explosion for complete system validation, while providing short counterexamples when an error exists. Techniqu...
190
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
This paper investigates the application of causal inference methodology for observational studies to software fault localization based on test outcomes and profiles. This methodo...