Sciweavers

198 search results - page 9 / 40
» Synthesizing racy tests
Sort
View
ISCAS
2007
IEEE
164views Hardware» more  ISCAS 2007»
15 years 3 months ago
Noise Figure Measurement Using Mixed-Signal BIST
—A Built-In Self-Test (BIST) approach for functionality measurements, including noise figure (NF), linearity and frequency response of analog circuitry in mixedsignal systems, is...
Jie Qin, Charles E. Stroud, Foster F. Dai
ENTCS
2007
126views more  ENTCS 2007»
14 years 9 months ago
Context Dependent Procedures and Computed Types in -eriFun
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
Andreas Schlosser, Christoph Walther, Michael Gond...
TVCG
2012
187views Hardware» more  TVCG 2012»
13 years 16 hour ago
Effective Replays and Summarization of Virtual Experiences
—Direct replays of the experience of a user in a virtual environment are difficult for others to watch due to unnatural camera motions. We present methods for replaying and summ...
Kevin Ponto, Joe Kohlmann, Michael Gleicher
FORTE
2008
14 years 11 months ago
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
Guoqiang Shu, Yating Hsu, David Lee
GECCO
2009
Springer
128views Optimization» more  GECCO 2009»
15 years 2 months ago
Evolving stochastic processes using feature tests and genetic programming
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
Brian J. Ross, Janine H. Imada