Results 91 to 100 of about 1,170,821 (329)
Compiling Signal Processing Code embedded in Haskell via LLVM [PDF]
arXiv, 2010 We discuss a programming language for real-time audio signal processing that is embedded in the functional language Haskell and uses the Low-Level Virtual Machine as back-end. With that framework we can code with the comfort and type safety of Haskell while achieving maximum efficiency of fast inner loops and full vectorisation.
arxiv
Ghost Signals: Verifying Termination of Busy-Waiting (Extended Version) [PDF]
arXiv, 2020 Programs for multiprocessor machines commonly perform busy waiting for synchronization. We propose the first separation logic for modularly verifying termination of such programs under fair scheduling. Our logic requires the proof author to associate a ghost signal with each busy-waiting loop and allows such loops to iterate while their corresponding ...
arxiv
A Simple ImageJ-Based Method to Measure Cardiac Rhythm in Zebrafish Embryos
Inventions, 2018 Zebrafish has an advantage of optical clarity within the body during its early developmental stage. Therefore, organs, including the heart, can be observed and analyzed in a non-invasive manner.
Bonifasius Putera Sampurna +4 more
doaj +1 more source
Design and validation of a novel dosimetry phantom for motion management audits
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Background We present a novel phantom design for conducting end‐to‐end dosimetry audits for respiratory motion management of two anatomical treatment sites. The design enables radiochromic film measurements of the dose administered to the target throughout the respiratory cycle (motion‐included) and the dose delivered to the time‐averaged ...
Alex Burton +5 more
wiley +1 more source
AutoSynch: An Automatic-Signal Monitor Based on Predicate Tagging [PDF]
arXiv, 2013 Most programming languages use monitors with explicit signals for synchronization in shared-memory programs. Requiring program- mers to signal threads explicitly results in many concurrency bugs due to missed notifications, or notifications on wrong condition variables. In this paper, we describe an implementation of an au- tomatic signaling monitor in
arxiv
Behavior Research Methods, 2011 This article introduces AUX (AUditory syntaX), a scripting syntax specifically designed to describe auditory signals and processing, to the members of the behavioral research community.
B. Kwon
semanticscholar +1 more source
Overview of Parallel Platforms for Common High Performance Computing [PDF]
, 2012 The paper deals with various parallel platforms used for high performance computing in the signal processing domain. More precisely, the methods exploiting the multicores central processing units such as message passing interface and OpenMP are taken ...
Adamec, Filip +4 more
core +1 more source
Comprehensive Monitor-Oriented Compensation Programming
, 2014 Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions.
Colombo, Christian, Pace, Gordon J.
core +2 more sources
An Optimized Genetic Algorithm-based Approach for Steganography [PDF]
المجلة العراقية للعلوم الاحصائية, 2011 In this paper, a new steganographic technique was proposed. First, the cover colored image (of type BMP, PNG) transfered to a gray image, then the result divided into many blocks to embed the secret message in an optimaized method by GA (Genetic ...
doaj +1 more source
A Python package for fast GPU‐based proton pencil beam dose calculation
Journal of Applied Clinical Medical Physics, EarlyView.Abstract Purpose Open‐source GPU‐based Monte Carlo (MC) proton dose calculation algorithms provide high speed and unparalleled accuracy but can be complex to integrate with new applications and remain slower than GPU‐based pencil beam (PB) methods, which sacrifice some physical accuracy for sub‐second plan calculation.
Mahasweta Bhattacharya +4 more
wiley +1 more source