Sciweavers

3521 search results - page 213 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
ESOP
2005
Springer
16 years 2 days ago
A New Foundation for Control-Dependence and Slicing for Modern Program Structures
The notion of control dependence underlies many program analysis and transformation techniques used in numerous applications. Despite wide application, existing definitions and ap...
Venkatesh Prasad Ranganath, Torben Amtoft, Anindya...
TWC
2008
98views more  TWC 2008»
15 years 6 months ago
A Queue-Based Approach to Power Control in Wireless Communication Networks
In modern wireless communication systems, power control plays a fundamental role for efficient resource utilization, in particular in the systems where the users share the same ban...
Luigi Chisci, Romano Fantacci, Lorenzo Mucchi, Tom...
DAC
1999
ACM
16 years 7 months ago
An Efficient Lyapunov Equation-Based Approach for Generating Reduced-Order Models of Interconnect
In this paper we present a new algorithm for computing reduced-order models of interconnect which utilizes the dominant controllable subspace of the system. The dominant controlla...
Jing-Rebecca Li, Frank Wang, Jacob White
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 11 months ago
A bio-plausible design for visual attitude stabilization
— We consider the problem of attitude stabilization using exclusively visual sensory input, and we look for a solution which can satisfy the constraints of a “bio-plausible” ...
Andrea Censi, Shuo Han, Sawyer B. Fuller, Richard ...
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
15 years 1 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...