Sciweavers

10669 search results - page 156 / 2134
» Software - Implemented Self-healing System
Sort
View
AEI
2008
118views more  AEI 2008»
15 years 4 months ago
An approach to accessing product data across system and software revisions
Long-term users of engineering product data are hampered by the ephemeral nature of CAD file formats and the applications that work with them. STEP, the Standard for the Exchange ...
Alexander Ball, Lian Ding, Manjula Patel
CORR
2002
Springer
88views Education» more  CORR 2002»
15 years 4 months ago
SPINning Parallel Systems Software
We describe our experiences in using Spin to verify parts of the Multi Purpose Daemon (MPD) parallel process management system. MPD is a distributed collection of processes connect...
Olga Shumsky Matlin, Ewing L. Lusk, William McCune
GI
2003
Springer
15 years 9 months ago
New Software Technology in Space: BOSS - a Dependable Open Source Embedded Operating System
: BOSS targets a principle which the world forgot a long time ago: Simplicity. BOSS is an embedded real time operating system for safety critical applications. Our experience shows...
Sergio Montenegro
TWC
2008
172views more  TWC 2008»
15 years 4 months ago
A Software-Defined Radio System for Backscatter Sensor Networks
Backscatter radio is proposed for sensor networks. In that way, the transmitter for each sensor is simplified to a transistor connected to an antenna and therefore, the cost for ea...
Giovanni Vannucci, Aggelos Bletsas, Darren Leigh
ICCAD
2001
IEEE
93views Hardware» more  ICCAD 2001»
16 years 1 months ago
Software-Assisted Cache Replacement Mechanisms for Embedded Systems
Prabhat Jain, Srinivas Devadas, Daniel W. Engels, ...