3229 search results - page 148 / 646 » Mixing |
109
Voted
FMCAD
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...
DSVIS
2006
Springer
15 years 4 months ago
2006
Springer
100
Voted
EMSOFT
2006
Springer
15 years 4 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
75
Voted
EUROS
2006
15 years 4 months ago
2006
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...