Skip to search formSkip to main contentSkip to account menu

Fit-Checker

Known as: Fitchecker 
National Institutes of Health

Related topics

Related topics

1 relation

Broader (1)

Silicones

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Preferential Discrete Model-based Diagnosis for Intermittent and Permanent Faults
In this paper we consider the diagnosis of intermittent and permanent faults in discrete event systems. We present a logic based… 
2017
2017
Plagiat Checker: Hukum Transaksi Elektronik di Indonesia sebagai Pedoman dalam Menghadapi Era Digital Bisnis E-Commerce di Indonesia
Review
2014
Review
2014
Adaptive Process Simplification and Conformance Checking in Event Logs
In this paper, we used two classes of process mining techniques (i.e., Discovery and Conformance Analysis) in order to discover… 
2014
2014
DCFI-Checker: Checking kernel dynamic control flow integrity with performance monitoring counter
It is a challenge to verify integrity of dynamic control flows due to their dynamic and volatile nature. To meet the challenge… 
2009
2009
Model-Checking Modulo Theories at Work : the integration of Yices in MCMT
Recently, the notion of an array-based system has been introduced as an abstraction of infinite state systems (such as… 
2006
2006
A new synchronization policy between PSL checkers and SystemC designs at transaction level
The authors present a technique to synchronize between PSL (property specification language) checkers and SystemC IPs at the… 
2002
2002
alpha SPIN: Extending SPIN with Abstraction
Model Checking is a powerful verification method to increase the quality of software systems. However, the application of this… 
2001
2001
[Evaluation of a computer-assisted diagnosis system in breast carcinoma].
PURPOSE Evaluation of a computerassisted diagnosis (CAD) system (R2 linage Checker 1.2). Comparison of the results of three… 
2001
2001
Implementing a Model Checker for Performability Behaviour
We describe a novel model checking algorithm for analysing the behaviour of stochastic systems with respect to their… 
1997
1997
Amplitude checker grating from one-dimensional Ronchi grating and its application to array generation.
The Ronchi grating is well known for its many applications in areas such as spectroscopy, grating interferometry, and Talbot… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)