Sciweavers

3272 search results - page 467 / 655
» Introduction to Software Performance Engineering
Sort
View
COMSWARE
2007
IEEE
16 years 23 days ago
BARAKA: A Hybrid Simulator of SANETs
— We present BARAKA, a new simulator for SANETs. The evaluation of algorithms developed for communication and co-operation in this context is usually accomplished separately. On ...
Thomas Halva Labella, Isabel Dietrich, Falko Dress...
SERA
2007
Springer
16 years 16 days ago
A Formal Approach to Test the Robustness of Embedded Systems using Behaviour Analysis
Robustness is an important feature required for embedded systems. This paper presents a methodology to test robustness of such systems. We investigate system behaviour aspects. We...
Antoine Rollet, Fares Saad-Khorchef
VAMOS
2007
Springer
16 years 16 days ago
Using Goal-Models to Analyze Variability
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
Bruno González-Baixauli, Miguel A. Laguna, ...
IOLTS
2006
IEEE
84views Hardware» more  IOLTS 2006»
16 years 13 days ago
An Improved Technique for Reducing False Alarms Due to Soft Errors
A significant fraction of soft errors in modern microprocessors has been reported to never lead to a system failure. Any concurrent error detection scheme that raises alarm every ...
Sandip Kundu, Ilia Polian
ISORC
2006
IEEE
16 years 13 days ago
Load Balancing Techniques for Distributed Stream Processing Applications in Overlay Environments
Service overlays that support distributed stream processing applications are increasingly being deployed in wide-area environments. The inherent heterogeneous, dynamic and large-s...
Yannis Drougas, Thomas Repantis, Vana Kalogeraki