1114 search results - page 198 / 223 » Validating optimizations of concurrent C C programs |
138
Voted
DSD
2010
IEEE
15 years 24 days ago
2010
IEEE
We present a high-level synthesis flow for mapping an algorithm description (in C) to a provably equivalent registertransfer level (RTL) description of hardware. This flow uses an ...
139
Voted
EMSOFT
2010
Springer
15 years 23 days ago
2010
Springer
Nucleos is a new runtime system for ultra-lightweight embedded systems. Central to Nucleos is a dispatcher based on the concept of e threaded code, which enables layers of abstrac...
137
Voted
USS
2010
15 years 19 days ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
152
Voted
ICOODB
2009
15 years 15 days ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
201
Voted
PDP
2011
IEEE
14 years 6 months ago
2011
IEEE
—Energy-efficiency is becoming one of the most critical issues in embedded system design. In Network-on-Chip (NoC) based heterogeneous Multiprocessor Systems, the energy consump...