921 search results - page 18 / 185 » On Interleaving in Timed Automata |
103
click to vote
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
ICDCS
2005
IEEE
15 years 5 months ago
2005
IEEE
Streaming media objects have become widely used on the Internet, and the demand of interactive requests to these objects has increased dramatically. Typical interactive requests i...
101
click to vote
IANDC
2008
14 years 11 months ago
2008
Timed Petri nets and timed automata are two standard models for the analysis of real-time systems. In this paper, we prove that they are incomparable for the timed language equival...
IPL
2007
14 years 11 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
106
click to vote
FUIN
2008
14 years 11 months ago
2008
Continuous cellular automata (or coupled map lattices) are cellular automata where the state of the cells are real values in [0, 1] and the local transition rule is a real function...