Sciweavers

936 search results - page 78 / 188
» The Synthesis Problem of Netcharts
Sort
View
155
Voted
MICRO
2005
IEEE
126views Hardware» more  MICRO 2005»
15 years 9 months ago
Cost Sensitive Modulo Scheduling in a Loop Accelerator Synthesis System
Scheduling algorithms used in compilers traditionally focus on goals such as reducing schedule length and register pressure or producing compact code. In the context of a hardware...
Kevin Fan, Manjunath Kudlur, Hyunchul Park, Scott ...
132
Voted
JNSM
2008
130views more  JNSM 2008»
15 years 3 months ago
Declarative Infrastructure Configuration Synthesis and Debugging
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Ka...
139
Voted
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
14 years 10 months ago
On parameterized Lyapunov and control Lyapunov functions for discrete-time systems
This paper deals with the existence and synthesis of parameterized-(control) Lyapunov functions (p-(C)LFs) for discrete-time nonlinear systems that are possibly subject to constrai...
Mircea Lazar, Rob H. Gielen
124
Voted
SCL
2010
100views more  SCL 2010»
14 years 10 months ago
Memory-resilient gain-scheduled state-feedback control of uncertain LTI/LPV systems with time-varying delays
The stabilization of uncertain LTI/LPV time delay systems with time varying delays by statefeedback controllers is addressed. At the difference of other works in the literature, t...
Corentin Briat, Olivier Sename, Jean-Franço...
164
Voted
NEUROSCIENCE
2001
Springer
15 years 8 months ago
Analysis and Synthesis of Agents That Learn from Distributed Dynamic Data Sources
We propose a theoretical framework for specification and analysis of a class of learning problems that arise in open-ended environments that contain multiple, distributed, dynamic...
Doina Caragea, Adrian Silvescu, Vasant Honavar