1057 search results - page 144 / 212 » Testing from Formal Specifications, a Generic Approach |
EVOW
2009
Springer
14 years 2 months ago
2009
Springer
We apply evolutionary computation to calibrate the parameters of a morphogenesis model of Drosophila early development. The model aims to describe the establishment of the steady g...
ASPDAC
2005
ACM
13 years 9 months ago
2005
ACM
Ever scaling process technology makes embedded systems more vulnerable to soft errors than in the past. One of the generic methods used to fight soft errors is based on duplicati...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
A nonparametric version of the basis pursuit method is developed for field estimation. The underlying model entails known bases, weighted by generic functions to be estimated fro...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
IEEEMM
2006
13 years 7 months ago
2006
The Musical Instrument Digital Interface (MIDI) is a popular music format used in mu ltimedia messaging service, such as mobile phone ringtones. Scalable Polyphony MIDI (SP-MIDI) ...