Sciweavers

2237 search results - page 193 / 448
» Storing information with extractors
Sort
View
LISA
2008
15 years 8 months ago
IZO: Applications of Large-Window Compression to Virtual Machine Management
The increased use of virtual machines in the enterprise environment presents an interesting new set of challenges for the administrators of today's information systems. In ad...
Mark A. Smith, Jan Pieper, Daniel Gruhl, Lucas Vil...
COMPGEOM
2008
ACM
15 years 8 months ago
Self-improving algorithms for delaunay triangulations
We study the problem of two-dimensional Delaunay triangulation in the self-improving algorithms model [1]. We assume that the n points of the input each come from an independent, ...
Kenneth L. Clarkson, C. Seshadhri
ECOOP
2008
Springer
15 years 8 months ago
ReCrash: Making Software Failures Reproducible by Preserving Object States
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
Shay Artzi, Sunghun Kim, Michael D. Ernst
FLOPS
2008
Springer
15 years 8 months ago
Proving Properties about Lists Using Containers
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
Rawle Prince, Neil Ghani, Conor McBride
AAAI
2010
15 years 8 months ago
Materializing Inferred and Uncertain Knowledge in RDF Datasets
There is a growing need for efficient and scalable semantic web queries that handle inference. There is also a growing interest in representing uncertainty in semantic web knowled...
James P. McGlothlin, Latifur R. Khan