6248 search results - page 210 / 1250 » Programming in a data factory |
136
click to vote
ATVA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...
172
click to vote
EUROPAR
2007
Springer
16 years 22 days ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
148
click to vote
HASKELL
2005
ACM
16 years 4 days ago
2005
ACM
Invertible programming occurs in the area of data conversion where it is required that the conversion in one direction is the inverse of the other. For that purpose, we introduce ...
151
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
Many instructors use program runtimes to illustrate and reinforce algorithm complexity concepts. Hardware, operating system and compilers have historically influenced runtime resu...
195
click to vote
PARA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Array privatization is one of the most effective ways to improve...