1338 search results - page 155 / 268 » Compiler Architectures for Heterogeneous Systems |
134
click to vote
CACM
2010
15 years 1 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
129
click to vote
FCCM
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we present hthreads, a unifying programming model for specifying application threads running within a hybrid CPU/FPGA system. Threads are specified from a single p...
140
click to vote
FPGA
2005
ACM
15 years 9 months ago
2005
ACM
Configurable processors are becoming increasingly popular for modern embedded systems (especially for the field-programmable system-on-a-chip). While steady progress has been made...
145
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
111
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a demonstration of a multi-agent prototype for distributed planning and coordination in dynamic non-deterministic multi-actor mixed-initiative environments. The system ...