English
Related papers

Related papers: SkiffOS: Minimal Cross-compiled Linux for Embedded…

200 papers

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

Edge and Fog computing paradigms overcome the limitations of cloud-centric execution for different latency-sensitive Internet of Things (IoT) applications by offering computing resources closer to the data sources. Small single-board…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-08-10 Redowan Mahmud , Adel N. Toosi

Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applications. Such `cyber-physical cloud computing platforms' present…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-03 Gabor Karsai , Daniel Balasubramanian , Abhishek Dubey , William R. Otte

eChronos is a formally verified Real Time Operating System(RTOS) designed for embedded micro-controllers. eChronos was targeted for tightly constrained devices without memory management units. Currently, eChronos is available on proprietary…

Operating Systems · Computer Science 2019-12-30 Shubhendra Pal Singhal , M. Sridevi , N Sathya Narayanan , M J Shankar Raman

The process of engineering and deploying applications in the edge/embedded space is massively complicated by the non-homogeneous nature of the software stack and the complexity of diagnostics & debugging. Often different languages and…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-15 Anthony Arnold , Mark Marron

zkVMs promise general-purpose verifiable computation through ISA-level compatibility with modern programs and toolchains. However, compatibility extends further than just the ISA; modern programs often cannot run or even compile without an…

Operating Systems · Computer Science 2025-12-11 Guangxian Zou , Isaac Zhang , Ryan Zarick , Kelvin Wong , Thomas Kim , Daniel L. -K. Wong , Saeid Yazdinejad , Dan Boneh

We present Qibosoq, an open-source server-side software package designed for radio frequency system on chip (RFSoC) for executing arbitrary pulse sequences and algorithms on self-hosted quantum processing units using only open-source…

Application specific simulation is challenging task in various real time high performance embedded devices. In this study specific application is implemented with the help of Xilinx. Xilinx provides SDK and XPS tools, XPS tools used for…

Hardware Architecture · Computer Science 2014-07-02 Ravi Khatwal , Manoj Kumar Jain

Cloud computing offers the economies of scale for computational resources with the ease of management, elasticity, and fault tolerance. To take advantage of these benefits, many enterprises are contemplating to outsource the middlebox…

Cryptography and Security · Computer Science 2019-10-18 Bohdan Trach , Alfred Krohmer , Sergei Arnautov , Franz Gregor , Pramod Bhatotia , Christof Fetzer

Cybercriminals use Return Oriented Programming techniques to attack systems and IoT devices. While defenses have been developed, not all of them are applicable to constrained devices. We present Shakedown, which is a compile-time…

Cryptography and Security · Computer Science 2018-10-12 Fady Copty , Francisco Hernandez , Dov Murik , Olmo Rayón

Hardware accelerators, such as those based on GPUs and FPGAs, offer an excellent opportunity to efficiently parallelize functionalities. Recently, modern embedded platforms started being equipped with such accelerators, resulting in a…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-05-16 Daniel Casini , Paolo Pazzaglia , Alessandro Biondi , Marco Di Natale

Small devices are frequently used in IoT and smart-city applications to perform periodic dedicated tasks with soft deadlines. This work focuses on developing methods to derive efficient power-management methods for periodic tasks on small…

Machine Learning · Computer Science 2023-09-08 Ti Zhou , Man Lin

Several Network Operating Systems (NOS) have been proposed in the last few years for Software Defined Networks; however, a few of them are currently offering the resiliency, scalability and high availability required for production…

Networking and Internet Architecture · Computer Science 2015-03-27 M. Gerola , M. Santuari , E. Salvadori , S. Salsano , M. Campanella , P. L. Ventre , A. Al-Shabibi , W. Snow

We propose CHRONOS, a hardware-assisted framework that decouples the cryptographic setup required for private gradient aggregation from the active training phase. CHRONOS executes a once-per-epoch server-relayed Diffie-Hellman key exchange…

Cryptography and Security · Computer Science 2026-05-01 Hung Dang

The hybrid runtime (HRT) model offers a path towards high performance and efficiency. By integrating the OS kernel, runtime, and application, an HRT allows the runtime developer to leverage the full feature set of the hardware and…

Operating Systems · Computer Science 2019-01-21 Kyle C. Hale , Conor Hetland , Peter Dinda

Embedded Systems combine one or more processor cores with dedicated logic running on an ASIC or FPGA to meet design goals at reasonable cost. It is achieved by profiling the application with variety of aspects like performance, memory…

Performance · Computer Science 2013-12-12 Rajendra Patel , Arvind Rajwat

Context: Container data types are ubiquitous in computer programming, enabling developers to efficiently store and process collections of data with an easy-to-use programming interface. Many programming languages offer a variety of…

Programming Languages · Computer Science 2023-02-21 Xueying Qin , Liam O'Connor , Michel Steuwer

The exponential growth of Internet of Things (IoT) applications has intensified the demand for efficient, high-throughput, and energy-efficient data processing at the edge. Conventional CPU-centric encryption methods suffer from performance…

Cryptography and Security · Computer Science 2025-06-19 Rasha Karakchi , Rye Stahle-Smith , Nishant Chinnasami , Tiffany Yu

The emergence of the Internet of Things has seen the introduction of numerous connected devices used for the monitoring and control of even Critical Infrastructures. Distributed stream processing has become key to analyzing data generated…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-26 Morgan Geldenhuys , Lauritz Thamsen , Kain Kordian Gontarska , Felix Lorenz , Odej Kao

Process migration refers to the act of transferring a process in the middle of its execution from one machine to another in a network. In this paper, we proposed a process migration framework for Linux OS. It is a multilayer architecture to…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-01-15 Amirreza Zarrabi