Results 51 to 60 of about 406 (180)
Concurrency Frameworks for Embedded Systems: A Comparative Evaluation of FreeRTOS, RTIC, and Embassy
IET Computers &Digital Techniques, Volume 2026, Issue 1, 2026.This paper presents a quantitative and qualitative comparison of three concurrency frameworks for embedded real‐time systems: the C‐based FreeRTOS kernel and the rust‐based real‐time interrupt‐driven concurrency (RTIC) and Embassy frameworks. All three frameworks are implemented on an STM32F3 ARM Cortex‐M4 platform using three representative ...
Guoping Wang, Giovanni Battista Gaggero
wiley +1 more source
Retrofitting Symbolic Holes to LLVM IR
CoRR, 2020 Symbolic holes are one of the fundamental building blocks of solver-aided and interactive programming. Unknown values can be soundly integrated into programs, and automated tools such as SAT solvers can be used to prove properties of programs containing them.
Bruce Collie, Michael F. P. O'Boyle
openaire +2 more sources
An LLVM Instrumentation Plug-in for Score-P [PDF]
Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC, 2017 8 ...
Ronny Tschüter +6 more
openaire +2 more sources
Two-stage compilation for optimizing and deploying programs in general purpose languages
Труды Института системного программирования РАН, 2018 We describe the approach for two-stage compilation of C/C++ programs using the LLVM compiler infrastructure that allows optimizing programs taking into account the user profile and his/her target machine features, as well as deploying programs in a cloud
Arutyun Avetisyan
doaj
Complexity, Volume 2026, Issue 1, 2026.This work presents a comparison of different software and hardware implementations of a traffic simulator using a fluid‐based mesoscopic model. The model represents Vehicular Traffic Networks (VTNs) based on the flow resulting by the interconnection of dynamical agents associated to street segments and intersections.
Felipe Morales-Torres +7 more
wiley +1 more source
Dynamic profile collection for LLVM
Труды Института системного программирования РАН, 2018 One has to harness dynamic and adaptive recompilation methods when designing the system for general-purpose languages compilation which takes into account the specific factors of target hardware and the most likely way of usage.
A. I. Avetisyan +2 more
doaj
SoftwareX, 2019 This article presents Nonio, a modular, easy-to-use, design space exploration framework focused on exploring custom combinations of compiler flags and compiler sequences. We describe the framework and discuss its use with two of the most popular compiler
Ricardo Nobre +3 more
doaj +1 more source
Ecology Letters, Volume 28, Issue 12, December 2025.We introduce the range‐resident logistic model, an extension of the spatial logistic model that incorporates empirically supported range‐resident movement, showing that neglecting range residency can lead to under‐ or overestimating population carrying capacity.
Rafael Menezes +4 more
wiley +1 more source
Portable PGAS‐Based GPU‐Accelerated Branch‐And‐Bound Algorithms at Scale
Concurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.ABSTRACT The Branch‐and‐Bound (B&B) technique plays a key role in solving many combinatorial optimization problems, enabling efficient problem‐solving and decision‐making in a wide range of applications. It incrementally constructs a tree by building candidates to the solutions and abandoning a candidate as soon as it determines that it cannot lead to ...
Guillaume Helbecque +4 more
wiley +1 more source
, 2019 SKilL is an open source system for the platform- and language-independent serialization of intermediate representations. It consists of a specification language, a binary data format and a tool for generating language bindings. The LLVM project is an open source infrastructure for the development of compilers.
openaire +2 more sources