Results 21 to 30 of about 833,287 (143)
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal [PDF]
The Art, Science, and Engineering of Programming, 2023, Vol. 7,
Issue 2, Article 4, 2022 Context: Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic programming has proven to be an effective means of constructing libraries of reusable software components in languages that support it ...
arxiv +1 more source
Automatic programming methodologies for electronic hardware fault monitoring [PDF]
, 2006 This paper presents three variants of Genetic Programming (GP) approaches for intelligent online performance monitoring of electronic circuits and systems. Reliability modeling of electronic circuits can be best performed by the Stressor - susceptibility
Abraham, A, Grosan, C
core +2 more sources
DESIGN AND DEVELOPMENT OF LOW-COST HANDHELD OSCILLOSCOPE
Academy Journal of Science and Engineering, 2022 The paper presents the design and development of a portable and-held digital oscilloscope using Atmel Atmega644p Microcontroller Unit operating at 20MHz & 20MIPS on a mono chrome Graphical Liquid Crystal Display. The oscilloscope has two channels through
Samuel Farayola Kolawole +2 more
doaj
Grid service orchestration using the Business Process Execution Language (BPEL) [PDF]
, 2005 Modern scientific applications often need to be distributed across grids. Increasingly applications rely on services, such as job submission, data transfer or data portal services. We refer to such services as grid services.
Butchart, B. +4 more
core +5 more sources
Fuzzing channel-based concurrency runtimes using types and effects
Proc. ACM Program. Lang., 2020 Modern programming languages support concurrent programming based on channels and processes. Channels enable synchronous and asynchronous message-passing between independent light-weight processes making it easy to express common concurrency patterns ...
Quentin Stiévenart, Magnus Madsen
semanticscholar +1 more source
LAGC Semantics of Concurrent Programming Languages [PDF]
arXiv, 2022 Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular semantics designed to align smoothly with program logics used in deductive verification and formal specification of concurrent programs ...
arxiv
On the Applicability of Language Models to Block-Based Programs [PDF]
, 2023 Block-based programming languages like Scratch are increasingly popular for programming education and end-user programming. Recent program analyses build on the insight that source code can be modelled using techniques from natural language processing. Many of the regularities of source code that support this approach are due to the syntactic overhead ...
arxiv +1 more source
A portable MBE system for in situ X-Ray investigations at synchrotron beamlines [PDF]
, 2012 A portable synchrotron MBE system is designed and applied for in situ investigations. The growth chamber is equipped with all the standard MBE components such as effusion cells with shutters, main shutter, cooling shroud, manipulator, RHEED setup and ...
Baumbach, T. +6 more
core +2 more sources
Improvement of Inventory System Using First In First Out (FIFO) Method
Journal of Physics: Conference Series, 2019 Inventory recording must be done by the company to find out the available stock, so that the company can know when to order goods from the supplier. With the existence of a good inventory system planning, it will be easier for the company to carry out ...
A. Sembiring +4 more
semanticscholar +1 more source
Programming the full stack of an open-access quantum computer [PDF]
arXiv, 2021 We present a new quantum programming language called "Quala" that enables true full-stack programming of quantum hardware. Quala allows seamless integration of abstraction layers such as the digital circuit layer and the analog control pulse waveform layer.
arxiv