1814 search results - page 170 / 363 » D-Stampede: Distributed Programming System for Ubiquitous Co... |
CLUSTER
2004
IEEE
14 years 2 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
IEEEPACT
1999
IEEE
14 years 3 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
We extend a previous type system for the -calculus that guarantees deadlock-freedom. The previous type systems for deadlockfreedom either lacked a reasonable type inference algorit...
ICN
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
CONCUR
2006
Springer
14 years 2 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...