743 search results - page 78 / 149 » Optimal Abstraction on Real-Valued Programs |
ERLANG
2006
ACM
15 years 3 months ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
EUROGP
2008
Springer
14 years 11 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
EUROGP
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. When researchers make alterations to the genetic programming algorithm they almost invariably wish to measure the change in performance of the evolutionary system. No one...
CPAIOR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. An optimization problem arising in the design of optical fibre networks is discussed. A network contains client nodes, each installed on one or more SONET rings. A const...
111
click to vote
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...