619 search results - page 51 / 124 » The Design and Implementation of a Certifying Compiler |
143
click to vote
ACL
1990
15 years 1 months ago
1990
We describe a system of reversible grammar in which, given a logic-grammar specification of a natural language, two efficient PROLOGprograms are derived by an off-line compilation...
131
click to vote
ISADS
2003
IEEE
15 years 5 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
IPSN
2009
Springer
15 years 6 months ago
2009
Springer
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
117
click to vote
EMSOFT
2001
Springer
15 years 4 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
CHES
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. This paper presents a design-space exploration of an applicationspecific instruction-set processor (ASIP) for the computation of various cryptographic pairings over Barre...