Sciweavers

4985 search results - page 219 / 997
» Observation of String-Rewriting Systems
Sort
View
ECRTS
2009
IEEE
15 years 1 months ago
Approximate Bandwidth Allocation for Compositional Real-Time Systems
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
Nathan Fisher, Farhana Dewan
135
Voted
DAC
2008
ACM
16 years 5 months ago
Predictive runtime verification of multi-processor SoCs in SystemC
Concurrent interaction of multi-processor systems result in errors which are difficult to find. Traditional simulationbased verification techniques remove the concurrency informat...
Alper Sen, Vinit Ogale, Magdy S. Abadir
135
Voted
OSDI
2008
ACM
16 years 4 months ago
Predicting Computer System Failures Using Support Vector Machines
Mitigating the impact of computer failure is possible if accurate failure predictions are provided. Resources, applications, and services can be scheduled around predicted failure...
Errin W. Fulp, Glenn A. Fink, Jereme N. Haack
EUROSYS
2010
ACM
16 years 1 months ago
Barricade: Defending Systems Against Operator Mistakes
In this paper, we propose a management framework for protecting large computer systems against operator mistakes. By detecting and confining mistakes to isolated portions of the ...
Fabio Oliveira, Andrew Tjang, Ricardo Bianchini, R...
127
Voted
ICC
2008
IEEE
15 years 10 months ago
Queuing Analysis on MIMO Systems with Adaptive Modulation and Coding
— The combined MIMO with Adaptive Modulation and Coding (AMC) technology can provide high spectral efficiency and link robustness. Moreover, the diversity-multiplexing tradeoff ...
Sheng Zhou, Kai Zhang, Zhisheng Niu, Yang Yang