Results 111 to 120 of about 3,335 (212)
, 2011 Massively parallel architectures are gaining momentum thanks to the opportunities for both high performance and low-power consumption. After being a matter for experiments in academia, manycores are now in production and industries with products that rely on high performance, for example, in the field of telecom and radar, are in the process of ...
Ullah, Haseeb, Mofakhar, Amir
openaire +1 more source
LLVM Code Generation for Open Dylan
, 2020 The Open Dylan compiler, DFMC, was originally designed in the 1990s to compile Dylan language code targeting the 32-bit Intel x86 platform, or other platforms via portable C. As platforms have evolved since, this approach has been unable to provide efficient code generation for a broader range of target platforms, or to adequately support tools such as
openaire +3 more sources
Refinement of Parallel Algorithms down to LLVM.
, 2022 We present a stepwise refinement approach to develop verified parallel algorithms, down to efficientLLVM code. The resulting algorithms’ performance is competitive with their counterparts implemented in C/C++. Our approach is backwards compatible with the Isabelle Refinement Framework, such that existing sequential formalizations can easily be adapted ...
openaire +4 more sources
LLVM back-end for the Timber compiler
, 2010 This master's thesis describes the design and implementation of a new backend for the Timber compiler, based on Low Level Virtual Machine (LLVM) compiler infrastructure.
Lundell, Mattias
core
Sequre: a high-performance framework for secure multiparty computation enables biomedical data sharing. [PDF]
Genome Biol, 2023 Smajlović H +4 more
europepmc +1 more source
CoMeT: Configurable Tagged Memory Extension. [PDF]
Sensors (Basel), 2021 Lee J, Pratama D, Kim M, Kim H, Kwon D.
europepmc +1 more source
A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices. [PDF]
Sensors (Basel), 2022 Culic I, Vochescu A, Radovici A.
europepmc +1 more source
Improving IoT Cybersecurity Performance with Lifecycle-Motivated Bit-Manipulation Compiler Optimizations. [PDF]
Sensors (Basel)Budiul A, Pungilă C.
europepmc +1 more source
Protocol for quantifying and modeling light scattering in coral microskeletons. [PDF]
STAR ProtocKramer N, Jacques SL, Wangpraseurt D.
europepmc +1 more source