Results 41 to 50 of about 163,944 (210)
Sensors, 2023 Synthetic aperture radar (SAR) imaging has important application potential in sea environments research, such as submarine detection. It has become one of the most significant research topics in the current SAR imaging field.
Ke Li, Qianqian Liu, Xiang Li
doaj +1 more source
Thread Verification - An Experience Report
Electronic Notes in Theoretical Computer Science, 2007 AbstractThe paper details the author's thread verification experiences with four applications: Linux kernel code, the Red Hat Linux POSIX Thread library, a portable PThread library, which was developed by the author for NASA, and a HandyChecker prototype.
openaire +1 more source
Design space and the verification experiment.
, 2015 (Color bar refers to the probability to attain CQA criteria; △, verification experiment; the region within the white line is the design space).
Yao Li (154923) +3 more
core +1 more source
Effect of adding small applications after verification experiment in a power electronics course
IET Circuits, Devices and Systems, 2022 In order to deepen the understanding of power electronics circuits, in this study, a teaching method of adding simple small applications of circuits on the basis of basic verification experiments is proposed.
Guopeng Zhao
doaj +1 more source
Verification of a Numerical Simulation Code for Underwater Chain Mooring
Archive of Mechanical Engineering, 2016 Numerical simulation is an economical and effective method in the field of marine engineering. The dynamics of mooring cables has been analysed by a numerical simulation code that was created on a basis of a new element frame.
Zhu Xiangqian, Yoo Wansuk
doaj +1 more source
Remote Sensing, 2020 We present the results from Verification of Reference Irradiance and Radiance Sources Laboratory Calibration Experiment Campaign. Ten international laboratories took part in the measurements.
Agnieszka Białek +21 more
doaj +1 more source
A Compact Model for Interface-Type Self-Rectifying Resistive Memory With Experiment Verification
IEEE AccessResistive random access memory (RRAM), a new non-volatile memory, enables hardware accelerators based on in-memory computing with improved throughput and energy efficiency, enabling machine learning on-the-fly inference at the edge.
Jin-Woo Kim +3 more
doaj +1 more source
VAMOS – Verification of Autonomous Mission Planning On-board a Spacecraft
, 2013 For typical ground based mission planning systems for low earth satellite missions one major drawback can be detected: The reaction time to on-board-detected events, which includes at least two ground station contacts.
Lenzen, Christoph +2 more
core +1 more source
Quantifying verification uncertainty by reference data variation
Meteorologische Zeitschrift, 2012 In the framework of a multi-level verification experiment, the impact of different characteristics of verification reference data on NWP-model verification is evaluated.
Theresa Gorgas, Manfred Dorninger
doaj +1 more source
Correct-by-construction model composition: Application to the Invasive Software Composition method [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual
Mounira Kezadri Hamiaz +3 more
doaj +1 more source