3281 search results - page 169 / 657 » An Approach to use Executable Models for Testing |
177
click to vote
MASCOTS
1997
15 years 8 months ago
1997
We describe a method for performance analysis of large software systems that combines a fast instruction-set simulator with off-line detailed analysis of segments of the execution...
173
click to vote
ETS
2006
IEEE
16 years 18 days ago
2006
IEEE
BIST is an attractive approach to detect delay faults due to its inherent support for at-speed test. Deterministic logic BIST (DLBIST) is a technique which was successfully applie...
198
click to vote
EMNLP
2010
15 years 4 months ago
2010
The PECO framework is a knowledge representation for formulating clinical questions. Queries are decomposed into four aspects, which are Patient-Problem (P), Exposure (E), Compari...
155
click to vote
PASTE
2005
ACM
16 years 3 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
183
click to vote
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. With the availability of hundreds and soon-to-be thousands of complete genomes, the construction of genome-scale metabolic models for these organisms has attracted much a...