1704 search results - page 29 / 341 » Design of a Concurrent and Distributed Language |
CONCUR
2009
Springer
13 years 6 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
JLP
2000
13 years 8 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...
LOBJET
2000
13 years 8 months ago
2000
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
PPDP
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
ECOOPW
1997
Springer
14 years 20 days ago
1997
Springer
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...