2000 search results - page 99 / 400 » Program Transformation and Proof Transformation |
121
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
126
click to vote
MPC
1995
Springer
15 years 7 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
141
click to vote
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
124
Voted
HIPEAC
2007
Springer
15 years 9 months ago
2007
Springer
The XScale processor family provides user-controllable independent configuration of CPU, bus, and memory frequencies. This feature introduces another handle for the code optimizat...
151
click to vote
ICS
2000
Tsinghua U.
15 years 7 months ago
2000
Tsinghua U.
From a software engineering perspective, the Java programming language provides an attractive platform for writing numerically intensive applications. A major drawback hampering i...