2000 search results - page 188 / 400 » Program Transformation and Proof Transformation |
161
click to vote
CL
2010
Springer
15 years 3 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
123
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Current middleware systems suffer from drawbacks. Often one is forced to make decisions early in the design process about which classes may participate in inter-machine communicat...
146
click to vote
IJPP
1998
15 years 3 months ago
1998
This paper applies unimodular transformations and tiling to improve data locality of a loop nest. Due to data dependences and reuse information, not all dimensions of the iteration...
140
click to vote
PKC
2009
Springer
16 years 4 months ago
2009
Springer
Similar to verifiable shuffling (or, mixing), we consider the problem of verifiable rotating (and random re-encrypting) a given list of homomorphic encryptions. The offset by which...
143
Voted
ASIACRYPT
2008
Springer
15 years 5 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...