1075 search results - page 146 / 215 » Toward a Verified Relational Database Management System |
LISA
2000
13 years 10 months ago
2000
Here we describe Pelendur, a system for the management of common system operation tasks. Specifically, Pelendur focuses on the management of user accounts and related information ...
COOPIS
1996
IEEE
14 years 28 days ago
1996
IEEE
Rational drug design is an example where integrated access to heterogeneous scientific data is urgently needed, as it becomes rapidly available due to new experimental and computa...
VLDB
1998
ACM
14 years 29 days ago
1998
ACM
The increasing performance and decreasing cost of processors and memory are causing system intelligence to move into peripherals from the CPU. Storage system designers are using t...
CCS
2009
ACM
14 years 9 months ago
2009
ACM
Management of a modern enterprise is based on the assumption that executive reports of lower-layer management are faithful to what is actually happening in the field. As some well...
CCGRID
2005
IEEE
14 years 2 months ago
2005
IEEE
In this article we present the design choices and the evaluation of a batch scheduler for large clusters, named OAR. This batch scheduler is based upon an original design that emp...