Sciweavers

6834 search results - page 1215 / 1367
» The Fail-Heterogeneous Architectural Model
Sort
View
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 11 months ago
Stability Overlay for linear and nonlinear time-varying plants
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
Paulo Andre Nobre Rosa, Jeff S. Shamma, Carlos Sil...
CLUSTER
2009
IEEE
15 years 11 months ago
A scalable and generic task scheduling system for communication libraries
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
François Trahay, Alexandre Denis
DAC
2009
ACM
15 years 11 months ago
Non-cycle-accurate sequential equivalence checking
We present a novel technique for Sequential Equivalence Checking (SEC) between non-cycle-accurate designs. The problem is routinely encountered in verifying the correctness of a s...
Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol...
IWQOS
2001
Springer
15 years 11 months ago
Aggregation and Scalable QoS: A Performance Study
The IETF’s Integrated Services (IntServ) architecture together with reservation aggregation provide a mechanism to support the quality-of-service demands of real-time flows in a...
Huirong Fu, Edward W. Knightly
SPIRE
2001
Springer
15 years 11 months ago
Distributed Query Processing Using Partitioned Inverted Files
In this paper, we study query processing in a distributed text database. The novelty is a real distributed architecture implementation that offers concurrent query service. The di...
Claudine Santos Badue, Ricardo A. Baeza-Yates, Ber...
« Prev « First page 1215 / 1367 Last » Next »