9 search results - page 1 / 2 » A Brief Introduction to Property Testing |
PROPERTYTESTING
2010
13 years 2 months ago
2010
PROPERTYTESTING
2010
13 years 2 months ago
2010
We give a high-level survey of the "testing by implicit learning" paradigm, and explain some of the property testing results for various Boolean function classes that ha...
ECCC
2010
13 years 4 months ago
2010
ACSD
2001
IEEE
13 years 8 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
JOCN
2010
13 years 2 months ago
2010
■ Recent work showed that short-term memory (STM) is selectively reduced in GluR1 knockout mice. This raises the possibility that a form of synaptic modification dependent on Gl...