Sciweavers

6894 search results - page 339 / 1379
» Generation Problems
Sort
View
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
16 years 9 days ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
ICCS
2004
Springer
16 years 3 days ago
Velocity Field Modelling for Pollutant Plume Using 3-D Adaptive Finite Element Method
Air pollution models usually start from the computation of the velocity field of a fluid. In this paper, we present a model for computing that field based on the contribution of...
Gustavo Montero, Rafael Montenegro, José Ma...
EH
2002
IEEE
111views Hardware» more  EH 2002»
15 years 11 months ago
Towards Development in Evolvable Hardware
Mapping between genotype and phenotype using a model of biological development has been widely touted as a technique for evolving solutions to large, complex problems [1-3]. Here ...
Timothy G. W. Gordon, Peter J. Bentley
AAAI
1997
15 years 8 months ago
Effective Redundant Constraints for Online Scheduling
The use of heuristics as a means to improve constraint solver performance has been researched widely. However, most work has been on problem-independentheuristics (e.g., variable ...
Lise Getoor, Greger Ottosson, Markus P. J. Fromher...
CORR
2007
Springer
96views Education» more  CORR 2007»
15 years 6 months ago
Exact Cover with light
We suggest a new, unconventional, way for solving the YES/NO version of the Exact Cover problem by using the massive parallelism of light. The idea is to build a device which can ...
Mihai Oltean, Oana Muntean