Results 211 to 220 of about 94,523 (259)

Checking Internal Consistency of SOFL Specification: A Hybrid Approach

Lecture Notes in Computer Science, 2014
A SOFL specification can be written with errors inside, leading to an untrustable situation for implementation. Some techniques, such as specification review and testing, have been proposed to detect and remove the errors from the specification as early as possible. Meanwhile these techniques face strong challenges when applied to practice in that they
Yuting Chen
exaly   +2 more sources

Totally self-checking checkers with separate internal fault indication

IEEE Transactions on Computers, 1988
The design of a novel class of totally self-checking (TSC) checkers with two separate output indications E/sub N/ and F/sub N/ is described. F/sub N/ is independent of input errors and indicates internal faults only. On the other hand, the output E/sub N/ indicates input errors as well as a small number of internal faults.
N Gaitanis
exaly   +2 more sources

Internal Checking During Eucalypt Processing

2010
Collapse is a severe type of shrinkage that occurs to some extent in most species and timber types, but is particularly prevalent amongst certain species. The low to medium density Eucalypt species are particularly prone (Chafe et al. 1992). Collapse is “abnormal” in that it occurs in saturated timber above the Fibre Saturation Point (FSP) when the ...
exaly   +2 more sources

Alloy for checking internal threads

Aircraft Engineering and Aerospace Technology, 1998
exaly   +2 more sources

Shadow-checking internal shapes

Precision Engineering, 1987
exaly   +2 more sources

International Doi Check

Samaj Shastra – The Mega Journal of Social Sciences, 2023
We are happy to publish all sorts of articles To make it simple for you we have provided a simple way in which you identify the type of your article Currently we publish the following types of ...
openaire   +1 more source

Checking internal cavities in shafts

Measurement Techniques, 1965
exaly   +2 more sources

A Daily Check-In/Check-Out Intervention for Students with Internalizing Concerns

Journal of Behavioral Education, 2020
This study investigated the impact of a self-management intervention, known as “Check-in/Check-out” (CICO) on academic engaged time and internalizing problems of three elementary-level students identified with risk for internalizing behavior problems.
Barbara S. Mitchell, Timothy J. Lewis, Melissa Stormont   +2 more
openaire   +1 more source