Sciweavers

10848 search results - page 403 / 2170
» Programming in Biomolecular Computation
Sort
View
178
Voted
EUROPAR
2006
Springer
15 years 10 months ago
Tying Memory Management to Parallel Programming Models
Stand-alone threading libraries lack sophisticated memory management techniques. In this paper, we present a methodology that allows threading libraries that implement non-preempti...
Ioannis E. Venetis, Theodore S. Papatheodorou
179
Voted
PPSN
2000
Springer
15 years 10 months ago
Genetic Programming Bloat without Semantics
To investigate the fundamental causes of bloat, six artificial random binary tree search spaces are presented. Fitness is given by program syntax (the genetic programming genotype)...
William B. Langdon, Wolfgang Banzhaf
BIRTHDAY
2010
Springer
15 years 8 months ago
On the Power of Play-Out for Scenario-Based Programs
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
David Harel, Amir Kantor, Shahar Maoz
151
Voted
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 7 months ago
An Optimization for Reasoning with Forest Logic Programs
Open Answer Set Programming (OASP) is an attractive framework for integrating ontologies and rules. In general OASP is undecidable. In previous work we provided a tableau-based alg...
Cristina Feier, Stijn Heymans
ENTCS
2007
102views more  ENTCS 2007»
15 years 6 months ago
Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions
syntax and explicit substitutions Brigitte Pientka1 School of Computer Science McGill University Montreal, Canada This paper sketches a foundation for programming with higher-orde...
Brigitte Pientka