Sciweavers

1521 search results - page 51 / 305
» Efficient Design Validation Based on Cultural Algorithms
Sort
View
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 1 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
AVSS
2003
IEEE
15 years 3 months ago
Color-Based Video Stabilization for Real-Time On-Board Object Detection on High-Speed Trains
This paper is concerned with a particular application of image stabilization1 . Image stabilization is a necessary step to reduce the effect of camera motion when, as in this case...
Stefano Piva, Michela Zara, Gianluca Gera, Carlo S...
GECCO
2008
Springer
111views Optimization» more  GECCO 2008»
14 years 10 months ago
Single-objective front optimization: application to rf circuit design
This paper proposes a new algorithm which promotes well distributed non-dominated fronts in the parameters space when a single-objective function is optimized. This algorithm is b...
Eduardo José Solteiro Pires, Luís Me...
IJNSEC
2010
247views more  IJNSEC 2010»
14 years 4 months ago
Hardware Implementation of Efficient Modified Karatsuba Multiplier Used in Elliptic Curves
The efficiency of the core Galois field arithmetic improves the performance of elliptic curve based public key cryptosystem implementation. This paper describes the design and imp...
Sameh M. Shohdy, Ashraf El-Sisi, Nabil A. Ismail
CSMR
2008
IEEE
15 years 4 months ago
Modularity-Oriented Refactoring
Refactoring, in spite of widely acknowledged as one of the best practices of object-oriented design and programming, still lacks quantitative grounds and efficient tools for tasks...
Sergio Bryton, Fernando Brito e Abreu