Analysis and verification of data
Analysis of Large System Black Box Verification Test Data
... and verification of large systems. Testing data is collected from several test ...new analysis methodology based on the black box test design and white box analysis is ...example data ...
51
Using formal concept analysis for the verification of process-data matrices in conceptual domain models.
... the verification of matrices used in conceptual domain ...deadlock verification purposes, can indeed not be grounded in the theory of Formal Concept ...
8
Data offloading in IoT environments: modeling, analysis, and verification
... W k i;d ð Þ ¼ τ C k i;d ð Þ τ Z k i;d ð Þ τ : ð9Þ The utility W k i;d ðτÞ in the above equation is a measure of how good a node i is in terms of successfully delivering m k to d before the life-time expiry. The higher ...
23
On-the-Fly Data Flow Analysis Based on Verification Technology
... For instance, D could be the program variable set or the arithmetical and boolean expression set. In order to make the resulting program description independent from the pro- gram specification language, we now define an ...
16
Analysis of large system black box verification test data
... fault record effectiveness (ratio of repairs to fault records) was measured at 35 percent, and measures of test script redundancy (ratio of number of failed tests to minimum number of te[r] ...
51
Reference miRNAs for colorectal cancer: analysis and verification of current data
... reliable data, and that the use of inappropriate reference genes for normalization may generate unreliable or misleading results, putative housekeeping genes are still used as normalizers with no appropriate ...
12
Harmonizing data mining and static analysis to tackle hardware and system level verification
... ESL Verification Assertion Mining for System Level Design We propose a method for automatically generating assertions from Transaction Level Model (TLM) simulation traces [35], ...
183
Performance Analysis and Verification of Multipliers
... At the algorithm and architecture level, this paper addresses Low-Power, High Speed and Less Area multiplier design systematically from two aspects: internal efforts considering multiplier architectures and external ...
10
Runtime verification on data carrying traces
... Furthermore, as the results of these test runs are specific only to the implemen- tation of runtime verification, it was also measured the performance overhead of DroidTracer when no further analysis was ...
156
CPR Verification Analysis Based on TSA
... important data security technology, digital signature plays a very important role in ensuring the security, confidentiality and non-repudiation of data transmitted on the ...
5
Authorship Verification, Average Similarity Analysis
... Using this idea, a text that was not written by an author, would not exceed the average of similarity with known texts and only the text of unknown authorship would be considered as written by the author, if it exceeds ...
7
Analysis, optimization and verification of an HV connector
... Dr. Thomas Gneiting, AdMOS GmbH, 72636 Frickenhausen, Germany, [email protected], https://admos.de/ Bernhard Mund, bda connectivity GmbH, 35614 Asslar, Germany, [email protected], ...
10
Analytical Analysis on Signature Recognition and Verification
... signature verification, forgery, False Acceptance Rate, False Rejection Rate, Equal Error ...conventional verification techniques such as passwords ...signature verification & Off-line signature ...
7
Bayesian Energy Measurement and Verification Analysis
... twelve data points and traditionally ν has been taken to signify this ...the data has more or less dispersion than the standard t-distribution with as many data points, this would not be ...the ...
19
independent savings analysis verification and evaluation
... This data does indicate that whilst the front end of the procure to pay process (the purchasing specific element) is having significant attention and results, there is still a disconnect somewhere in the ...
6
Timing Analysis for Verification of Network Architectures. Timing Analysis
... the data is exported from the E/E concept tool and is imported into the timing analysis ...the data exchange. In order to extend the analysis with additional timing informa- tion [7] ...
5
Limited Data Speaker Verification: Fusion of Features
... speaker verification system contains four stages, namely analysis of speech data, extraction of features, modeling and testing ...The analysis stage analyzes the speaker information using ...
14
Data Model Verification via Theorem Proving
... static analysis and model extrac- tion difficult, as the semantics of an application are fully defined only at runtime, after li- braries have had the opportunity to augment ...
161
Checking, processing and verification of nuclear data covariances
... covariance data. This allows simple and fast analysis for nuclear data evaluators to test the impact of nuclear data covariances across the 4501 ICSBEP benchmarks with sensitivities in ...
10
Formal Verification of Synchronous Data-flow Compilers
... synchronous data-flow programming languages describe computation modes without assuming any global clock in a ...the analysis of abstract clocks and clock relations is used to derive an optimized ...
30