743 search results - page 31 / 149 » Constraint Programming Architectures: Review and a New Propo... |
DAC
2006
ACM
14 years 8 months ago
2006
ACM
In this paper, we propose a new linear programming based timing driven placement framework for high performance designs. Our LP framework is mainly net-based, but it takes advanta...
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
14 years 7 hour ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
ICICS
1997
Springer
13 years 12 months ago
1997
Springer
Traceability is a property of a communications protocol that ensures that the origin and/or destination of messages can be identified. The aims of this paper are twofold. Firstly t...
ICCV
2003
IEEE
14 years 29 days ago
2003
IEEE
We address three crucial issues encountered in DT-MRI (Diffusion Tensor Magnetic Resonance Imaging) : diffusion tensor Estimation, Regularization and fiber bundle Visualization. ...
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
— Multiview video coding (MVC) systems require much more bandwidth and computational complexity relative to mono-view video systems. Thus, when designing a VLSI architecture for ...