14382 search results - page 102 / 2877 » Time in Connectionist Models |
128
click to vote
RTCSA
1999
IEEE
15 years 5 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
88
Voted
ITC
2003
IEEE
15 years 6 months ago
2003
IEEE
An early-life reliability model is presented that allows wafer test information to be used to predict not only the total number of burn-in failures that occur for a given product,...
100
click to vote
FORMATS
2007
Springer
15 years 7 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
100
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
A technique based on the sensitivity of the output to input waveform is presented for accurate propagation of delay information through a gate for the purpose of static timing ana...
105
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...