138 search results - page 9 / 28 » Compiled-code-based simulation with timing verification |
WSC
2008
13 years 10 months 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...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
CODES
2008
IEEE
13 years 9 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
DSD
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
DAC
2007
ACM
14 years 8 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...