1237 search results - page 145 / 248 » Strictness and Totality Analysis |
148
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
164
click to vote
COLOGNETWENTE
2008
15 years 7 months ago
2008
Given a set P of n points in the plane, a Manhattan network of P is a network that contains a rectilinear shortest path between every pair of points of P. A minimum Manhattan netw...
154
click to vote
NIPS
2003
15 years 7 months ago
2003
Discrete Fourier transforms and other related Fourier methods have been practically implementable due to the fast Fourier transform (FFT). However there are many situations where ...
124
click to vote
ACL
1998
15 years 7 months ago
1998
Abstract Resource adaptlvity" Because the sets of strucNatural language parsing is conceived to be a procedure of disambiguation, which successively reduces an initially total...
207
click to vote
IPCO
1998
15 years 7 months ago
1998
Abstract. A well studied and difficult class of scheduling problems concerns parallel machines and precedence constraints. In order to model more realistic situations, we consider ...