1192 search results - page 108 / 239 » Symbolic Query Exploration |
125
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
84
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
—This paper presents a high-performance CAVLC decoding VLSI architecture for MPEG-4 AVC/H.264. Instead of just skipping zero block, the proposed design explores the features of C...
125
click to vote
ISSRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
144
click to vote
ITRE
2006
IEEE
15 years 9 months ago
2006
IEEE
Knowledge models are structured representations of knowledge using symbols to represent pieces of knowledge and relationships between them, while a knowledge building community inv...
113
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...