1077 search results - page 147 / 216 » Hardware code generation from dataflow programs |
107
click to vote
ATC
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...
155
Voted
SIGMETRICS
1996
ACM
15 years 5 months ago
1996
ACM
This paper describes Embra, a simulator for the processors, caches, and memory systems of uniprocessors and cache-coherent multiprocessors. When running as part of the SimOS simul...
111
click to vote
OTM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We introduce XMLVM, a Turing complete XML-based programming language based on a stack-based, virtual machine. We show how XMLVM can automatically be created from Java cla...
136
click to vote
FECS
2010
14 years 11 months ago
2010
This paper describes the development of a system for teaching C/C++ using a LegoTM NXT in a CSI college course on introductory programming. The programming of the NXT robot has be...
113
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...