5595 search results - page 869 / 1119 » Comparing Subsumption Optimizations |
176
click to vote
PASTE
2010
ACM
16 years 8 days ago
2010
ACM
Inaccurate documentation can mislead programmers and cause software to fail in unexpected ways. We examine mismatches between documented and actual error codes returned by 42 Linu...
167
click to vote
ATS
2002
IEEE
16 years 4 days ago
2002
IEEE
We propose a methodology for non-intrusive design of concurrently self-testable FSMs. Unlike duplication schemes, wherein a replica of the original FSM acts as a predictor-compara...
194
click to vote
ICDCSW
2002
IEEE
16 years 4 days ago
2002
IEEE
Sensor networks are distributed event-based systems that differ from traditional communication networks in several ways: sensor networks have severe energy constraints, redundant ...
220
click to vote
ISQED
2002
IEEE
16 years 3 days ago
2002
IEEE
The paper addresses the issue of microprocessor and microcontroller testing, and follows an approach based on the generation of a test program. The proposed method relies on two p...
169
click to vote
RTAS
2002
IEEE
16 years 3 days ago
2002
IEEE
The paper presents some preliminary results on dynamic scheduling of model predictive controllers (MPCs). In an MPC, the control signal is obtained by on-line optimization of a co...