332 search results - page 38 / 67 » A Direct Algorithm for Multi-valued Bounded Model Checking |
109
click to vote
COCO
2007
Springer
15 years 8 months ago
2007
Springer
We consider the k-layer pointer jumping problem in the one-way multi-party number-on-the-forehead communication model. Sufficiently strong lower bounds for the problem would have...
122
Voted
DAC
1997
ACM
15 years 6 months ago
1997
ACM
: Academic clock routing research results has often had limited impact on industry practice, since such practical considerations as hierarchical buffering, rise-time and overshoot ...
106
click to vote
ASPDAC
2006
ACM
15 years 8 months ago
2006
ACM
— Process variations in digital circuits make sequential circuit timing validation an extremely challenging task. In this paper, a Statistical Bellman-Ford (SBF) algorithm is pro...
142
click to vote
AP2PS
2009
IEEE
15 years 5 months ago
2009
IEEE
—P2P computing platforms are subject to a wide range of attacks. In this paper, we propose a generalisation of the previous disk-less checkpointing approach for fault-tolerance i...
122
click to vote
ATVA
2005
Springer
15 years 7 months ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...