Sciweavers

5241 search results - page 17 / 1049
» Embedded Programming with C
Sort
View
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
14 years 1 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
JSC
2002
51views more  JSC 2002»
13 years 7 months ago
Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language
Christian Bauer, Alexander Frink, Richard Kreckel
DAC
2001
ACM
14 years 9 months ago
Testing for Interconnect Crosstalk Defects Using On-Chip Embedded Processor Cores
Crosstalk effects degrade the integrity of signals traveling on long interconnects and must be addressed during manufacturing testing. External testing for crosstalk is expensive ...
Li Chen, Xiaoliang Bai, Sujit Dey
CASES
2005
ACM
13 years 10 months ago
Automating custom-precision function evaluation for embedded processors
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...
Ray C. C. Cheung, Dong-U Lee, Oskar Mencer, Wayne ...
EUROPAR
2004
Springer
14 years 1 months ago
A Fusion-Embedded Skeleton Library
Abstract. This paper addresses a new framework for designing and implementing skeleton libraries, in which each skeleton should not only be efficiently implemented as is usually d...
Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasak...