5740 search results - page 84 / 1148 » Dynamic Distributed BackJumping |
CASCON
1996
13 years 11 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
13 years 10 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...
PPL
2006
13 years 10 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...
IJCAI
2001
13 years 11 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...
ISCAS
1999
IEEE
14 years 2 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...