Sciweavers

4604 search results - page 509 / 921
» Analysis of Negotiation Dynamics
Sort
View
ISQED
2003
IEEE
102views Hardware» more  ISQED 2003»
16 years 4 days ago
Modeling Crosstalk Induced Delay
The amplitude of coupled noise is often used in estimating the crosstalk effect. Coupling noise-induced delay measures the impact of crosstalk on circuit performance. Efficient c...
Chung-Kuan Tsai, Malgorzata Marek-Sadowska
GECCO
2003
Springer
129views Optimization» more  GECCO 2003»
16 years 2 days ago
Finding Building Blocks through Eigenstructure Adaptation
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...
Danica Wyatt, Hod Lipson
HYBRID
2003
Springer
16 years 2 days ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
DATE
2002
IEEE
107views Hardware» more  DATE 2002»
15 years 12 months ago
High-Speed Non-Linear Asynchronous Pipelines
Many approaches recently proposed for high-speed asynchronous pipelines are applicable only to linear datapaths. However, real systems typically have non-linearities in their data...
Recep O. Ozdag, Peter A. Beerel, Montek Singh, Ste...
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
15 years 11 months ago
A Realtime Pattern Generator for Biped Walking
For realtime walking control of a biped robot, we analyze the dynamics of a three-dimensional inverted pendulum whose motions are constrained onto an arbitrarily defined plane. T...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...