Sciweavers

2106 search results - page 65 / 422
» Specifying C concepts
Sort
View
GECCO
2005
Springer
100views Optimization» more  GECCO 2005»
15 years 3 months ago
The MaxSolve algorithm for coevolution
Coevolution can be used to adaptively choose the tests used for evaluating candidate solutions. A long-standing question is how this dynamic setup may be organized to yield reliab...
Edwin D. de Jong
ICDM
2008
IEEE
124views Data Mining» more  ICDM 2008»
15 years 4 months ago
Interactive Exploration of Model-Based Automatically Extracted Data
We present an interactive system to query, explore and navigate data according to a hierarchical knowledge model that had been automatically populated from unstructured textual da...
Anni Coden, Igor L. Sominsky, Michael A. Tanenblat...
WOTUG
2008
14 years 11 months ago
Communicating Haskell Processes: Composable Explicit Concurrency using Monads
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
Neil C. C. Brown
ESTIMEDIA
2007
Springer
15 years 4 months ago
Data-Parallel Code Generation from Synchronous Dataflow Specification of Multimedia Applications
Embedded software design for MPSoC needs parallel programming. Popular programming languages such as C and C++ are not adequate for initial specification since they are designed f...
Seongnam Kwon, Choonseung Lee, Soonhoi Ha
ISCAS
2003
IEEE
134views Hardware» more  ISCAS 2003»
15 years 3 months ago
Analog and mixed signal modelling with SystemC-AMS
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
Alain Vachoux, Christoph Grimm, Karsten Einwich