Sciweavers

3733 search results - page 344 / 747
» Performance Evaluation of an Operating System Transaction Ma...
Sort
View
SIGOPSE
2004
ACM
16 years 6 days ago
An approach to benchmarking configuration complexity
Configuration is the process whereby components are assembled or adjusted to produce a functional system that operates at a specified level of performance. Today, the complexity o...
Aaron B. Brown, Joseph L. Hellerstein
SIGMOD
2007
ACM
137views Database» more  SIGMOD 2007»
16 years 7 months ago
Intensional associations between data and metadata
There is a growing need to associate a variety of metadata with the underlying data, but a simple, elegant approach to uniformly model and query both the data and the metadata has...
Divesh Srivastava, Yannis Velegrakis
IDEAS
1998
IEEE
146views Database» more  IDEAS 1998»
15 years 11 months ago
The Design and Implementation of an Infrastructure for Multimedia Digital Libraries
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...
Arjen P. de Vries, Brian S. Eberman, David E. Kova...
VEE
2012
ACM
234views Virtualization» more  VEE 2012»
14 years 2 months ago
REEact: a customizable virtual execution manager for multicore platforms
With the shift to many-core chip multiprocessors (CMPs), a critical issue is how to effectively coordinate and manage the execution of applications and hardware resources to overc...
Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktaso...
QEST
2006
IEEE
16 years 24 days ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
Frank Ciesinski, Christel Baier