Sciweavers

7992 search results - page 175 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
REFSQ
2007
Springer
16 years 16 days ago
Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
Inger Dybdahl Sørby, Øystein Nytr&os...
HPDC
1997
IEEE
15 years 10 months ago
Optimizing Layered Communication Protocols
Layering of protocols o ers several well-known advantages, but typically leads to performance ine ciencies. We present a model for layering, and point out where the performance pr...
Mark Hayden, Robbert van Renesse
HPCC
2007
Springer
15 years 10 months ago
Business Model and the Policy of Mapping Light Communication Grid-Based Workflow Within the SLA Context
In the business Grid environment, the business relationship between a customer and a service provider should be clearly defined. The responsibility of each partner can be stated in...
Dang Minh Quan, Jörn Altmann
FASE
2004
Springer
15 years 10 months ago
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Real-Time Maude is a language and tool supporting the formal specification and analysis of real-time and hybrid systems. The specification formalism is based on rewriting logic, em...
Peter Csaba Ölveczky, José Meseguer
HPCN
1994
Springer
15 years 10 months ago
Experiments with HPF Compilation for a Network of Workstations
Abstract. High Performance Fortran (hpf) is a data-parallel Fortran for Distributed Memory Multiprocessors. Hpf provides an interesting programming model but compilers are yet to c...
Fabien Coelho