601 search results - page 78 / 121 » A Simulink(c)-Based Approach to System Level Design and Arch... |
PODC
2004
ACM
15 years 3 months ago
2004
ACM
We establish a new worst-case upper bound on the Membership problem: We present a simple algorithm that is able to always achieve Agreement on Views within a single message latenc...
FAC
2008
14 years 10 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...
EUROSYS
2011
ACM
14 years 1 months ago
2011
ACM
Traditional agreement-based Byzantine fault-tolerant (BFT) systems process all requests on all replicas to ensure consistency. In addition to the overhead for BFT protocol and sta...
105
click to vote
CF
2009
ACM
15 years 4 months ago
2009
ACM
In this paper, we compare the architectural perspectives of the Wave Field Synthesis (WFS) 3D-audio algorithm mapped on three different platforms: a General Purpose Processor (GP...
IWCC
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, we propose a novel Single I/O Space architecture for achieving a Single System Image (SSI) at the I/O subsystem level. This is very much desired in a scalable clust...