Sciweavers

535 search results - page 9 / 107
» Concurrency Control: Methods, Performance, and Analysis
Sort
View
123
Voted
SEFM
2007
IEEE
15 years 10 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
106
Voted
ICC
2007
IEEE
110views Communications» more  ICC 2007»
15 years 10 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...
163
Voted
EUROSYS
2007
ACM
16 years 23 days 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...
219
Voted
ISSS
2002
IEEE
194views Hardware» more  ISSS 2002»
15 years 8 months 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...
116
Voted
IPPS
1999
IEEE
15 years 8 months 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...