1598 search results - page 103 / 320 » A Unified Computation Model for Functional and Logic Program... |
135
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
167
Voted
CONCURRENCY
2010
15 years 2 months ago
2010
The faster growth curves in the speed of GPUs relative to CPUs in the past decade and its rapidly gained popularity have spawned a new area of development in computational technol...
127
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
155
click to vote
SCAM
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...
157
Voted
DAC
1999
ACM
15 years 9 months ago
1999
ACM
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests which can be run at native speeds is becoming a serious proble...