Sciweavers

563 search results - page 28 / 113
» constraints 2002
Sort
View
DAC
2002
ACM
14 years 8 months ago
An integer linear programming based approach for parallelizing applications in On-chip multiprocessors
With energy consumption becoming one of the first-class optimization parameters in computer system design, compilation techniques that consider performance and energy simultaneous...
Ismail Kadayif, Mahmut T. Kandemir, Ugur Sezer
ICIP
2002
IEEE
14 years 9 months ago
Parametric contour tracking using unscented Kalman filter
This paper presents an efficient method to integrate various spatial-temporal constraints to regularize the contour tracking. The global shape of the contour is represented in a p...
Yunqiang Chen, Thomas S. Huang, Yong Rui
ICRA
2002
IEEE
85views Robotics» more  ICRA 2002»
14 years 15 days ago
Reactive Navigation for Non-Holonomic Robots using the Ego-Kinematic Space
We address the problem of applying reactive navigation methods to non-holonomic robots. Rather than embedding the motion constraints when designing a navigation method, we propose...
Javier Minguez, Luis Montano, José Santos-V...
ECBS
2002
IEEE
119views Hardware» more  ECBS 2002»
14 years 15 days ago
Managing Complex Temporal Requirements in Real-Time Control Systems
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
Kristian Sandström, Christer Norström
TPHOL
2002
IEEE
14 years 14 days ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff