6800 search results - page 159 / 1360 » Testing with Functions as Specifications |
LISP
2002
13 years 9 months ago
2002
An algebra of pictures is described that is sufficiently powerful to denote the structure of a well-known Escher woodcut, Square Limit. A decomposition of the picture that is reaso...
AIME
2005
Springer
14 years 2 months ago
2005
Springer
: The automatic application of computerized guidelines and protocols in intensive care is not simple, given the high volume of data which must be processed and the need to offer ad...
BMCBI
2005
13 years 9 months ago
2005
Background: There are currently a number of competing techniques for low-level processing of oligonucleotide array data. The choice of technique has a profound effect on subsequen...
VLSID
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a Built-In Self Test (BIST) structure referred to as Universal BIST (UBIST). The Test Pattern Generator (TPG) of the proposed UBIST is designed to generate an...
COLT
2007
Springer
14 years 3 months ago
2007
Springer
Property testing deals with tasks where the goal is to distinguish between the case that an object (e.g., function or graph) has a prespecified property (e.g., the function is li...