7124 search results - page 985 / 1425 » Programming Languages and Operating Systems |
137
click to vote
PADL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
127
click to vote
PLILP
1998
Springer
15 years 9 months ago
1998
Springer
The programming languages Erlang and Scheme have many common features, yet the performance of the current implementations of Erlang appears to be below that of good implementations...
146
click to vote
EUROPAR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
124
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
156
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
64-bit address spaces come at the price of pointers requiring twice as much memory as 32-bit address spaces, resulting in increased memory usage. Increased memory usage is especia...