Sciweavers

20511 search results - page 286 / 4103
» On the level
Sort
View
EUROGP
2007
Springer
144views Optimization» more  EUROGP 2007»
16 years 1 months ago
Fitness Landscape Analysis and Image Filter Evolution Using Functional-Level CGP
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...
Karel Slaný, Lukás Sekanina
EUROPAR
2007
Springer
16 years 1 months ago
Grid Resource Ranking Using Low-Level Performance Measurements
Abstract. This paper outlines a feasible approach to ranking Grid resources based on an easily obtainable application-specific performance model utilizing low-level performance me...
George Tsouloupas, Marios D. Dikaiakos
FDTC
2007
Springer
82views Cryptology» more  FDTC 2007»
16 years 1 months ago
Register Transfer Level Concurrent Error Detection in Elliptic Curve Crypto Implementations
Richard Stern, Nikhil Joshi, Kaijie Wu, Ramesh Kar...
157
Voted
FMCAD
2007
Springer
16 years 1 months ago
Lifting Propositional Interpolants to the Word-Level
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
Daniel Kroening, Georg Weissenbacher