145 search results - page 5 / 29 » A Benchmark Diagnostic Model Generation System |
ATS
2009
IEEE
14 years 1 months ago
2009
IEEE
Diagnostic ATPG has traditionally been used to generate test patterns that distinguish pairs of modeled faults. In this work, we investigate the use of n-distinguishing test sets,...
DAWAK
2005
Springer
14 years 7 days ago
2005
Springer
Abstract. Data warehouse architectural choices and optimization techniques are critical to decision support query performance. To facilitate these choices, the performance of the d...
ENVSOFT
2008
13 years 6 months ago
2008
ROMSTOOLS, a collection of global data sets and a series of Matlab programs collected in an integrated toolbox, generates the grid, surface forcing, initial condition, open bounda...
QEST
2010
IEEE
13 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
ASPLOS
2008
ACM
13 years 8 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...