7311 search results - page 350 / 1463 » Time in State Machines |
229
click to vote
PTS
2008
15 years 9 months ago
2008
The state space explosion due to concurrency and timing constraints of concurrent real-time systems (CRTS) presents significant challenges to the verification engineers. In this pa...
209
click to vote
QEST
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
263
Voted
CSCW
2011
ACM
15 years 2 months ago
2011
ACM
The presence of network latency leads to usability problems in distributed groupware applications. Example problems include difficulty synchronizing tightly-coupled collaboration...
231
click to vote
JSSPP
2007
Springer
16 years 1 months ago
2007
Springer
Most space-sharing parallel computers presently operated by high-performance computing centers use batch-queuing systems to manage processor allocation. Because these machines are...
165
Voted
ISAAC
2001
Springer
16 years 19 hour ago
2001
Springer
A discrete pushdown timed automaton is a pushdown machine with integer-valued clocks. It has been shown recently that the binary reachability of a discrete pushdown timed automaton...