8555 search results - page 1328 / 1711 » Property Based Coordination |
167
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
197
Voted
ICCD
2001
IEEE
16 years 4 months ago
2001
IEEE
As the operating frequency increases to Giga Hertz and the rise time of a signal is less than or comparable to the time-of-flight delay of a line, it is necessary to consider the...
159
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...
199
click to vote
ICCAD
2002
IEEE
16 years 4 months ago
2002
IEEE
The simulation of on-chip inductance using PEEC-based circuit analysis methods often requires the solution of a subproblem where an extracted inductance matrix must be multiplied ...
189
click to vote
IUI
2009
ACM
16 years 4 months ago
2009
ACM
The history of songs, to which a person has listened, is a very personal piece of information. It is a rich data set that comes as a byproduct of the use of digital music players ...