Results 261 to 270 of about 549,692 (299)
Some of the next articles are maybe not open access.
Defining ATPG rules checking in STIL
Proceedings International Test Conference 1998 (IEEE Cat. No.98CH36270), 2002Developed for pattern interchange from test-generation output to tester input, the standard test interface language (STIL) was recently shown to support general test-generation input constructs. This paper shows how scan-test rules-checking can be driven by a single STIL input file.
P. Wohl, J. Waicukauski
openaire +1 more source
VLSI systems for design rule checks
1984We develop VLSI designs for the solution of several problems that arise in the design rule check phase of design automation.
Rajiv Kane, Sartaj Sahni
openaire +1 more source
Graduating rules checking up by laser interferometry
SPIE Proceedings, 1991Graduating rules used as length etalons in optical measuring instruments and tools need to be checked for graduation accuracy. The best way to perform this is by using a laser interferometer as a linear displacement transducer, some specially designed optoelectronic interfaces, and a computer for control and data processing. Implementation of measuring
Nicolae Miron, Dan G. Sporea
openaire +1 more source
Model Checking Simulation Rules for Linearizability
2016Linearizability is the standard notion of correctness for concurrent objects. A number of approaches have been developed for proving linearizability along with associated tool support. In this paper, we extend the tool support for an existing simulation-based method.
openaire +1 more source
A Slide Rule Device for Checking 2-Summability
IEEE Transactions on Computers, 1968Abstract—A switching function which is 2-summable is not linearly separable (a threshold function). A test for 2-summability is given which uses the decimal numbers corresponding to the standard products (minterms) of a function, a slide rule like device, and a preformed chart. The device may be used with functions of up to six variables.
openaire +2 more sources
Data checking based rule engine
WIT Transactions on Information and Communication Technologies, 2014Hong Lin, Zhichao Li, Hongqiang Gao
openaire +1 more source
Hematology and oncology clinical care during the coronavirus disease 2019 pandemic
Ca-A Cancer Journal for Clinicians, 2020Manish A Shah +2 more
exaly
Rule storage for an efficient rule based inconsistency check
2012Data inconsistency is a key source of data quality problems. Rule based methods are a major means for inconsistency checking. Association rules have been used for this purpose. Time efficiency is very important for online checking. In this paper we utilize a tree structure for efficient storage and retrieval of rules; to reduce complexity and improve ...
openaire +1 more source