Sciweavers

15155 search results - page 102 / 3031
» System Software
Sort
View
EUROPAR
2003
Springer
14 years 3 months ago
An Overview of the Blue Gene/L System Software Organization
Abstract. The Blue Gene/L supercomputer will use system-on-a-chip integration and a highly scalable cellular architecture. With 65,536 compute nodes, Blue Gene/L represents a new l...
George Almási, Ralph Bellofatto, José...
ICSE
2003
IEEE-ACM
14 years 3 months ago
A Dependable Architecture for COTS-Based Software Systems Using Protective Wrappers
Commercial off-the-shelf (COTS) software components are built to be used as black boxes that cannot be modified. The specific context in which these COTS components are employed is...
Paulo Asterio de Castro Guerra, Cecília M. ...
ICRA
2006
IEEE
148views Robotics» more  ICRA 2006»
14 years 4 months ago
AutoPower: Toward Energy-aware Software Systems for Distributed Mobile Robots
— Autonomous robot systems have to manage their energy wisely in order to complete their missions. Typical approaches seek to conserve energy by energy-efficient motion or senso...
Keith J. O'Hara, Ripal Nathuji, Himanshu Raj, Kars...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
14 years 3 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
FASE
2010
Springer
14 years 4 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...