Sciweavers

8810 search results - page 240 / 1762
» Open. Closed. Open
Sort
View
GI
2003
Springer
15 years 11 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
ICCS
2003
Springer
15 years 11 months ago
OpenMP in the Field: Anecdotes from Practice
Russell K. Standish, Clinton Chee, Nils Smeds
APSEC
2002
IEEE
15 years 11 months ago
Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
ATS
2002
IEEE
118views Hardware» more  ATS 2002»
15 years 11 months ago
Diagnosis Of Byzantine Open-Segment Faults
This paper addresses the problem of locating the stuckopen faults in a manufactured IC with scan flip-flops. Unlike most previous methods that only aim at identifying the faulty s...
Shi-Yu Huang