14382 search results - page 220 / 2877 » Time in Connectionist Models |
152
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
145
click to vote
MABS
2004
Springer
15 years 12 months ago
2004
Springer
Time management is essential when simulating multi-agent systems (MASs) as it allows consistent and repeatable simulation runs. So far, time management lacks support to express the...
168
click to vote
SIGMETRICS
2002
ACM
15 years 6 months ago
2002
ACM
As processor microarchitectures continue to increase in complexity, so does the time required to explore the design space. Performing cycle
188
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
173
click to vote
ATVA
2005
Springer
16 years 1 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...