Sciweavers

5022 search results - page 204 / 1005
» Data structures and problem solving using Java
Sort
View
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
15 years 6 months ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann
ASPDAC
2001
ACM
104views Hardware» more  ASPDAC 2001»
15 years 5 months ago
Optimal spacing and capacitance padding for general clock structures
Clock-tuning has been classified as important but tough tasks due to the non-convex nature caused by the skew requirements. As a result, all existing mathematical programming appr...
Yu-Min Lee, Hing Yin Lai, Charlie Chung-Ping Chen
PPL
2010
117views more  PPL 2010»
14 years 9 months ago
Neighborhood Structures for GPU-Based Local Search Algorithms
Local search (LS) algorithms are among the most powerful techniques for solving computationally hard problems in combinatorial optimization. These algorithms could be viewed as &q...
Thé Van Luong, Nouredine Melab, El-Ghazali ...
94
Voted
CP
2004
Springer
15 years 7 months ago
The Cardinality Matrix Constraint
Cardinality matrix problems are the underlying structure of several real world problems such as rostering, sports scheduling , and timetabling. These are hard computational problem...
Jean-Charles Régin, Carla P. Gomes
112
Voted
ACSC
2003
IEEE
15 years 7 months ago
A Web Based Environment for Learning to Program
The purpose of this paper is to describe in detail the current development status of the innovative Environment for Learning to Program (ELP) which provides an interactive web-bas...
Nghi Truong, Peter Bancroft, Paul Roe