1206 search results - page 130 / 242 » Concurrent Abstract Predicates |
123
click to vote
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. An important application of unique object references is safe and efficient message passing in concurrent object-oriented programming. However, to prevent the ill effects...
127
Voted
ICNP
1999
IEEE
15 years 7 months ago
1999
IEEE
As the most widely used reliable transport in today's Internet, TCP has been extensively studied in the past. However, previous research usually only considers a small or med...
108
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
111
Voted
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a new method for proving liveness and termination properties for fair concurrent programs, which does not rely on finding a ranking function or on computing th...
118
Voted
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...