385 search results - page 49 / 77 » Verified Code Generation for Embedded Systems |
117
click to vote
ISLPED
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
112
Voted
IESS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
114
click to vote
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
It is difficult to write device drivers. One factor is that writing low-level code for accessing devices and manipulating their registers is tedious and error-prone. For many syst...
134
click to vote
FPGA
2007
ACM
15 years 8 months ago
2007
ACM
Shrinking time-to-market and high demand for productivity has driven traditional hardware designers to use design methodologies that start from high-level languages. However, meet...
108
click to vote
CASES
2006
ACM
15 years 8 months ago
2006
ACM
Computer architects are constantly faced with the need to improve performance and increase the efficiency of computation in their designs. To this end, it is increasingly common ...