Sciweavers

7992 search results - page 175 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
REFSQ
2007
Springer
14 years 4 months 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
14 years 2 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
14 years 2 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
14 years 2 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
14 years 2 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