571 search results - page 15 / 115 » Performing causality analysis by bounded model checking |
101
click to vote
JPDC
2006
14 years 11 months ago
2006
Several schemes for checkpointing and rollback recovery have been reported in the literature. In this paper, we analyze some of these schemes under a stochastic model. We have der...
TCOM
2008
14 years 11 months ago
2008
In this paper, we derive closed form upper bounds on the error probability of low-density parity-check (LDPC) coded modulation schemes operating on quasi-static fading channels. Th...
101
click to vote
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
One of the major overheads that prohibits the wide spread deployment of parallel discrete event simulation PDES is the need to synchronize the distributed processes in the simulat...
100
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
APN
2004
Springer
15 years 5 months ago
2004
Springer
We consider the problem of model checking modular Petri nets for the linear time logic LTL-X. An algorithm is presented which can use the synchronisation graph from modular analysi...