164 search results - page 20 / 33 » Primitives for Contract-based Synchronization |
88
Voted
DAIS
1997
14 years 11 months ago
1997
One of the key arguments for mobile agent systems is the flexible usage of groups of agents. However, none of the existing mobile agent systems supports agent groups. In this pap...
ACTA
2005
14 years 10 months ago
2005
We propose a new type system for information flow analysis for the -calculus. As demonstrated by recent studies, information about whether each communication succeeds is important ...
124
click to vote
PPOPP
2011
ACM
14 years 29 days ago
2011
ACM
In recent years, GPUs have emerged as an extremely cost-effective means for achieving high performance. Many application developers, including those with no prior parallel program...
HPCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Transactional memory (TM) provides an easy-to-use and high-performance parallel programming model for the upcoming chip-multiprocessor systems. Several researchers have proposed a...
CHI
2003
ACM
15 years 10 months ago
2003
ACM
A tension exists between designers' comfort with physical artifacts and the need for effective remote collaboration: physical objects live in one place. Previous research and...