Results 21 to 30 of about 1,330,014 (301)
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
Heap Abstractions for Static Analysis [PDF]
, 2015 Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of source variable names appearing in the program being analysed.
Kanvar, Vini, Khedker, Uday P.
core +1 more source
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
Developing Computer Based Laboratory Instruments In A New Undergraduate Program: A Summary [PDF]
2002 Annual Conference Proceedings, 2020 Comment: 10 ...
openaire +2 more sources
Clinical Chemistry, 1973 Instrumentation and software of a computer-controlled system for analytical chemistry is described, which will: ( a ) automatically carry out any one of a large number of tests, ( b ) utilize the results of that test in conjunction with data derived from
Jr E. Clifford Toren +4 more
semanticscholar +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
A Program Instrumentation for Prefix-Based Tracing in Message-Passing Concurrency [PDF]
arXiv, 2021 The execution of concurrent programs generally involves some degree of nondeterminism, mostly due to the relative speeds of the concurrent processes. As a consequence, reproducibility is often challenging. This problem has been traditionally tackled by a combination of tracing and replay.
arxiv
Atti del 5° Convegno sulle didattiche disciplinari, 2022 The recent addition of computer science and computer programming to primary school curricula worldwide introduces the challenge of bringing primary school teachers up to speed in this new learning domain. Assessments are needed to determine their knowledge and competencies in this area.
Eva Marinus +2 more
openaire +1 more source
Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version) [PDF]
EPTCS 129, 2013, pp. 360-383, 2013 We present a technique for deriving semantic program analyses from a natural semantics specification of the programming language. The technique is based on a particular kind of semantics called pretty-big-step semantics. We present a pretty-big-step semantics of a language with simple objects called O'While and specify a series of instrumentations of ...
arxiv +1 more source
Developing Computer Based Laboratory Instruments In A New Undergraduate Electrical Engineering Program [PDF]
2001 Annual Conference Proceedings, 2020 Comment: 12 ...
openaire +2 more sources