Results 41 to 50 of about 1,586,778 (129)
Implementing atomic actions in Ada 95 [PDF]
, 1997 Atomic actions are an important dynamic structuring technique that aid the construction of fault-tolerant concurrent systems. Although they were developed some years ago, none of the well-known commercially-available programming languages directly ...
Burns, A, Wellings, A
core +1 more source
Kickstarting Choreographic Programming
, 2015 We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of ...
Montesi, Fabrizio
core +1 more source
MathematicsThe Internet of Medical Things (IoMT) interconnects medical devices, software applications, and healthcare services through the internet to enable the transmission and analysis of health data. IoMT facilitates seamless patient care and supports real-time
Jisi Chandroth +3 more
doaj +1 more source
SoftwareX, 2023 Version control systems are pervasively consulted nowadays to obtain software metric datasets. Accordingly, machine learning is applied to predict different aspects of a software including quality monitoring, influence analysis, etc.
Yusuf Özçevik, Osman Altay
doaj +1 more source
Application of BIM in sustainability analysis [PDF]
, 2010 Building Information Modeling (BIM) is the process of generating and managing building data during its life cycle. Typically it uses three-dimensional, real-time, dynamic building modeling software to increase productivity in building design and ...
Golzarpoor, Hamed
core
Measurement: SensorsThis study aims to explore the application of gallium nitride (GaN) barrier in hardware optimization of micro nano scale electromechanical systems (MEMS), particularly its ability to overcome the limitations of traditional hardware in high-temperature ...
Ji Gu
doaj +1 more source
Gene Ontology-based function prediction of long non-coding RNAs using bi-random walk
BMC Medical Genomics, 2018 Background With the development of sequencing technology, more and more long non-coding RNAs (lncRNAs) have been identified. Some lncRNAs have been confirmed that they play an important role in the process of development through the dosage compensation ...
Jingpu Zhang, shuai Zou, Lei Deng
doaj +1 more source
Construction and Software Design for a Microcomputer Controlled pH/Ion Titrator [PDF]
, 1984 The construction of an automated titration device is described. The major components include an Apple II+ Microcomputer and 8-bit parallel interface.
Mackey, James E. +2 more
core +2 more sources
SAGA: A project to automate the management of software production systems [PDF]
The Software Automation, Generation and Administration (SAGA) project is investigating the design and construction of practical software engineering environments for developing and maintaining aerospace systems and applications software.
Campbell, Roy H. +5 more
core +4 more sources
Robotic assembly of modular concrete shells using falsework
Developments in the Built EnvironmentThe rapid development of robotics has the potential to transform the construction industry of the future. One possible application of robots is the assembly of modular concrete shells.
Egor Ivaniuk +9 more
doaj +1 more source