Sciweavers

56 search results - page 9 / 12
» Parallel versions of the symbolic manipulation system FORM
Sort
View
CPHYSICS
2006
119views more  CPHYSICS 2006»
15 years 6 months ago
GDF: A tool for function estimation through grammatical evolution
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...
GECCO
2009
Springer
156views Optimization» more  GECCO 2009»
16 years 17 days ago
Characterizing the genetic programming environment for fifth (GPE5) on a high performance computing cluster
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
Kenneth Holladay
FORMATS
2007
Springer
15 years 10 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CHI
2010
ACM
16 years 15 days ago
Pacer: fine-grained interactive paper via camera-touch hybrid gestures on a cell phone
PACER is a gesture-based interactive paper system that supports fine-grained paper document content manipulation through the touch screen of a cameraphone. Using the phone’s cam...
Chunyuan Liao, Qiong Liu, Bee Liew, Lynn Wilcox
IPPS
2009
IEEE
16 years 19 days ago
Annotation-based empirical performance tuning using Orio
In many scientific applications, significant time is spent tuning codes for a particular highperformance architecture. Tuning approaches range from the relatively nonintrusive (...
Albert Hartono, Boyana Norris, Ponnuswamy Sadayapp...