2797 search results - page 529 / 560 » Code query by example |
105
Voted
CSCW
2010
ACM
15 years 10 months ago
2010
ACM
It would be useful if software engineers/instructors could be aware that remote team members/students are having difficulty with their programming tasks. We have developed an appr...
134
click to vote
PLDI
2009
ACM
15 years 8 months ago
2009
ACM
Translation validation is a technique for checking that, after an optimization has run, the input and output of the optimization are equivalent. Traditionally, translation validat...
124
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
109
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—We consider a Delay Tolerant Network (DTN) whose users (nodes) are connected by an underlying Mobile Ad hoc Network (MANET) substrate. Users can declaratively express high-level...
105
click to vote
ICPPW
2009
IEEE
15 years 8 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...