14382 search results - page 208 / 2877 » Time in Connectionist Models |
164
click to vote
PADS
2004
ACM
15 years 12 months ago
2004
ACM
: Time warp is a well-known optimistic mechanism for parallel execution of simulation programs. Implementing time warp using a connection-oriented communication approach is propose...
173
click to vote
PADS
1997
ACM
15 years 10 months ago
1997
ACM
This paper is a reminder of the danger of allowing \risk" when synchronizing a parallel discrete-event simulation: a simulation code that runs correctly on a serial machine m...
170
click to vote
ICCAD
2005
IEEE
16 years 3 months ago
2005
IEEE
Based on a timing yield model, a statistical static timing analysis technique is proposed. This technique preserves existing methodology by selecting a “device file setting” ...
179
click to vote
B
2007
Springer
16 years 20 days ago
2007
Springer
Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the cu...
156
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...