1715 search results - page 222 / 343 » Embedded Systems and Real-Time Programming |
322
click to vote
PLDI
2009
ACM
16 years 6 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
161
Voted
SAMOS
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. In this paper, we present a particularly lightweight, integrative approach to programming and executing applications targeting heterogeneous, dynamically reconfigurable ...
142
Voted
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes prototyping of a form processing system employing dot texture for printing input frames of the form. The dot texture is the texture composed of small dots. It...
158
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Many embedded systems use a simple pipelined RISC processor for computation and an on-chip SRAM for data storage. We present an enhancement called Intelligent SRAM (ISRAM) that co...
155
click to vote
CASES
2006
ACM
16 years 4 days ago
2006
ACM
Dictionary code compression is a technique where long instructions in the memory are replaced with shorter code words used as index in a table to look up the original instructions...