Sciweavers

16504 search results - page 32 / 3301
» New Problems, New Solutions
Sort
View
CP
2008
Springer
15 years 3 months ago
A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions
When numerical CSPs are used to solve systems of n equations with n variables, the preconditioned interval Newton operator plays two key roles: First it allows handling the n equat...
Alexandre Goldsztejn, Laurent Granvilliers
AHS
2006
IEEE
109views Hardware» more  AHS 2006»
15 years 8 months ago
VLSI Design IP Protection: Solutions, New Challenges, and Opportunities
It has been a decade since the need of VLSI design intellectual property (IP) protection was identified [1,2]. The goals of IP protection are 1) to enable IP providers to protect ...
Lin Yuan, Gang Qu, Lahouari Ghouti, Ahmed Bouridan...
DATE
2007
IEEE
80views Hardware» more  DATE 2007»
15 years 8 months ago
A new hybrid solution to boost SAT solver performance
Due to the widespread demands for efficient SAT solvers in Electronic Design Automation applications, methods to boost the performance of the SAT solver are highly desired. We pr...
Lei Fang, Michael S. Hsiao
SPAA
1990
ACM
15 years 6 months ago
A New Preconditioner for the Parallel Solution of Positive Definite Toeplitz Systems
We introduce a new preconditioner for solving a symmetric Toeplitz system of equations by the conjugate gradient method. This choice leads to an algorithm which is particularly sui...
Dario Bini, Fabio Di Benedetto
DATE
2006
IEEE
75views Hardware» more  DATE 2006»
15 years 8 months ago
GALS networks on chip: a new solution for asynchronous delay-insensitive links
In this paper a cost effective solution for asynchronous delay-insensitive on-chip communication is proposed. Our solution is based on the Berger coding scheme and allows to obtai...
G. Campobello, M. Castano, C. Ciofi, Daniele Manga...