Sciweavers

1897 search results - page 193 / 380
» Sparse Additive Machine
Sort
View
JVM
2004
132views Education» more  JVM 2004»
15 years 7 months ago
Solaris Zones: Operating System Support for Server Consolidation
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...
Andrew Tucker, David Comay
TCS
2010
15 years 29 days ago
Maximizing the minimum load for selfish agents
We consider the problem of maximizing the minimum load for machines that are controlled by selfish agents, who are only interested in maximizing their own profit. Unlike the class...
Leah Epstein, Rob van Stee
SOFSEM
2010
Springer
16 years 3 months ago
Mixing Coverability and Reachability to Analyze VASS with One Zero-Test
We study Vector Addition Systems with States (VASS) extended in such a way that one of the manipulated integer variables can be tested to zero. For this class of system, it has bee...
Alain Finkel, Arnaud Sangnier
ICPADS
2006
IEEE
16 years 8 days ago
Flexible, Low-overhead Event Logging to Support Resource Scheduling
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Jan Stoess, Volkmar Uhlig
VLDB
2005
ACM
100views Database» more  VLDB 2005»
15 years 11 months ago
Query Caching and View Selection for XML Databases
In this paper, we propose a method for maintaining a semantic cache of materialized XPath views. The cached views include queries that have been previously asked, and additional s...
Bhushan Mandhani, Dan Suciu