5604 search results - page 763 / 1121 » Becoming Increasingly Reliable |
203
click to vote
AGP
1996
IEEE
15 years 11 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
196
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...
158
click to vote
ICCAD
1996
IEEE
15 years 11 months ago
1996
IEEE
Designer's productivity has become the key-factor of the development of electronic systems. An increasing application of design data reuse is widely recognized as a promising...
179
click to vote
ICCD
1996
IEEE
15 years 11 months ago
1996
IEEE
There are four crucial issues associated with performance simulators: simulator retargetability, simulator validation, simulation speed and simulation accuracy. This paper documen...
173
click to vote
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
Traditionally, application specific computations have been focusing on numerically intensive data manipulation. Modern communications and DSP applications, such as WWW, interactiv...