819 search results - page 29 / 164 » Using Assumptions to Distribute CTL Model Checking |
97
Voted
EPEW
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
163
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
78
Voted
SPIN
2001
Springer
15 years 5 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...
109
click to vote
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
120
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...