4491 search results - page 669 / 899 » Algorithm Engineering |
189
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
For designing aesthetic surfaces, such as the car bodies, it is very important to use aesthetic curves as characteristic lines. In such curves, the curvature should be monotonical...
150
click to vote
DATE
2007
IEEE
16 years 28 days ago
2007
IEEE
We propose a robust circuit-based Boolean Satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in ...
171
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
—The prospects of Optical Burst Switching (OBS) as a cost-effective switching paradigm for future all-optical transport networks would greatly benefit from minimizing the number ...
164
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we introduce a novel wide-profile graphical tool-building platform GrTP which is based on the principle of separating semantic domain model processing and user inter...
203
click to vote
DAC
2006
ACM
16 years 16 days ago
2006
ACM
This paper investigates methods for clock skew minimization using buffer and wire sizing. First, a technique that significantly improves solution quality and stability of sequent...