3307 search results - page 147 / 662 » The meaning of concurrent programs |
101
Voted
APLAS
2008
ACM
15 years 3 months ago
2008
ACM
This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....
92
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
WETICE
2003
IEEE
15 years 6 months ago
2003
IEEE
The coordination of concurrent activities in collaborative environments is a very important and difficult task. Many approaches for the construction of large-scale flexible grou...
111
Voted
RE
2001
Springer
15 years 5 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
88
Voted
CONCURRENCY
2008
15 years 1 months ago
2008
Reputation mechanisms help peers in a peer-to-peer (P2P) system avoid unreliable or malicious peers. In application-level networks, however, short peer life-times mean reputations...