1628 search results - page 111 / 326 » Compiler Construction Using Scheme |
133
Voted
TCC
2009
Springer
16 years 3 months ago
2009
Springer
Proofs of Retrievability (PoR), introduced by Juels and Kaliski [JK07], allow the client to store a file F on an untrusted server, and later run an efficient audit protocol in whi...
127
click to vote
ICFP
2002
ACM
16 years 2 months ago
2002
ACM
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
115
click to vote
CCGRID
2001
IEEE
15 years 6 months ago
2001
IEEE
To ameliorate the need to spend significant programmer time modifying parallel programs to achieve highperformance, while maintaining compact, comprehensible source codes, this pa...
127
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Spatial Computing (SC) has been shown to be an energy-efficient model for implementing program kernels. In this paper we explore the feasibility of using SC for more than small k...
143
Voted
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ, using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object-ori...