Sciweavers

153 search results - page 18 / 31
» Concurrent data representation synthesis
Sort
View
ML
2006
ACM
13 years 7 months ago
Type-sensitive control-flow analysis
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
John H. Reppy
DILS
2006
Springer
13 years 11 months ago
Collection-Oriented Scientific Workflows for Integrating and Analyzing Biological Data
Steps in scientific workflows often generate collections of results, causing the data flowing through workflows to become increasingly nested. Because conventional workflow compone...
Timothy M. McPhillips, Shawn Bowers, Bertram Lud&a...
CONCURRENCY
2008
142views more  CONCURRENCY 2008»
13 years 7 months ago
Provenance trails in the Wings/Pegasus system
Our research focuses on creating and executing large-scale scientific workflows that often involve thousands of computations over distributed, shared resources. We describe an app...
Jihie Kim, Ewa Deelman, Yolanda Gil, Gaurang Mehta...
IJRR
2002
159views more  IJRR 2002»
13 years 7 months ago
Mapping Partially Observable Features from Multiple Uncertain Vantage Points
This paper presents a technique for mapping partially observable features from multiple uncertain vantage points. The problem of concurrent mapping and localization (CML) is state...
John J. Leonard, Richard J. Rikoski, Paul M. Newma...
GECCO
2008
Springer
120views Optimization» more  GECCO 2008»
13 years 8 months ago
Genetic programming with polymorphic types and higher-order functions
This article introduces our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed ion-ba...
Franck Binard, Amy P. Felty