7557 search results - page 393 / 1512 » Modeling Timed Concurrent Systems |
220
click to vote
WSC
2007
15 years 9 months ago
2007
Suppose that there are a number of alternative ways of operating a system, and a performance measure is available for comparing them. Simulation runs can be carried out to estimat...
237
click to vote
CAV
1994
Springer
15 years 11 months ago
1994
Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
172
click to vote
GLVLSI
2005
IEEE
16 years 11 days ago
2005
IEEE
We have presented an optimal on-chip buffer allocation and buffer insertion methodology which uses stochastic models of the architecture. This methodology uses finite buffer s...
163
click to vote
WSC
2007
15 years 9 months ago
2007
On May 4, 1988 a fire occurred after hours on the 12th floor of the First Interstate Bank building, a 62 story steelframe office tower in Los Angeles California. The sprinkler sys...
191
click to vote
NIPS
2007
15 years 8 months ago
2007
We construct a biologically motivated stochastic differential model of the neural and hemodynamic activity underlying the observed Blood Oxygen Level Dependent (BOLD) signal in Fu...