2872 search results - page 299 / 575 » On (Omega-)Regular Model Checking |
189
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
182
click to vote
SMI
1999
IEEE
15 years 11 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
142
click to vote
DEXAW
1996
IEEE
15 years 10 months ago
1996
IEEE
Engineeringdesign applications require the support of long transactions in cooperative environments, The problem of the existing copy/update/merge approaches is that thepartial ef...
159
click to vote
FMICS
2007
Springer
15 years 10 months ago
2007
Springer
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
179
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...