Sciweavers

3082 search results - page 222 / 617
» New Bounds for the Controller Problem
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 8 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
IJRR
2006
103views more  IJRR 2006»
15 years 6 months ago
Adaptive Tracking Control for Robots with Unknown Kinematic and Dynamic Properties
It has been almost two decades since the first globally tracking convergent adaptive controllers were derived for robot with dynamic uncertainties. However, the problem of concurr...
Chien-Chern Cheah, Chao Liu 0003, Jean-Jacques E. ...
AIPS
2004
15 years 8 months ago
Iterative Relaxations for Iterative Flattening in Cumulative Scheduling
Cumulative scheduling is a generalization of jobshop scheduling, where machines have discrete capacities and activities may require several capacity units. This paper considers it...
Laurent Michel, Pascal Van Hentenryck
IMR
2004
Springer
15 years 12 months ago
Smoothing and Adaptive Redistribution for Grids with Irregular Valence and Hanging Nodes
We describe some extensions to the grid smoothing scheme described in [1, 2] that deal with the following issues: 1) the clustering effect of changing valence in an unstructured ...
Larisa Branets, Graham F. Carey
NCA
2003
IEEE
15 years 12 months ago
A Study of Providing Statistical QoS in a Differentiated Sevices Network
In this paper, we propose and analyze a methodology for providing statistical guarantees within the diffserv model in a network, that uses static-priority schedulers. We extend th...
Shengquan Wang, Dong Xuan, Riccardo Bettati, Wei Z...