5799 search results - page 311 / 1160 » Patterns Generate Architectures |
168
click to vote
ICDCS
2005
IEEE
15 years 10 months ago
2005
IEEE
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
144
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
168
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
The classic Generalized Sequential Patterns (GSP) algorithm returns all frequent sequences present in a database. However, usually a few ones are interesting from a user's po...
140
click to vote
CONSTRAINTS
2007
15 years 4 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
148
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
— Memory-intensive applications present unique challenges to an ASIC designer in terms of the choice of memory organization, memory size requirements, bandwidth and access latenc...