4386 search results - page 244 / 878 » A Tamper-Resistant Programming Language System |
105
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
Parallel programming on distributed memory systems is one of the most challenging research areas in parallel computingtoday. Objectbased parallel programming languages are an impor...
112
click to vote
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs....
119
click to vote
LCR
2000
Springer
15 years 5 months ago
2000
Springer
We present a new run-time system for typed programming languages that supports object sharing in a distributed system. The key insight in this system is that the ability to distin...
106
click to vote
SCP
2010
15 years 11 days ago
2010
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs in...
115
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
The performance benefits of GPU parallelism can be enormous, but unlocking this performance potential is challenging. The applicability and performance of GPU parallelizations is...