Sciweavers

1835 search results - page 45 / 367
» Functional Programming of Behavior-Based Systems
Sort
View
95
Voted
JLP
2008
129views more  JLP 2008»
15 years 23 days ago
Program and proof optimizations with type systems
We demonstrate a method for describing data-flow analyses based program optimizations as compositional type systems with a transformation component. Analysis results are presented...
Ando Saabas, Tarmo Uustalu
136
Voted
WOA
2003
15 years 2 months ago
eXAT: an Experimental Tool for Programming Multi-Agent Systems in Erlang
— This paper describes a research experiment carried out at the University of Catania, aiming at testing and evaluating the applicability of the Erlang language in programming mu...
Antonella Di Stefano, Corrado Santoro
85
Voted
GECCO
2005
Springer
119views Optimization» more  GECCO 2005»
15 years 6 months ago
Automated re-invention of six patented optical lens systems using genetic programming
This paper describes how genetic programming was used as an invention machine to automatically synthesize complete designs for six optical lens systems that duplicated the functio...
John R. Koza, Sameer H. Al-Sakran, Lee W. Jones
97
Voted
SE
2008
15 years 2 months ago
Monaco: A DSL Approach for Programming Automation Systems
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
Herbert Prähofer, Dominik Hurnaus, Roland Sch...
89
Voted
GECCO
2003
Springer
120views Optimization» more  GECCO 2003»
15 years 6 months ago
System-Level Synthesis of MEMS via Genetic Programming and Bond Graphs
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
Zhun Fan, Kisung Seo, Jianjun Hu, Ronald C. Rosenb...