3456 search results - page 385 / 692 » Algorithms for Interface Synthesis |
179
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
161
click to vote
FPL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Data dependent circuits are logic circuits specialized to specific input data. They are smaller and faster than the original circuits, although they are not reusable and...
199
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
173
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we propose novel GPU accelerated algorithms for interactive point-based rendering (PBR) and high-quality shading of transparent point surfaces. By introducing the c...
136
click to vote
MICCAI
2003
Springer
16 years 7 months ago
2003
Springer
Abstract. An experimental system and interface that indicate the likelihood of deep venous thrombosis using objective measures was developed, based on ultrasound image processing u...