8398 search results - page 1585 / 1680 » Optimal Software Testing |
131
click to vote
ISCA
1995
IEEE
15 years 4 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
124
Voted
POPL
2010
ACM
15 years 3 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
124
click to vote
FAST
2010
15 years 3 months ago
2010
Live migration of virtual hard disks between storage arrays has long been possible. However, there is a dearth of online tools to perform automated virtual disk placement and IO l...
147
click to vote
ANCS
2008
ACM
15 years 2 months ago
2008
ACM
Today's routers need to perform packet classification at wire speed in order to provide critical services such as traffic billing, priority routing and blocking unwanted Inte...
108
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper describes an agent-based platform for the allocation of loads in distributed transportation logistics, developed as a collaboration between CWI, Dutch National Center f...