3090 search results - page 561 / 618 » On Testing Answer-Set Programs |
117
click to vote
ISLPED
2005
ACM
15 years 7 months ago
2005
ACM
In this paper, we take the idea of application-level processing on disks to one level further, and focus on an architecture, called Cluster of Active Disks (CAD), where the storag...
100
Voted
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Garbage collection offers numerous software engineering advantages, but interacts poorly with virtual memory managers. Existing garbage collectors require far more pages than the ...
106
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Parametric polymorphism has become a common feature of mainstream programming languages, but software component architectures have lagged behind and do not support it. We examine ...
87
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...
124
click to vote
VRCAI
2004
ACM
15 years 7 months ago
2004
ACM
Despite steady research advances in many aspects of virtual reality, building and testing virtual worlds remains to be a very difficult process. Most virtual environments are stil...