2725 search results - page 380 / 545 » Constraint Solving for Interpolation |
139
click to vote
RTSS
1998
IEEE
15 years 8 months ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
129
click to vote
VISUALIZATION
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe an aircraft design problem in high dimensional space, with D typically being 10 to 30. In some respects this is a classic optimization problem, where the goal is to fi...
141
click to vote
ASPDAC
1998
ACM
15 years 8 months ago
1998
ACM
- In this paper, we study the wire sizing and wire spacing problem for post-layout performance optimization under Elmore delay model. Both ground capacitance and coupled capacitanc...
144
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The concept of improving the timing behavior of a circuit by relocating flip-flops is called retiming and was first presented by Leiserson and Saxe. The ASTRA algorithm propose...
128
click to vote
ISPD
1997
ACM
15 years 8 months ago
1997
ACM
In this paper, we study optimal bu er design in high-performance VLSI systems. Speci cally, we design a bu er for a given load such that chip area and power dissipation are minima...