1760 search results - page 158 / 352 » A System to Mark Programs Automatically |
106
click to vote
HIPEAC
2010
Springer
15 years 5 months ago
2010
Springer
We present Offload, a programming model for offloading parts of a C++ application to run on accelerator cores in a heterogeneous multicore system. Code to be offloaded is enclosed ...
127
click to vote
IWMM
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
136
click to vote
GCC
2003
Springer
15 years 8 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
109
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
We demonstrate Spiral, a domain-specific library generation system. Spiral generates high performance source code for linear transforms (such as the discrete Fourier transform and ...
114
click to vote
MICAI
2000
Springer
15 years 6 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...