281
click to vote
ICCAD
15 years 11 months ago
1994 IEEE 
Interconnectperformance does not scale well into deep submicron dimensions, and the rising number of analog effects erodes tal abstraction necessary for high levels of integration...
281
click to vote
CPE
15 years 11 months ago
1994 Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
269
click to vote
TPCD
15 years 9 months ago
1994
Theorem proving techniques are particularly well suited for reasoning about arithmetic above the bit level and for relating di erent f abstraction. In this paper we show how a non-...
258
click to vote
CAV
15 years 11 months ago
1994 Springer
We introduce event-recording automata. An event-recording automaton is a timed automaton that contains, for every event a, a clock that records the time of the last occurrence of a...
251
click to vote
ICCAD
15 years 11 months ago
1994 IEEE 
In this paper we present an enhanced design flow model that increases the capabilities of a CAD framework to support design activities on hierarchical multi-view design descriptio...
|
Hardware