Sciweavers

3307 search results - page 79 / 662
» The meaning of concurrent programs
Sort
View
94
Voted
CEC
2010
IEEE
15 years 1 months ago
Concurrently evolving sensor morphology and control for a hexapod robot
Evolving a robot's sensor morphology along with its control program has the potential to significantly improve its effectiveness in completing the assigned task, plus accommod...
Gary B. Parker, Pramod J. Nathan
166
Voted
ECOOP
1994
Springer
15 years 4 months ago
Meta Patterns - A Means For Capturing the Essentials of Reusable Object-Oriented Design
There is an undeniable demand to capture already proven and matured object-oriented design so that building reusable object-oriented software does not always have to start from scr...
Wolfgang Pree
93
Voted
ERSHOV
2009
Springer
15 years 7 months ago
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation
One of the applications of supercompilation is proving properties of programs.We focus in this paper on a speci c task: proving term equivalence for a higher-order lazy functiona...
Ilya Klyuchnikov, Sergei A. Romanenko
78
Voted
TOOLS
1999
IEEE
15 years 5 months ago
Communication as a Means to Differentiate Objects, Components and Agents
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
Dwight Deugo, Franz Oppacher, Bruce Ashfield, Mich...
96
Voted
GECCO
2003
Springer
120views Optimization» more  GECCO 2003»
15 years 5 months ago
Multi-FPGA Systems Synthesis by Means of Evolutionary Computation
Abstract. Multi-FPGA systems (MFS) are used for a great variety of applications, for instance, dynamically re-configurable hardware applications, digital circuit emulation, and num...
José Ignacio Hidalgo, Francisco Ferná...