20126 search results - page 135 / 4026 » Timed Transition Systems |
127
click to vote
ASPDAC
2006
ACM
15 years 9 months ago
2006
ACM
As technology scales down, timing verification of digital integrated circuits becomes an increasingly challenging task due to the gate and wire variability. Therefore, statistical...
128
Voted
MEMBRANE
2009
Springer
15 years 10 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
137
Voted
IJCAI
2003
15 years 4 months ago
2003
We address the problem of optimally controlling stochastic environments that are partially observable. The standard method for tackling such problems is to define and solve a Part...
114
Voted
ASMTA
2009
Springer
15 years 7 months ago
2009
Springer
Discrete stochastic models (DSM) are widely used in various application fields today. Proxel-based simulation can outperform discrete event-based approaches in the analysis of smal...
117
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
In an expected reachability-time game (ERTG) two players, Min and Max, move a token along the transitions of a probabilistic timed automaton, so as to minimise and maximise, respec...