Sciweavers

5456 search results - page 74 / 1092
» A study of Object Evolution
Sort
View
IGPL
2006
130views more  IGPL 2006»
15 years 3 months ago
Verifying Temporal Heap Properties Specified via Evolution Logic
Abstract. This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate-and d...
Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard...
ALIFE
1998
15 years 2 months ago
Self-Evolution in a Constructive Binary String System
We examine the qualitative dynamics of a catalytic self-organizing reaction system of binary strings that is inspired by the chemical information processing metaphor. A string is ...
Peter Dittrich, Wolfgang Banzhaf
PAMI
1998
85views more  PAMI 1998»
15 years 2 months ago
Shape Evolution With Structural and Topological Changes Using Blending
This paper describes a framework for the estimation of shape from sparse or incomplete range data. It uses a shape representation called blending, which allows for the geometric c...
Douglas DeCarlo, Dimitris N. Metaxas
ICANNGA
2011
Springer
254views Algorithms» more  ICANNGA 2011»
14 years 2 months ago
Simulated Evolution (SimE) Based Embedded System Synthesis Algorithm for Electric Circuit Units (ECUs)
ECU (Electric Circuit Unit) is a type of embedded system that is used in automobiles to perform different functions. The synthesis process of ECU requires that the hardware should...
Umair F. Siddiqi, Yoichi Shiraishi, Mona Abo El Da...
CORR
2010
Springer
62views Education» more  CORR 2010»
15 years 3 months ago
Views, Program Transformations, and the Evolutivity Problem
In this article, we argue that a program transformation approach is a good way to solve the tyranny of the primary decomposition. We illustrate our transformation-based approach o...
Julien Cohen, Rémi Douence