13397 search results - page 253 / 2680 » From Static Distributed Systems to Dynamic Systems |
126
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a new algorithm called List-based Load Balancing (LLB) for compile-time task scheduling on distributed-memory machines. LLB is intended as a cluster-mapping an...
144
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
231
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
155
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
In today’s world, stream processing systems have become important, as applications like media broadcasting, sensor network monitoring and on-line data analysis increasingly rely...
155
click to vote
EUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...