Sciweavers

4166 search results - page 1 / 834
» A modular module system
Sort
View
GECCO
2007
Springer
153views Optimization» more  GECCO 2007»
13 years 11 months ago
Analyzing the effects of module encapsulation on search space bias
Modularity is thought to improve the evolvability of biological systems [18, 22]. Recent studies in the field of evolutionary computation show that the use of modularity improves...
Ozlem O. Garibay, Annie S. Wu
CONCUR
1997
Springer
13 years 9 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
JFP
2000
95views more  JFP 2000»
13 years 4 months ago
A modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
Xavier Leroy
APVIS
2001
13 years 6 months ago
Visual Programs Module Choice and Layout in the Nord Modular Patch Language
The Nord Modular music synthesiser system comprises a standalone array of digital signal processors programmed by a dataflow visual langauage and supported by a visual programming...
James Noble, Robert Biddle
FDL
2004
IEEE
13 years 8 months ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
Dorian Petit, Vincent Poirriez, Georges Mariano