1304 search results - page 150 / 261 » Evaluating Hardware Compilation Techniques |
131
click to vote
ASPLOS
2006
ACM
16 years 13 days ago
2006
ACM
Modern cars contain a multitude of micro controllers for a wide area of tasks. The diversity of the heterogeneous hardware and software leads to a complicated and expensive integr...
188
click to vote
LATIN
2004
Springer
15 years 11 months ago
2004
Springer
Equality logic with or without uninterpreted functions is used for proving the equivalence or refinement between systems (hardware verification, compiler’s translation, etc). C...
195
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
173
click to vote
ISHPC
2000
Springer
15 years 10 months ago
2000
Springer
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
158
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Most software tools and environments help developers analyze the present and past development states of their software systems. Few approaches have investigated the potential cons...