Sciweavers

3660 search results - page 455 / 732
» Parallel Program Archetypes
Sort
View
CLUSTER
2004
IEEE
15 years 10 months ago
Component-based cluster systems software architecture a case study
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...
Narayan Desai, Rick Bradshaw, Ewing L. Lusk, Ralf ...
CONCUR
2006
Springer
15 years 10 months ago
A New Type System for Deadlock-Free Processes
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...
Naoki Kobayashi
CONCUR
2006
Springer
15 years 10 months ago
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
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...
Stefan Leue, Alin Stefanescu, Wei Wei
FTDCS
2004
IEEE
15 years 10 months ago
GT-P2PRMI: Improving Middleware Performance Using Peer-to-Peer Service Replication
Peer-to-peer systems have the desirable property that the amount of resources available in the system increase as demand for services increases due to growth of the system. We exp...
Tianying Chang, Mustaque Ahamad
CCGRID
2001
IEEE
15 years 10 months ago
While You're Away: A System for Load-Balancing and Resource Sharing Based on Mobile Agents
While You're Away (WYA) is a distributed system that aggregates the computational power of individual computer systems. WYA introduces the notion of Roaming Computations - Ja...
Niranjan Suri, Paul T. Groth, Jeffrey M. Bradshaw