2271 search results - page 235 / 455 » Scalable Software Libraries |
119
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
134
click to vote
SC
2005
ACM
15 years 9 months ago
2005
ACM
We describe the software architecture, technical features, and performance of TICK (Transparent Incremental Checkpointer at Kernel level), a system-level checkpointer implemented ...
113
click to vote
UIST
2005
ACM
15 years 9 months ago
2005
ACM
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
129
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
141
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present techniques that enable source-level debugging for multiple languages at the cost of only modest programming effort. The key idea is to avoid letting debugging ...