790 search results - page 38 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
106
click to vote
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
137
click to vote
HPCA
1998
IEEE
15 years 6 months ago
1998
IEEE
The performance of a concurrent multithreaded architectural model, called superthreading 15 , is studied in this paper. It tries to integrate optimizing compilation techniques and...
FM
2009
Springer
15 years 8 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
113
click to vote
VMCAI
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
126
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
As multi/many core processors become prevalent, programming language is important in constructing efficient parallel applications. In this work, we build a multithreaded video min...