1057 search results - page 114 / 212 » Testing from Formal Specifications, a Generic Approach |
DATE
2010
IEEE
14 years 1 months ago
2010
IEEE
─ Error tolerance formally captures the notion that – for a wide variety of applications including audio, video, graphics, and wireless communications – a defective chip that...
ITP
2010
13 years 7 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
GECCO
2006
Springer
14 years 20 days ago
2006
Springer
Embedded Cartesian Genetic Programming (ECGP) is an extension of Cartesian Genetic Programming (CGP) that can automatically acquire, evolve and re-use partial solutions in the for...
TCBB
2008
13 years 9 months ago
2008
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
TON
2008
13 years 9 months ago
2008
Abstract-- Measurement and estimation of packet loss characteristics are challenging due to the relatively rare occurrence and typically short duration of packet loss episodes. Whi...