46 search results - page 8 / 10 » Software-Implemented Fault Detection for High-Performance Sp... |
138
click to vote
IPSN
2007
Springer
15 years 10 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
143
click to vote
ENTCS
2008
15 years 4 months ago
2008
Verification of multi-threaded C++ programs poses three major challenges: the large number of states, states with huge sizes, and time intensive expansions of states. This paper p...
157
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Device scaling trends dramatically increase the susceptibility of microprocessors to soft errors. Further, mounting demand for embedded microprocessors in a wide array of safety c...
125
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
160
click to vote
FCCM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract--The Cibola Flight Experiment (CFE) is an experimental small satellite developed at the Los Alamos National Laboratory to demonstrate the feasibility of using FPGA-based r...