Sciweavers

1128 search results - page 134 / 226
» A Case for Buffer Servers
Sort
View
SCAM
2008
IEEE
16 years 19 days ago
Change Impact Graphs: Determining the Impact of Prior Code Changes
The source code of a software system is in constant change. The impact of these changes spreads out across the software system and may lead to the sudden manifestation of failures...
Daniel M. Germán, Gregorio Robles, Ahmed E....
DSN
2007
IEEE
16 years 18 days ago
Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
Florian Oprea, Michael K. Reiter
MUE
2007
IEEE
107views Multimedia» more  MUE 2007»
16 years 16 days ago
A Predictive Location Based Relaying scheme for hybrid Cellular and Ad-hoc Systems
We propose a predictive location based relaying for hybrid cellular and ad-hoc systems that can provide interference minimization to uplink transmission. In the case of dense netw...
Tae Sung Kim, Kang Jin Yoon, Young Yong Kim
RTSS
2007
IEEE
16 years 16 days ago
Toward the Predictable Integration of Real-Time COTS Based Systems
The integration phase of real-time COTS-based systems is often problematic because when multiple tasks run concurrently, the interference at the bus level between cache fetching a...
Rodolfo Pellizzoni, Marco Caccamo
SEFM
2007
IEEE
16 years 16 days ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...