Sciweavers

5990 search results - page 842 / 1198
» The Sampling Analysis Pattern
Sort
View
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 4 months ago
Symbolic functional and timing verification of transistor-level circuits
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...
Clayton B. McDonald, Randal E. Bryant
DAWAK
1999
Springer
15 years 4 months ago
OLAP-based Scalable Profiling of Customer Behavior
Profiling customers’ behavior has become increasingly important for many applications such as fraud detection, targeted marketing and promotion. Customer behavior profiles are cr...
Qiming Chen, Umeshwar Dayal, Meichun Hsu
RTSS
1998
IEEE
15 years 3 months ago
The Time-Triggered Model of Computation
: 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...
Hermann Kopetz
KDD
1998
ACM
146views Data Mining» more  KDD 1998»
15 years 3 months ago
Mining Association Rules in Hypertext Databases
In this workweproposea generalisation of the notion of associationrule in the contextof flat transactions to that of a compositeassociation rule in the context of a structured dir...
José Borges, Mark Levene
ICCAD
1996
IEEE
102views Hardware» more  ICCAD 1996»
15 years 3 months ago
Bit-flipping BIST
A scan-based BIST scheme is presented which guarantees complete fault coverage with very low hardware overhead. A probabilistic analysis shows that the output of an LFSR which fee...
Hans-Joachim Wunderlich, Gundolf Kiefer