4386 search results - page 692 / 878 » A Tamper-Resistant Programming Language System |
115
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fred Brooks’ retelling of the biblical story of the Tower of Babel offers many insights into what makes building software difficult. The difficulty, according to common interp...
111
Voted
PVLDB
2010
15 years 1 months ago
2010
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft’s Language Integrated Query (LINQ) framework. LIN...
129
Voted
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
It is possible to implement the parallel random access machine (PRAM) on a chip multiprocessor (CMP) efficiently with an emulated shared memory (ESM) architecture to gain easy par...
147
Voted
CSFW
2011
IEEE
14 years 3 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
148
Voted
POPL
1999
ACM
15 years 7 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...