Sciweavers

3733 search results - page 127 / 747
» Performance Evaluation of an Operating System Transaction Ma...
Sort
View
WORDS
2002
IEEE
15 years 6 months ago
Service Differentiation of Communication-bound Processes in a Real-Time Operating System
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, ...
NOCS
2007
IEEE
15 years 7 months ago
The Power of Priority: NoC Based Distributed Cache Coherency
The paper introduces Network-on-Chip (NoC) design methodology and low cost mechanisms for supporting efficient cache access and cache coherency in future high-performance Chip Mul...
Evgeny Bolotin, Zvika Guz, Israel Cidon, Ran Ginos...
POPL
2009
ACM
16 years 2 months ago
Verifying distributed systems: the operational approach
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...
Tom Ridge
130
Voted
CIKM
2006
Springer
15 years 5 months ago
Matching and evaluation of disjunctive predicates for data stream sharing
New optimization techniques, e. g., in data stream management systems (DSMSs), make the treatment of disjunctive predicates a necessity. In this paper, we introduce and compare me...
Richard Kuntschke, Alfons Kemper
EDBT
2006
ACM
106views Database» more  EDBT 2006»
16 years 1 months ago
Natix Visual Interfaces
We present the architecture of Natix V2. Among the features of this native XML Data Store are an optimizing XPath query compiler and a powerful API. In our demonstration we explain...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...