3820 search results - page 710 / 764 » Bounded Model Debugging |
152
click to vote
ASIAN
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. This text is an informal review of several randomized algorithms that have appeared over the past two decades and have proved instrumental in extracting efficiently quant...
106
click to vote
ASM
2004
ASM
15 years 7 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
157
click to vote
CPM
2004
Springer
15 years 7 months ago
2004
Springer
We consider succinct, or highly space-efficient, representations of a (static) string consisting of n pairs of balanced parentheses, that support natural operations such as findi...
141
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
157
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...