1704 search results - page 43 / 341 » Design of a Concurrent and Distributed Language |
ICDCS
1989
IEEE
15 years 1 months ago
1989
IEEE
We examine the task of concurrently computing alternative solutions to a problem. We restrict our interest to the case where only one of the solutions is needed; in this case we n...
CAV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
SFP
2003
14 years 11 months ago
2003
Abstract Hume is a domain-specific programming language targeting resourcebounded computations. It is based on generalised concurrent bounded automata, controlled by transitions c...
126
click to vote
IPPS
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper describes improvements to the Mach microkernel’s support for efficient application startup across multiple nodes in a cluster or massively parallel processor. Signifi...
ENTCS
2007
14 years 9 months ago
2007
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...