5159 search results - page 338 / 1032 » Structural Testing of Executables |
161
click to vote
WORDS
2003
IEEE
16 years 17 days ago
2003
IEEE
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
193
click to vote
SPAA
2003
ACM
16 years 16 days ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...
168
click to vote
ICSE
2010
IEEE-ACM
16 years 2 days ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...
201
click to vote
ECP
1999
Springer
15 years 11 months ago
1999
Springer
We extend a planning algorithm to cover simple forms of arithmetics. The operator preconditions can refer to the values of numeric variables and the operator postconditions can mod...
207
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
An experimental set of tools that generate instruction set simulators, assemblers, and disassemblers from a single description was developed to test if retargetable development to...