1205 search results - page 215 / 241 » Program Extraction from Large Proof Developments |
121
click to vote
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
128
click to vote
IPCO
2004
15 years 2 months ago
2004
Managing an industrial production facility requires carefully allocating limited resources, and gives rise to large, potentially complicated scheduling problems. In this paper we c...
217
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
107
click to vote
ICS
2009
Tsinghua U.
15 years 5 months ago
2009
Tsinghua U.
Modern GPUs offer much computing power at a very modest cost. Even though CUDA and other related recent developments are accelerating the use of GPUs for general purpose applicati...
125
click to vote
CHI
2007
ACM
16 years 1 months ago
2007
ACM
Software developers spend significant time gaining and maintaining awareness of fellow developers' activities. FASTDash is a new interactive visualization that seeks to impro...