Sciweavers

833 search results - page 19 / 167
» A Design and Test Technique for Embedded Software
Sort
View
ICSEA
2006
IEEE
15 years 5 months ago
Template-Based Development of Fault-Tolerant Embedded Software
— Currently there are different approaches to develop fault-tolerant embedded software: implementing the system from scratch or using libraries respectively specialized hardware....
Christian Buckl, Alois Knoll, Gerhard Schrott
SCOPES
2004
Springer
15 years 4 months ago
Predictable Embedded Multiprocessor System Design
Consumers have high expectations about the video and audio quality delivered by media processing devices like TVsets, DVD-players and digital radios. Predictable heterogenous appl...
Marco Bekooij, Orlando Moreira, Peter Poplavko, Ba...
75
Voted
DATE
2010
IEEE
149views Hardware» more  DATE 2010»
15 years 3 months ago
Efficient decision ordering techniques for SAT-based test generation
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
Mingsong Chen, Xiaoke Qin, Prabhat Mishra
VTS
2007
IEEE
103views Hardware» more  VTS 2007»
15 years 5 months ago
At-Speed Testing of Core-Based System-on-Chip Using an Embedded Micro-Tester
In SoC designs, limited test access to internal cores, lowcost external tester’s lack of accuracy and slow frequencies make application of at-speed tests impractical. Therefore,...
Matthieu Tuna, Mounir Benabdenbi, Alain Greiner
CSMR
2006
IEEE
15 years 5 months ago
Can LSI help Reconstructing Requirements Traceability in Design and Test?
Managing traceability data is an important aspect of the software development process. In this paper we investigate to what extent latent semantic indexing (LSI), an information r...
Marco Lormans, Arie van Deursen