287
click to vote
ICCAD
16 years 4 days 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...
284
click to vote
CPE
16 years 3 days ago
1994 Springer
When implementingparallel programs forparallel computer systems the performancescalability of these programs should be tested and analyzed on different computer configurations and...
280
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-...
265
click to vote
CAV
16 years 3 days 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...
256
click to vote
ICCAD
16 years 4 days 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