3973 search results - page 291 / 795 » Records for Logic Programming |
137
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
We present Arithmetic Program Paths, a novel, efficient way to compress program control-flow traces that reduces program bit traces to less than a fifth of their original size whi...
144
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Lazy programs are beautiful, but they are slow because they build many thunks. Simple measurements show that most of these thunks are unnecessary: they are in fact always evaluate...
123
click to vote
KES
2004
Springer
15 years 10 months ago
2004
Springer
The rapid growth of communication technologies and the invention of set-top-box (STB) and personal digital recorder (PDR) have enabled today’s television to receive and store tre...
168
click to vote
LCPC
1994
Springer
15 years 9 months ago
1994
Springer
Data parallel programs are sensitive to the distribution of data across processor nodes. We formulate the reduction of inter-node communication as an optimization on a colored gra...
100
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Measuring effort accurately and consistently across subjects in a programming experiment can be a surprisingly difficult task. In particular, measures based on self-reported data ...