9842 search results - page 1612 / 1969 » Compositional timing analysis |
140
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
159
click to vote
FOCS
1999
IEEE
15 years 8 months ago
1999
IEEE
We present a simple probabilistic algorithm for solving kSAT, and more generally, for solving constraint satisfaction problems (CSP). The algorithm follows a simple localsearch pa...
136
click to vote
IEEEPACT
1999
IEEE
15 years 8 months ago
1999
IEEE
Increases in instruction level parallelism are needed to exploit the potential parallelism available in future wide issue architectures. Predicated execution is an architectural m...
138
click to vote
INFOVIS
1999
IEEE
15 years 8 months ago
1999
IEEE
The advent of superscalar processors with out-of-order execution makes it increasingly difficult to determine how well an application is utilizing the processor and how to adapt t...
135
click to vote
ISADS
1999
IEEE
15 years 8 months ago
1999
IEEE
: In a decentralised system the problems of fault tolerance, and in particular error recovery, vary greatly depending on the design assumptions. For example, in a distributed datab...