3387 search results - page 401 / 678 » Model-Checking for Real-Time Systems |
206
click to vote
OPODIS
2010
15 years 5 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...
201
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
221
click to vote
CC
2009
Springer
15 years 5 months ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
224
click to vote
CG
2004
Springer
15 years 7 months ago
2004
Springer
When interacting with natural or urban environments there are many situations where the ability to access data in real time becomes relevant. Augmented Reality (AR) technologies a...
216
Voted
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...