1421 search results - page 106 / 285 » Satisfying KBO Constraints |
DATE
2002
IEEE
14 years 1 months ago
2002
IEEE
We present a unified framework that considers flipflop and repeater insertion and the placement of flipflop/repeater blocks during RT or higher level design. We introduce the...
CSL
2001
Springer
14 years 24 days ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
IWPC
2000
IEEE
14 years 21 days ago
2000
IEEE
This paper presents a framework for software architecture recovery and restructuring. The user specifies a high level abstraction view of the system using a structured pattern la...
ICRA
1998
IEEE
14 years 17 days ago
1998
IEEE
Image-based servozng systems are often used to track moving targets and their underlying control architecture is a regulation of the image. This regulation is a function of rigid ...
DAC
1989
ACM
14 years 11 days ago
1989
ACM
- New algorithms for high-level synthesis are presented. The first performs scheduling under hardware resource constraints and improves on commonly used list scheduling techniques ...