7092 search results - page 261 / 1419 » Parallelizing constraint programs |
100
Voted
SAS
2004
Springer
15 years 6 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
76
Voted
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Cyber Physical Systems are distributed systemsof-systems that integrate sensing, processing, networking and actuation. Aggregating physical data over space and in time e...
ISPA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. HPJava is an environment for scientific and parallel programming using Java. It is based on an extended version of the Java language. One feature that HPJava adds to Jav...
102
click to vote
HPCN
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. We describe a programming interface for parallel computing on NUMA (NonUniform Memory Access) shared memory machines. Although the interest in this architecture is rapidl...
121
Voted
HIPEAC
2011
Springer
14 years 8 days ago
2011
Springer
Much compiler-orientated work in the area of mapping parallel programs to parallel architectures has ignored the issue of external workload. Given that the majority of platforms w...