Sciweavers

5241 search results - page 87 / 1049
» Embedded Programming with C
Sort
View
VMCAI
2010
Springer
14 years 6 months ago
Shape Analysis of Low-Level C with Overlapping Structures
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
Jörg Kreiker, Helmut Seidl, Vesal Vojdani
IWSOC
2003
IEEE
137views Hardware» more  IWSOC 2003»
14 years 2 months ago
Hardware Partitioning Software for Dynamically Reconfigurable SoC Design
CAD tools support is essential in the success of today digital system design methodologies. Unfortunately, most of the classical design tools do not take into account the possibil...
Philippe Brunet, Camel Tanougast, Yves Berviller, ...
AES
2000
Springer
98views Cryptology» more  AES 2000»
14 years 1 months ago
How Well Are High-End DSPs Suited for the AES Algorithms? AES Algorithms on the TMS320C6x DSP
The National Institute of Standards and Technology (NIST) has announced that one of the design criteria for the Advanced Encryption Standard (AES) algorithm was the ability to eļ¬...
Thomas J. Wollinger, Min Wang, Jorge Guajardo, Chr...
PLDI
2011
ACM
13 years 5 days ago
Finding and understanding bugs in C compilers
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to ļ¬nd compiler bug...
Xuejun Yang, Yang Chen, Eric Eide, John Regehr
PLDI
2012
ACM
11 years 11 months ago
Test-case reduction for C compiler bugs
To report a compiler bug, one must often ļ¬nd a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Ch...