375 search results - page 23 / 75 » Implementation Alternatives for Bottom-Up Evaluation |
139
click to vote
ISCC
2000
IEEE
15 years 8 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
135
click to vote
IPPS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper analyses alternatives for the parallelization of the Simulated Annealing algorithm when applied to the placement of modules in a VLSI circuit considering the use of PVM...
118
click to vote
DIMVA
2010
15 years 6 months ago
2010
We present Conqueror, a software-based attestation scheme for tamper-proof code execution on untrusted legacy systems. Beside providing load-time attestation of a piece of code, Co...
139
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
142
click to vote
CG
2005
Springer
15 years 4 months ago
2005
Springer
Hyper-Resolution, a new technique for super-resolution reconstruction of images, is based on matching lowresolution target image details to their high-resolution counterparts from...