[图书][B] System-on-a-chip Verification: Methodology and Techniques

P Rashinkar, P Paterson, L Singh - 2007 - books.google.com
… developed to verify a platform-based SOC for multimedia audio … If the system is verified using
transaction-based verification, … sizes increase, it might not be feasible to run the full system-…

[HTML][HTML] Patent application title: APPARATUS AND METHOD FOR MEASURING A PLURALITY OF LOUDSPEAKERS AND MICROPHONE ARRAY Inventors: Andreas …

IPC Class, A USPC - 2016 - patentsencyclopedia.com
… the audio routing system 50 and a connected computer 56 for the measurement system. The
… are performed subsequent to a manual verification in that, for the reference measurements, …

[PDF][PDF] The design for the Wall Street Journal-based CSR corpus

DB Paul, J Baker - … and Natural Language: Proceedings of a …, 1992 - aclanthology.org
… , it was decided to collect the majority of the recorded speech in a "… testing at any vocabulary
size up to 64K words. (However, using it for open vocabulary testing at any vocabulary size

Validation and validity of diagnoses in the General Practice Research Database: a systematic review

E Herrett, SL Thomas, WM Schoonen… - British journal of …, 2010 - Wiley Online Library
recorded in the GPRD, reporting strong measures of … measures of effect calculated with
broad sets of codes and those with more restrictive sets of codes, suggesting that the majority of …

Deepxplore: Automated whitebox testing of deep learning systems

K Pei, Y Cao, J Yang, S Jana - … 26th Symposium on Operating Systems …, 2017 - dl.acm.org
… systematically measuring the parts of a DL system exercised … [76], we found that the majority
of them cannot be easily handled by … We use this feature to intercept and record the output of …

Digital wavefront measuring interferometer for testing optical surfaces and lenses

JH Bruning, DR Herriott, JE Gallagher, DP Rosenfeld… - Applied …, 1974 - opg.optica.org
… a system for measuring components and … the majority of surfaces in moderate size optics
to be measured. A reference surface must be measured after each change in this optical system

[PDF][PDF] Black box and white box testing techniques-a literature review

S Nidhra, J Dondeti - International Journal of Embedded Systems …, 2012 - researchgate.net
testing is the procedure of executing a program or system with the intent of finding faults [10].
It is measured to … The majority of articles mainly focus on case studies, theoretical reports, …

The video head impulse test: diagnostic accuracy in peripheral vestibulopathy

HG MacDougall, KP Weber, LA McGarvie… - Neurology, 2009 - AAN Enterprises
… HIT measurements, but it is not practical for routine testing or … ) system, we compared the
measures from video recordings … , the VOR gains returned toward normal (F), the majority of …

Formal methods: Practice and experience

J Woodcock, PG Larsen, J Bicarregui… - ACM computing surveys …, 2009 - dl.acm.org
… of a Verified Software Repository, part of the worldwide Verifiedsystems bigger than around
300 KLOC, and the majority … understand the validity of the measurements being made. But …

Accuracy of tetrode spike separation as determined by simultaneous intracellular and extracellular measurements

KD Harris, DA Henze, J Csicsvari… - Journal of …, 2000 - journals.physiology.org
… Larger size wires can record the activity of multiple neurons … separation methods is that their
reliability cannot be verified … The majority of the error increase was for Type I (false positive) …