Sciweavers

491 search results - page 59 / 99
» Micro pattern evolution
Sort
View
SCP
2010
96views more  SCP 2010»
13 years 6 months ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D...
ESOP
2007
Springer
14 years 1 months ago
Using History Invariants to Verify Observers
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
K. Rustan M. Leino, Wolfram Schulte
ECAL
2003
Springer
14 years 28 days ago
Evolving Fractal Gene Regulatory Networks for Robot Control
Fractal proteins are a new evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Ma...
Peter J. Bentley
IASSE
2004
13 years 9 months ago
The Bosco Project - A JMI-Compliant Template-based Code Generator
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
Pascal André, Gilles Ardourel, Gerson Suny&...
ICEC
1994
70views more  ICEC 1994»
13 years 9 months ago
Evolving Synaptic Connections for a Silicon Neuromorph
Our VLSI neuromorphs, possess extensive dendritic trees with hundreds of excitatory and inhibitory synaptic sites. Useful signal processing can be achieved by evolving the appropr...
David P. M. Northmore, John G. Elias