150 search results - page 16 / 30 » Multi-Level Test Models for Embedded Systems |
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
NesC is a programming language for applications that run on top of networked sensor nodes. Such an application mainly uses an interrupt to trigger a sequence of operations, known ...
EMSOFT
2008
Springer
13 years 9 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
SEUS
2010
IEEE
13 years 5 months ago
2010
IEEE
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
NN
2006
Springer
13 years 7 months ago
2006
Springer
The existence of multiple parallel loops connecting sensorimotor systems to the basal ganglia has given rise to proposals that these nuclei serve as a selection mechanism resolvin...
WORDS
2005
IEEE
14 years 28 days ago
2005
IEEE
Major computer companies and government agencies are adopting Web Services (WS) technology. Web services must ensure interoperability and security, and be reliable and trustworthy...