371 search results - page 68 / 75 » Pushdown Automata Simulator |
118
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
We study Timed Branching Processes (TBPs), a natural extension of (multitype) Branching Processes (BPs) where each entity is equipped with a finite set of private continuous variab...
107
Voted
IWSOS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper, we have investigated the feasibility of a selforganized evacuation process when compared with a centralized control. The evacuation strategy is based on ā...
180
click to vote
SIGADA
2007
Springer
15 years 7 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
114
click to vote
ENTCS
2006
15 years 1 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...
159
click to vote
SPIN
2010
Springer
15 years 4 days ago
2010
Springer
In the ļ¬eld of communication networks, protocol engineers usually employ several tools focused on speciļ¬c kinds of analysis, such as performance or correctness. This paper pres...