521 search results - page 31 / 105 » Timing Verification Using HDTV |
DAC
2007
ACM
15 years 11 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
WSC
2008
15 years 8 days ago
2008
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...
DFG
2004
Springer
15 years 1 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
APN
2006
Springer
14 years 12 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
CORR
2011
Springer
14 years 5 months ago
2011
Springer
— In recent times, many protocols have been proposed to provide security for various information and communication systems. Such protocols must be tested for their functional cor...