5740 search results - page 84 / 1148 » Dynamic Distributed BackJumping |
CASCON
1996
15 years 3 months ago
1996
Modern distributed applications pose increasing demands for high availability, automatic management, and dynamic con guration of their software systems. This paper presents the ar...
ENTCS
2006
15 years 2 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
101
click to vote
PPL
2006
15 years 2 months ago
2006
This paper analyses the micro-threaded model of concurrency making comparisons with both data and instruction-level concurrency. The model is fine grain and provides synchronisati...
129
click to vote
IJCAI
2001
15 years 3 months ago
2001
We provide technical details about the software and hardware architecture of SETA, a prototype toolkit for the creation of Web stores which personalize the interaction with custom...
117
Voted
ISCAS
1999
IEEE
15 years 6 months ago
1999
IEEE
In switched dynamic system the continuous phase
ow is accompanied by a stream of switching events. If the system exhibits chaotic behavior this event stream can be used for gener...