4604 search results - page 355 / 921 » Concurrency in Synchronous Systems |
166
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We extend Kobayashi and Sumii’s type system for the deadlock-free π-calculus and develop a type reconstruction algorithm. Kobayashi and Sumii’s type system helps hig...
188
click to vote
CONCUR
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces process spaces, a unified theory of interacting systems. The trait, abstract executions, leads to a simple and general set formalism. For concurrent systems ...
169
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
In CORBA-based applications that depend on object replication for fault tolerance, inconsistencies in the states of the replicas of an object can arise when concurrent threads wit...
177
click to vote
SOSP
1997
ACM
15 years 8 months ago
1997
ACM
In this paper we show that application-aware adaptation, a collaborative partnership between the operating system and applications, offers the most general and effective approach ...
168
click to vote
USENIX
1996
15 years 8 months ago
1996
: This paper discussesthedesignandperformance of a hierarchical proxy-cache designed to make Internet information systems scale better. The design was motivated by our earlier trac...