EDCC 2010 | Sciweavers

28

click to vote

EDCC
2010
Springer

271views Applied Computing» more EDCC 2010»

Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach

14 years 5 months ago

Download edcc.dependability.org

Alfons Crespo, Ismael Ripoll, Miguel Masmano

claim paper

Read More »

32

click to vote

EDCC
2010
Springer

250views Applied Computing» more EDCC 2010»

Comparing and Validating Measurements of Dependability Attributes

14 years 5 months ago

Download www.ce.chalmers.se

—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...

Daniel Skarin, Raul Barbosa, Johan Karlsson

claim paper

Read More »

31

click to vote

EDCC
2010
Springer

234views Applied Computing» more EDCC 2010»

Online Monitoring of Software System Reliability

14 years 5 months ago

Download edcc.dependability.org

Roberto Pietrantuono, Stefano Russo, Kishor S. Tri...

claim paper

Read More »

43

click to vote

EDCC
2010
Springer

239views Applied Computing» more EDCC 2010»

Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities

14 years 5 months ago

Download www2.ing.unipi.it

Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...

Paolo Masci, Silvano Chiaradonna, Felicita Di Gian...

claim paper

Read More »

44

click to vote

EDCC
2010
Springer

230views Applied Computing» more EDCC 2010»

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency

14 years 5 months ago

Download edcc.dependability.org

Sara Tucci Piergiovanni, Roberto Baldoni

claim paper

Read More »

37

click to vote

EDCC
2010
Springer

256views Applied Computing» more EDCC 2010»

How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining

14 years 5 months ago

Download www.vmars.tuwien.ac.at

Matthias Függer, Andreas Dielacher, Ulrich Sc...

claim paper

Read More »

50

click to vote

EDCC
2010
Springer

267views Applied Computing» more EDCC 2010»

Software Process Synthesis in Assurance Based Development of Dependable Systems

14 years 5 months ago

Download www.cs.virginia.edu

—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...

Patrick J. Graydon, John C. Knight

claim paper

Read More »

43

click to vote

EDCC
2010
Springer

299views Applied Computing» more EDCC 2010»

Towards Understanding the Importance of Variables in Dependable Software

14 years 5 months ago

Download www2.warwick.ac.uk

Abstract—A dependable software system contains two important components, namely, error detection mechanisms and error recovery mechanisms. An error detection mechanism attempts t...

Matthew Leeke, Arshad Jhumka

claim paper

Read More »

41

click to vote

EDCC
2010
Springer

225views Applied Computing» more EDCC 2010»

Narrowing Down Possible Causes of Performance Anomaly in Web Applications

14 years 5 months ago