495 search results - page 25 / 99 » Extensible Proof-Producing Compilation |
ML
2008
ACM
13 years 7 months ago
2008
ACM
The importance of providing a mechanism to call C functions from high-level languages has been understood for many years and, these days, almost all statically-typed high-level-la...
SAMOS
2009
Springer
14 years 2 months ago
2009
Springer
Current generation embedded applications demand the computation engine to offer high performance similar to custom hardware circuits while preserving the flexibility of software s...
OOPSLA
2004
Springer
14 years 27 days ago
2004
Springer
Inheritance is a useful mechanism for factoring and reusing code. However, it has limitations for building extensible systems. We describe nested inheritance, a mechanism that add...
DAC
2006
ACM
14 years 8 months ago
2006
ACM
Application-specific instruction-set extensions (custom instructions) help embedded processors achieve higher performance. Most custom instructions offering significant performanc...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...