4810 search results - page 692 / 962 » Modeling Value Speculation |
190
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
The analysis of CMOS VLSI circuit switching current has become an increasingly important and difficult task from both a VLSI design and simulation software perspective. This paper...
180
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
201
click to vote
ISMIS
1997
Springer
15 years 11 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
164
click to vote
APN
1994
Springer
15 years 10 months ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
146
click to vote
WDAG
1994
Springer
15 years 10 months ago
1994
Springer
We give an optimal, wait-free implementation of an increment register. An increment register is a concurrent object consisting of an integer-valued register with an increment oper...