Sciweavers

2595 search results - page 122 / 519
» Modes in Asynchronous Systems
Sort
View
FAST
2009
15 years 2 months ago
CA-NFS: A Congestion-Aware Network File System
We develop a holistic framework for adaptively scheduling asynchronous requests in distributed file systems. The system is holistic in that it manages all resources, including net...
Alexandros Batsakis, Randal C. Burns, Arkady Kanev...
FM
2008
Springer
127views Formal Methods» more  FM 2008»
15 years 6 months ago
A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
Olivier Ponsini, Wendelin Serwe
PRDC
2006
IEEE
15 years 10 months ago
Minimal System Conditions to Implement Unreliable Failure Detectors
In this paper we explore the minimal system requirements to implement unreliable failure detectors. We first consider systems formed by lossy asynchronous and eventually timely l...
Antonio Fernández, Ernesto Jiménez, ...
133
Voted
ICCD
1996
IEEE
134views Hardware» more  ICCD 1996»
15 years 8 months ago
Pausible Clocking: A First Step Toward Heterogeneous Systems
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
Kenneth Y. Yun, Ryan P. Donohue
TLCA
2009
Springer
15 years 11 months ago
Session-Based Communication Optimisation for Higher-Order Mobile Processes
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
Dimitris Mostrous, Nobuko Yoshida