2302 search results - page 101 / 461 » The Evolution of Concurrent Programs |
153
click to vote
CC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
284
click to vote
ACMMSP
2006
ACM
16 years 4 days ago
2006
ACM
We present an implementation and evaluation of atomicity (also known as software transactions) for a dialect of Java. Our implementation is fundamentally different from prior work...
152
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
166
click to vote
LOGCOM
2007
15 years 6 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
159
click to vote
CONCUR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a novel way to integrate functional and concurrent programming based on intuitionistic linear logic. The functional core arises from interpreting proof reduc...