Sciweavers

2414 search results - page 170 / 483
» Server-Level Power Control
Sort
View
WSC
2007
15 years 4 months ago
Controlled sequential bifurcation for software reliability study
Computer simulation is an appealing approach for the reliability analysis of structure-based software systems as it can accommodate important complexities present in realistic sys...
Jun Xu, Feng Yang, Hong Wan
ECRTS
2010
IEEE
15 years 3 months ago
Reducing Delay Jitter of Real-Time Control Tasks through Adaptive Deadline Adjustments
For many control systems, control performance is strongly dependent on delay variations of the control tasks. Such variations can come from a number of sources including task preem...
Shengyan Hong, Xiaobo Sharon Hu, Michael D. Lemmon
AHSWN
2005
120views more  AHSWN 2005»
15 years 2 months ago
Low-Interference Topology Control for Wireless Ad Hoc Networks
Topology control has been well studied in wireless ad hoc networks. However, only a few topology control methods take into account the low interference as a goal of the methods. So...
Kousha Moaveninejad, Xiang-Yang Li
123
Voted
ATAL
2009
Springer
15 years 9 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
ICRA
2006
IEEE
118views Robotics» more  ICRA 2006»
15 years 8 months ago
Symbolic Control for Underactuated Differentially Flat Systems
— In this paper we address the problem of generating input plans to steer complex dynamical systems in an obstaclefree environment. Plans considered admit a finite description l...
Adriano Fagiolini, Luca Greco, Antonio Bicchi, Ben...