8600 search results - page 369 / 1720 » Measuring with Timed Patterns |
128
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
128
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
114
Voted
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
: The Time-Triggered (TT) model of computation is a model for the representation and analysis of the design of large hard real-time systems. Central to this model is the concept of...
129
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents a new concept for accurate modeling and timing simulationof electronicsystems integrated in a typical VHDL design environment, taking into account the requirem...
123
Voted
AMDO
2006
Springer
15 years 8 months ago
2006
Springer
Modeling and describing temporal structure in multimedia signals, which are captured simultaneously by multiple sensors, is important for realizing human machine interaction and mo...