3056 search results - page 433 / 612 » Compiling Embedded Languages |
148
click to vote
FCCM
2007
IEEE
16 years 20 days ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
164
click to vote
CP
2007
Springer
16 years 15 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
184
click to vote
IWOMP
2007
Springer
16 years 14 days ago
2007
Springer
OpenMP is widely used for shared memory parallel programming and is especially useful for the parallelisation of loops. When it comes to task parallelism, however, OpenMP is less p...
146
click to vote
ICAS
2006
IEEE
16 years 11 days ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
146
click to vote
CC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...