Sciweavers

3689 search results - page 481 / 738
» The Branding Analysis Pattern
Sort
View
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
15 years 11 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
AGTIVE
1999
Springer
15 years 11 months ago
DiTo - A Distribution Tool Based on Graph Rewriting
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
Ansgar Radermacher
DAWAK
1999
Springer
15 years 11 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 11 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
144
Voted
KDD
1998
ACM
146views Data Mining» more  KDD 1998»
15 years 11 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