4725 search results - page 716 / 945 » Dependence-Based Program Analysis |
129
click to vote
ASYNC
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...
123
click to vote
KES
1998
Springer
15 years 9 months ago
1998
Springer
Attractor systems are useful in neurodynamics,mainly in the modelingof associative memory. Thispaper presentsa complexity theory for continuous phase space dynamical systems with ...
130
Voted
LOPSTR
1998
Springer
15 years 9 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...
135
Voted
ICSM
1996
IEEE
15 years 9 months ago
1996
IEEE
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
142
click to vote
PADS
1996
ACM
15 years 9 months ago
1996
ACM
We investigate conservative parallel discrete event simulations for logical circuits on shared-memory multiprocessors. For a first estimation of the possible speedup, we extend th...