4386 search results - page 94 / 878 » A Tamper-Resistant Programming Language System |
160
click to vote
ICFP
2012
ACM
13 years 3 months ago
2012
ACM
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
136
click to vote
ICDT
2011
ACM
14 years 5 months ago
2011
ACM
The goal of the PADS project, which started in 2001, is to make it easier for data analysts to extract useful information from ad hoc data files. This paper does not report new r...
142
click to vote
LCPC
1995
Springer
15 years 5 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
117
Voted
CCS
2011
ACM
14 years 1 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
95
Voted
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Self-stabilizing programs automatically recover from state corruption caused by software bugs and other sources to reach the correct state. A number of applications are inherently...