3056 search results - page 15 / 612 » Compiling Embedded Languages |
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
ASPDAC
2001
ACM
13 years 11 months ago
2001
ACM
Power-efficient design requires reducing power dissipation in all parts of the design and during all stages of the design process subject to constraints on the system performance ...
LCTRTS
2009
Springer
14 years 2 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...
FPL
2004
Springer
14 years 1 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
LCTRTS
2001
Springer
14 years 12 days ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...