Sciweavers

1236 search results - page 81 / 248
» Prefix-Like Complexities and Computability in the Limit
Sort
View
IEEECIT
2005
IEEE
15 years 11 months ago
Feedback Scheduling for Resource-Constrained Real-time Control Systems
Subject to limited computational resource, feedback scheduling aims to improve, or to optimize, the global control performance of real-time control systems. For the system that co...
Pingfang Zhou, Jianying Xie
SMA
2005
ACM
125views Solid Modeling» more  SMA 2005»
15 years 11 months ago
Multi-representation interaction for physically based modeling
For simulations involving complex objects, a number of different properties must be represented. An example of this is in modeling an object undergoing combustion—heat amounts,...
Zeki Melek, John Keyser
GCC
2005
Springer
15 years 11 months ago
A Proxy-Based Dynamic Inheritance of Soft-Device
Soft-device is a promising infrastructure of next-generation distributed system. Soft-devices are configurable and adaptive software virtual mechanism, providing services to each o...
Jia Bi, Yanyan Li, Yunpeng Xing, Xiang Li, Xue Che...
ICALP
2005
Springer
15 years 11 months ago
How Well Can Primal-Dual and Local-Ratio Algorithms Perform?
We define an algorithmic paradigm, the stack model, that captures many primal-dual and local-ratio algorithms for approximating covering and packing problems. The stack model is ...
Allan Borodin, David Cashman, Avner Magen
ICALP
2005
Springer
15 years 11 months ago
All Quantum Adversary Methods Are Equivalent
Abstract: The quantum adversary method is one of the most versatile lower-bound methods for quantum algorithms. We show that all known variants of this method are equivalent: spect...
Robert Spalek, Mario Szegedy