747 search results - page 13 / 150 » An Alternative Representation for QBF |
82
Voted
WSC
1998
15 years 3 months ago
1998
Simulation of traffic flow is an effective tool for evaluating alternative roadway designs, particularly in congested urban areas. CORSIM, a traffic simulation model with detailed...
131
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
101
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
140
click to vote
CAV
2004
Springer
15 years 5 months ago
2004
Springer
We study the problem of formally verifying shared memory multiprocessor executions against memory consistency models--an important step during post-silicon verification of multipro...
SOCO
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The separation of concerns has been a core idiom of software engineering for decades. In general, software can be decomposed properly only according to a single concern, ...