Sciweavers

5376 search results - page 148 / 1076
» Scalable Kernel Systems
Sort
View
JVM
2004
127views Education» more  JVM 2004»
15 years 5 months ago
Towards Scalable Multiprocessor Virtual Machines
A multiprocessor virtual machine benefits its guest operating system in supporting scalable job throughput and request latency--useful properties in server consolidation where ser...
Volkmar Uhlig, Joshua LeVasseur, Espen Skoglund, U...
CATS
2006
15 years 5 months ago
Formalising the L4 microkernel API
This paper gives an overview of a pilot project on the specification and verification of the L4 highperformance microkernel. Of the three aspects examined in the project, we descr...
Rafal Kolanski, Gerwin Klein
LCR
2000
Springer
172views System Software» more  LCR 2000»
15 years 7 months ago
Achieving Robust, Scalable Cluster I/O in Java
We present Tigris, a high-performance computation and I/O substrate for clusters of workstations that is implemented entirely in Java. Tigris automatically balances resource load a...
Matt Welsh, David E. Culler
ATAL
2005
Springer
15 years 9 months ago
AmbieAgents: a scalable infrastructure for mobile and context-aware information services
Context-aware information systems for mobile users have to cope with a variety of requirements in order to be able to provide an added value that goes beyond simply location-based...
Till Christopher Lech, Leendert W. M. Wienhofen
PAMI
2012
13 years 6 months ago
Trainable Convolution Filters and Their Application to Face Recognition
—In this paper, we present a novel image classification system that is built around a core of trainable filter ensembles that we call Volterra kernel classifiers. Our system trea...
Ritwik Kumar, Arunava Banerjee, Baba C. Vemuri, Ha...