English
Related papers

Related papers: ESP32: QEMU Emulation within a Docker Container

200 papers

Blockchain technology adds records to a list using cryptographic links. Therefore, the security of blockchain smart contracts is among the most popular contemporary research topics. To improve the theorem-proving technology in this field,…

Programming Languages · Computer Science 2019-07-04 Zheng Yang , Hang Lei

In this paper, we present the new FPGA EMUlation (FEMU), an open-source and configurable emulation framework for prototyping and evaluating TinyAI heterogeneous systems (HS). FEMU leverages the capability of system-on-chip (SoC)-based FPGAs…

The functions of the Low-Level Radio Frequency (LLRF) system at European Spallation Source (ESS) are implemented on different Field-Programmable Gate Array (FPGA) boards in a Micro Telecommunications Computing Architecture (MTCA) crate.…

Instrumentation and Detectors · Physics 2018-03-28 C. Amstutz , M. Donna , A. J. Johansson , M. Mohammednezhad

The emergence of smart contracts brings security risks, exposing users to the threat of losing valuable cryptocurrencies, underscoring the urgency of meticulous scrutiny. Nevertheless, the static analysis of smart contracts in EVM bytecode…

Software Engineering · Computer Science 2025-05-21 Dingding Wang , Jianting He , Yizheng Yang , Lei Wu , Rui Chang , Yajin Zhou

Electrostatic potential fitting method (ESPF) is a powerful way of defining atomic charges derived from quantum density matrices fitted to reproduce a quantum mechanical charge distribution in the presence of an external electrostatic…

Chemical Physics · Physics 2020-11-20 Miquel Huix-Rotllant , Nicolas Ferré

In this paper, we describe DiOS, a lightweight model operating system which can be used to execute programs that make use of POSIX APIs. Such executions are fully reproducible: running the same program with the same inputs twice will result…

Operating Systems · Computer Science 2019-07-09 Petr Ročkai , Zuzana Baranová , Jan Mrázek , Katarína Kejstová , Jiří Barnat

Solving the software dependency issue under the HPC environment has always been a difficult task for both computing system administrators and application scientists. This work would like to tackle the issue by introducing the modern…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-09-29 Hsi-En Yu , Weicheng Huang

Many problems in Computer Science can be framed as the computation of queries over sequences, or "streams" of data units called events. The field of Complex Event Processing (CEP) relates to the techniques and tools developed to efficiently…

Databases · Computer Science 2017-02-28 Sylvain Hallé

Containers are increasingly used as means to distribute and run Linux services and applications. In this paper we describe the architectural design and implementation of udocker, a tool which enables the user to execute Linux containers in…

Software Engineering · Computer Science 2018-08-07 Jorge Gomes , Isabel Campos , Emanuele Bagnaschi , Mario David , Luis Alves , Joao Martins , Joao Pina , Alvaro Lopez-Garcia , Pablo Orviz

Large swaths of low-level system software building blocks originally implemented in C/C++ are currently being swapped for equivalent rewrites in Rust, a relatively more secure and dependable programming language. So far, however, no…

Operating Systems · Computer Science 2025-10-02 Elena Frank , Kaspar Schleiser , Romain Fouquet , Koen Zandberg , Christian Amsüss , Emmanuel Baccelli

Resource constraints in smart devices demand an efficient cryptosystem that allows for low power and memory consumption. This has led to popularity of comparatively efficient Elliptic curve cryptog-raphy (ECC). Prior to this paper, much of…

Cryptography and Security · Computer Science 2015-02-09 Yasir Malik

Embedded systems represent a billionaire market and are present in most of the processors produced in the world.Embedded software interacts with external peripherals such as sensors and actuators through drivers. The strong interaction…

Software Engineering · Computer Science 2021-05-05 Sara C. M. Souza , Rogerio Atem de Carvalho

Quantum computing promises a remarkable performance boost for certain applications, including computational intensive problems addressed by enterprise systems. However, software architectures of enterprise systems must consider specific…

Software Engineering · Computer Science 2025-12-16 Marc Uphues , Sebastian Thöne , Herbert Kuchen

Mobile Edge Computing (MEC) is an emerging network paradigm that provides cloud and IT services at the point of access of the network. Such proximity to the end user translates into ultra-low latency and high bandwidth, while, at the same…

Networking and Internet Architecture · Computer Science 2018-01-29 Giuseppe Avino , Marco Malinverno , Francesco Malandrino , Claudio Casetti , Carla-Fabiana Chiasserini

Minor embedding is a required compilation step for quantum annealing, mapping logical problem graphs onto sparse hardware topologies. Despite its central role in determining solution quality, no standardized benchmark exists for comparing…

The last few years in the software engineering field has seen a paradigm shift from monolithic application towards architectures in which the application is split in various smaller entities (i.e., microservices) fueled by the improved…

Networking and Internet Architecture · Computer Science 2024-04-23 Emilien Wansart , Maxime Goffart , Justin Iurman , Benoit Donnet

Edge computing is a fast-growing computing paradigm where data is processed at the local site where it is generated, close to the end-devices. This can benefit a set of disruptive applications like autonomous driving, augmented reality, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-11-30 Giulia Frascaria , Animesh Trivedi , Lin Wang

As the usage of deep learning becomes increasingly popular in mobile and embedded solutions, it is necessary to convert the framework-specific network representations into executable code for these embedded platforms. This paper consists of…

Programming Languages · Computer Science 2021-04-13 Max Sponner , Bernd Waschneck , Akash Kumar

Developing devices that can reliably and accurately demonstrate the principles of superposition and entanglement is an on-going challenge for the quantum computing community. Modeling and simulation offer attractive means of testing early…

Expert-Specialized Fine-Tuning (ESFT) adapts Mixture-of-Experts (MoE) large language models to enhance their task-specific performance by selectively tuning the top-activated experts for the task. Serving these fine-tuned models at scale is…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-26 Ge Shi , Hanieh Sadri , Qian Wang , Yu Zhang , Ying Xiong , Yong Zhang , Zhenan Fan
‹ Prev 1 3 4 5 6 7 10 Next ›