Sciweavers

535 search results - page 9 / 107
» Concurrency Control: Methods, Performance, and Analysis
Sort
View
SEFM
2007
IEEE
14 years 2 months ago
Automatically Proving Concurrent Programs Correct
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
Byron Cook
ICC
2007
IEEE
110views Communications» more  ICC 2007»
14 years 2 months ago
Analytical Methods for Resource Allocation and Admission Control with Dual-Leaky-Bucket Regulated Traffic
Abstract —In this paper, we study the problems of resource allocation and admission control of traffic flows with guaranteed Quality of Service. Specifically, we deal with traffi...
Paolo Giacomazzi, Luigi Musumeci, Gabriella Saddem...
EUROSYS
2007
ACM
14 years 5 months ago
Competitive prefetching for concurrent sequential I/O
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...
Chuanpeng Li, Kai Shen, Athanasios E. Papathanasio...
ISSS
2002
IEEE
194views Hardware» more  ISSS 2002»
14 years 23 days ago
Managing Dynamic Concurrent Tasks in Embedded Real-Time Multimedia Systems
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
Rudy Lauwereins, Chun Wong, Paul Marchal, Johan Vo...
IPPS
1999
IEEE
14 years 4 days ago
Implementation of a Virtual Time Synchronizer for Distributed Databases
The availability of high speed networks and improved microprocessor performance have made it possible to build inexpensive cluster of workstations as an appealing platform for par...
Azzedine Boukerche, Sajal K. Das, Ajoy Kumar Datta...