Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers [PDF]
, 2015 © 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races.
Deligiannis, P +2 more
core +1 more source
Position-pose measurement of crane sway based on monocular vision
The Journal of Engineering, 2019 The method of spatial positioning and pose measurement using computer vision have been widely used in satellite docking, motion control systems, navigation and guidance areas. A monocular vision measurement method of the telescope's spatial pose based on
Fu Xing-yu, Niu Dan, Li Qi, Liu Jin-bo
doaj +1 more source
An object-oriented model of measurement systems [PDF]
, 1998 This paper presents a general object-oriented model for measurement systems. The limitations of the conventional function-oriented models are examined in the light of the generalized concept of measurement and its theoretical framework proposed ...
Butler, C, Yang, QP
core +1 more source
Implementación de un sistema de adquisición de datos para monitorear una máquina de corriente directa [PDF]
Tecnura, 2010 On this paper, we present a data acquisition system implemented to monitor the mechanic and electric variables in a direct current machine. Tension, current, torque, and speed signals are captured bymeans of suitable transducers to be sent to a personal ...
John Eduar Osorio +2 more
doaj
Developing A Minor Program In Computer Based Measurement And Instrumentation For Undergraduate Science And Engineering Majors [PDF]
2002 Annual Conference Proceedings, 2020 Comment: 9 ...
Sanjeev Arora +2 more
openaire +2 more sources
Developing Computer Based Laboratory Instruments In A New Undergraduate Program: A Summary [PDF]
2002 Annual Conference Proceedings, 2020 Comment: 10 ...
openaire +2 more sources
Developing Computer Based Laboratory Instruments In A New Undergraduate Electrical Engineering Program [PDF]
2001 Annual Conference Proceedings, 2020 Comment: 12 ...
openaire +2 more sources
A Web-Based Distributed Virtual Educational Laboratory [PDF]
, 1999 Evolution and cost of measurement equipment, continuous training, and distance learning make it difficult to provide a complete set of updated workbenches to every student.
Benettazzo, L. +6 more
core +1 more source
Jurnal Teknologi Informasi Universitas Lambung Mangkurat (JTIULM), 2023 This study aims to develop a Computational Thinking (CT) instrument on Object-Oriented Programming material as a tool for measuring the level of CT in the problem-solving abilities of Vocational High School students. The Plomp model of R&D analysis is used as a research flow. There are four stages of CT instrument development, namely 1) preliminary
null Eka Fitrajaya Rahman +2 more
openaire +1 more source
Computer Aided Physical Experimentation For Instrumentation And Measurements Classes In An Undergraduate Mechanical Engineering Program [PDF]
2009 Annual Conference & Exposition Proceedings, 2020 Comment: 18 ...
openaire +2 more sources