5159 search results - page 57 / 1032 » Structural Testing of Executables |
138
click to vote
ISCA
1995
IEEE
15 years 5 months ago
1995
IEEE
Current trends in processor design are pointing to deeper and wider pipelines and superscalar architectures. The efficient use of these resources requires speculative execution, ...
97
Voted
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
94
Voted
AIME
2001
Springer
15 years 6 months ago
2001
Springer
Asbru is a language for specifying treatment plans. These plans are then used by an execution unit to give advice to the medical staff what actions to take (open-loop system). In ...
136
click to vote
MEMOCODE
2010
IEEE
15 years 6 days ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
140
click to vote
ASE
2004
15 years 2 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...