53390 search results - page 210 / 10678 » Computer Systems Analysis |
150
Voted
IPPS
2006
IEEE
16 years 14 days ago
2006
IEEE
The RTSJ memory model propose a mechanism based on a scope three containing all region-stacks in the system and a reference-counter collector. In order to avoid reference cycles a...
177
click to vote
SCL
2011
15 years 1 months ago
2011
This paper analyzes two classes of consensus algorithms in presence of bounded measurement errors. The considered protocols adopt an updating rule based either on constant or vani...
164
Voted
TCS
2010
15 years 1 months ago
2010
We propose a modification of the widely known Benjamin-Johnson-Hui (BJH) cellular automaton model for single-lane traffic simulation. In particular, our model includes a `slow-to-...
157
Voted
HYBRID
2007
Springer
16 years 18 days ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
165
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...