Results 31 to 40 of about 47,532 (243)

Trace-Relating Compiler Correctness and Secure Compilation [PDF]

, 2020
AbstractCompiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution.
Roberto Blanco, Carmine Abate, Marco Patrignani, Adrien Durier, Deepak Garg, Jérémy Thibault, Éric Tanter, Éric Tanter, Ștefan Ciobâcă, Cătălin Hrițcu   +9 more
openaire   +5 more sources

Optimising Bcrypt Parameters: Finding the Optimal Number of Rounds for Enhanced Security and Performance

Compiler
Recent advancements in the field of information security have underscored the imperative to fine-tune Bcrypt parameters, particularly focusing on the optimal number of rounds as the objective of research.
Indra Listiawan, Zaidir Zaidir, Sugeng Winardi, Mohammad Diqi   +3 more
doaj   +1 more source

Impact of Wolf Thresholding on Background Subtraction for Human Motion Detection

Compiler
Series of motion detection based on background subtraction there is an image segmentation stage. Thresholding is a common technique used for the segmentation process. There are two types that can be used in thresholding techniques namely local and global.
Elindra Ambar Pambudi, Muhammad Ivan Nurhidayat   +1 more
doaj   +1 more source

A Multi-One Instruction Set Computer for Microcontroller Applications

IEEE Access, 2021
This work presents a simple integer-only instruction set architecture and microarchitecture derived from One Instruction Set Computers (OISCs) and embedding multiple execution modes ( ${m}$ OISC), capable of running at a reasonable performance level to ...
Marco Crepaldi, Andrea Merello, Mirco Di Salvo   +2 more
doaj   +1 more source

Quantum Compiling

, 2022
37 pages, 8 ...
Marco Maronese, Lorenzo Moro, Lorenzo Rocutto, Enrico Prati   +3 more
openaire   +3 more sources

Power Usage Monitoring Simulator for Estimating Usage Tariffs and Carbon Emission Levels at STO Bogor Based on IoT

Compiler
In this modern era, the efficiency of electricity usage has become one of the main concerns in the efforts toward sustainable energy management. The limitations in monitoring electricity usage have become a challenge for technicians, resulting in ...
Nurwijayanti Kusumaningrum, Rizky Syafdi
doaj   +1 more source

A solution for automatic parallelization of sequential assembly code [PDF]

Serbian Journal of Electrical Engineering, 2013
Since modern multicore processors can execute existing sequential programs only on a single core, there is a strong need for automatic parallelization of program code.
Kovačević Đorđe, Stanojević Mladen, Marinković Vladimir, Popović Miroslav   +3 more
doaj   +1 more source

Smacc: a Compiler-Compiler [PDF]

, 2017
International ...
Brant, John, Lecerf, Jason, Goubier, Thierry, Ducasse, Stéphane, Black, Andrew   +4 more
openaire   +2 more sources

Improving productivity in large scale testing at the compiler level by changing the intermediate language from C++ to Java

Acta Universitatis Sapientiae: Informatica, 2021
This paper is based on research results achieved by a collaboration between Ericsson Hungary Ltd. and the Large Scale Testing Research Lab of Eötvös Loránd University, Budapest. We present design issues and empirical observations on extending an existing
Farkas Izabella Ingrid, Szabados Kristóf, Kovács Attila   +2 more
doaj   +1 more source

CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle [PDF]

arXiv, 2020
Capability machines such as CHERI provide memory capabilities that can be used by compilers to provide security benefits for compiled code (e.g., memory safety). The existing C to CHERI compiler, for example, achieves memory safety by following a principle called "pointers as capabilities" (PAC).
arxiv