1271 search results - page 129 / 255 » On Simulation-Checking with Sequential Systems |
PVM
2001
Springer
14 years 2 months ago
2001
Springer
Parallel IO (PIO) support for larger scale computing is becoming more important as application developers better understand its importance in reducing overall execution time by avo...
APIN
2002
13 years 10 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...
ICCAD
2007
IEEE
14 years 4 months ago
2007
IEEE
— This paper describes the FAST methodology that enables a single FPGA to accelerate the performance of cycle-accurate computer system simulators modeling modern, realistic SoCs,...
CCS
2007
ACM
14 years 4 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
WDAG
2005
Springer
14 years 3 months ago
2005
Springer
Software Transactional Memory (STM) is a generic synchronization construct that enables automatic conversion of correct sequential objects into correct nonblocking concurrent obje...