790 search results - page 38 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
155
click to vote
SPIN
1999
Springer
15 years 10 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...
181
click to vote
HPCA
1998
IEEE
15 years 10 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...
142
click to vote
FM
2009
Springer
16 years 16 days 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...
155
click to vote
VMCAI
2004
Springer
15 years 11 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...
171
click to vote
IPPS
2006
IEEE
15 years 12 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...