967 search results - page 82 / 194 » Automated benchmarking and analysis tool |
120
Voted
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Cardio-vascular diseases is a major cause of deaths worldwide. Early diagnosis is quite often associated with more efficient treatment leading to a significant decrease of the mor...
134
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
For programs whose data variables range over boolean or finite domains, program verification is decidable, and this forms the basis of recent tools for software model checking. I...
135
Voted
WSC
2004
15 years 5 months ago
2004
Wafers in a 300-mm semiconductor fabrication facility are transported throughout the factory in carriers called front opening unified pods (FOUPs). Two standard capacities of FOUP...
138
Voted
LOPSTR
2009
Springer
15 years 10 months ago
2009
Springer
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
101
Voted
TACAS
1995
Springer
15 years 7 months ago
1995
Springer
HyTech is a tool for the automated analysis of embedded systems. This document, designed for the rst-time user of HyTech, guides the reader through the underlying system model, an...