4386 search results - page 580 / 878 » A Tamper-Resistant Programming Language System |
127
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
202
Voted
PLDI
1998
ACM
15 years 8 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...
118
click to vote
ASPLOS
1996
ACM
15 years 8 months ago
1996
ACM
New high-speed networks greatly encourage the use of network memory as a cache for virtual memory and file pages, thereby reducing the need for disk access. Becausepages are the f...
122
click to vote
PLDI
1996
ACM
15 years 8 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
124
click to vote
ERLANG
2004
ACM
15 years 7 months ago
2004
ACM
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...