172 search results - page 8 / 35 » A type and effect system for deterministic parallel Java |
PPSN
2000
Springer
13 years 11 months ago
2000
Springer
Many bacteria carry gene complexes that code for a toxin-antidote pair, e.g. colicin systems. Such gene complexes can be advantageous for its host by killing competitor bacteria wh...
SIGMETRICS
2010
ACM
14 years 20 days ago
2010
ACM
—Parallelism has often been used to improve the reliability and efficiency of a variety of different engineering systems. In this paper, we quantify the efficiency of paralleli...
POPL
1989
ACM
13 years 12 months ago
1989
ACM
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
HICSS
2002
IEEE
14 years 24 days ago
2002
IEEE
This research paper presents a new system's design and development of the prescription order communication system (POCS) based on the Internet between the hospital and the ph...
CONCUR
2001
Springer
14 years 10 days ago
2001
Springer
The issue of this work is how to type mobility, in the sense that we tackle the problem of typing not only mobile agents but also their movement. This yields higher-order types for...