4386 search results - page 174 / 878 » A Tamper-Resistant Programming Language System |
112
click to vote
HIPS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
111
Voted
LCTRTS
1998
Springer
15 years 6 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
111
Voted
PADL
2000
Springer
15 years 5 months ago
2000
Springer
In this paper, we demonstrate how Functional Reactive Programming (FRP), a framework for the description of interactive systems, can be extended to encompass parallel systems. FRP ...
CC
2010
Springer
15 years 8 months ago
2010
Springer
CC
2004
Springer
15 years 7 months ago
2004
Springer
