5241 search results - page 169 / 1049 » Embedded Programming with C |
79
Voted
FPL
2007
Springer
15 years 6 months ago
2007
Springer
Programmable logic cores (PLCs) offer a means of providing post-fabrication re-configurability to a SoC design. Circuits implemented in a PLC will inevitably have lower timing per...
102
Voted
SAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
83
Voted
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a design methodology for the estimation of bus performance of a tuplespace for factory automation. The need of a tuplespace is motivated by the characteristic...
106
click to vote
RTCSA
2005
IEEE
15 years 6 months ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
118
click to vote
ENTCS
2008
15 years 19 days ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...