Sciweavers

855 search results - page 67 / 171
» Embedded core testing using genetic algorithms
Sort
View
OSDI
2008
ACM
16 years 3 months ago
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
PATMOS
2000
Springer
15 years 6 months ago
Data-Reuse and Parallel Embedded Architectures for Low-Power, Real-Time Multimedia Applications
Exploitation of data re-use in combination with the use of custom memory hierarchy that exploits the temporal locality of data accesses may introduce significant power savings, esp...
Dimitrios Soudris, Nikolaos D. Zervas, Antonios Ar...
RSP
1998
IEEE
188views Control Systems» more  RSP 1998»
15 years 7 months ago
Performance and Interface Buffer Size Driven Behavioral Partitioning for Embedded Systems
One of the major differences in partitioning for codesign is in the way the communication cost is evaluated. Generally the size of the edge cut-set is used. When communication bet...
T.-C. Lin, Sadiq M. Sait, Walling R. Cyre
GECCO
2006
Springer
253views Optimization» more  GECCO 2006»
15 years 6 months ago
A novel approach to optimize clone refactoring activity
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
Salah Bouktif, Giuliano Antoniol, Ettore Merlo, Ma...
DCC
2001
IEEE
16 years 2 months ago
Group Testing for Wavelet Packet Image Compression
This paper introduces Group Testing for Wavelet Packets (GTWP), a novel embedded image compression algorithm based on wavelet packets and group testing. This algorithm extends the...
Edwin S. Hong, Richard E. Ladner, Eve A. Riskin