Sciweavers

7167 search results - page 264 / 1434
» A Technique for Invariant Generation
Sort
View
IPPS
1998
IEEE
15 years 11 months ago
Meta-heuristics for Circuit Partitioning in Parallel Test Generation
In this communication Simulated Annealing and Genetic Algorithms, are applied to the graph partitioning problem. These techniques mimic processes in statistical mechanics and biol...
Consolación Gil, Julio Ortega, Antonio F. D...
RT
1998
Springer
15 years 11 months ago
Efficient Image Generation for Multiprojector and Multisurface Displays
We describe an efficient approach to rendering a perspectively correct image on a potentially irregular display surface that may be illuminated with one or more distinct devices. T...
Ramesh Raskar, Matt Cutts, Greg Welch, Wolfgang St...
DAC
1997
ACM
15 years 11 months ago
CLIP: An Optimizing Layout Generator for Two-Dimensional CMOS Cells
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
Avaneendra Gupta, John P. Hayes
ICRA
1995
IEEE
125views Robotics» more  ICRA 1995»
15 years 11 months ago
Inductive Generation of Diagnostic Knowledge for Autonomous Assembly
A generic architecture for evolutive supervision of robotized assembly tasks is presented. This architecture , at different levels of abstraction, functions for dispatching action...
Luís Seabra Lopes, Luis M. Camarinha-Matos
ASAP
2010
IEEE
193views Hardware» more  ASAP 2010»
15 years 9 months ago
Automatic generation of polynomial-based hardware architectures for function evaluation
Abstract--Polynomial approximation is a very general technique for the evaluation of a wide class of numerical functions of one variable. This article details an architecture gener...
Florent de Dinechin, Mioara Joldes, Bogdan Pasca