438 search results - page 37 / 88 » Efficient Timing Analysis Algorithms for Timed State Space E... |
144
click to vote
ENTCS
2008
15 years 3 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
138
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
130
click to vote
SIROCCO
2008
15 years 4 months ago
2008
In the effort to understand the algorithmic limitations of computing by a swarm of robots, the research has focused on the minimal capabilities that allow a problem to be solved. ...
131
Voted
DAC
1994
ACM
15 years 7 months ago
1994
ACM
A powerful combinational path sensitization engine is required for the efficient implementation of tools for test pattern generation, timing analysis, and delay fault testing. Path...
161
Voted
QUESTA
2008
15 years 2 months ago
2008
We introduce the Conditional Mean Value Analysis (CMVA) algorithm, an exact solution method for product-form load-dependent closed queueing networks that provides a numerically st...