Common Git Repository for Hosting Boot Firmware
Explore a unified Git repository for boot firmware, enhancing collaboration and streamlining development processes in embedded systems.
Generating BPF Infrared Decoders Using Finite Automations
Generate BPF infrared decoders efficiently using finite automations. Explore advanced techniques for optimizing decoder performance in Linux systems.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Discover how BASIL enhances kernel testing, identifies gaps, and improves functional safety in Linux systems. Learn innovative techniques for robust software development.
BASIL - The FuSa Spice to Spot Gaps in Kernel Testing and More
Explore BASIL, a tool for identifying gaps in kernel testing and enhancing functional safety in Linux systems.
A2C Tangy Pack - Video Adapter for the Apple IIc/IIc+
Explore a refined FPGA video adapter for Apple IIc/IIc+, enabling HDMI and VGA output. Learn about its improved form factor and functionality.
Pipit: Reactive Systems in F★ for Safety-Critical Control Systems
Explore Pipit, a reactive language embedded in F★ for verifying and executing control systems. Learn about its verified translation and automatic safety property proofs.
Towards Secure MicroPython on Morello - Work in Progress
Explore porting MicroPython to Arm Morello, examining hardware capabilities' impact on embedded runtime security and outlining potential improvements for MicroPython's security.
Supporting Trusted Virtual Machines with Hardware-based Secure Remote Memory
Explore hardware-assisted secure memory disaggregation, combining trusted VMs with a dedicated engine for efficient isolation and protection of remote memory pages, ensuring confidentiality and integrity.
A Managed Memory System for Micro Controllers with NOR Flash Memory
Explore a managed memory system for microcontrollers using NOR flash memory, optimizing performance and reducing flash erasures through innovative garbage collection and object movement techniques.
Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Explore safety guarantees in Rust-SPARK language bindings, focusing on the BBQueue circular buffer library. Learn about maintaining compile-time safety across language boundaries in embedded systems.
seL4 and BEAM: Running Erlang Without an OS
Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.
Freestanding Erlang - Porting BEAM Close to the Metal - Code BEAM America 2022
Explore porting BEAM to freestanding environments without OS services, examining tradeoffs and potential applications for embedded systems prioritizing security and robustness.
Prototyping a Remote-Controlled Telescope with Elixir
Explore the process of designing and building a remote-controlled telescope using Elixir and Rust, from initial research to software prototypes and final physical construction.
Empowering Edge Devices with Lightweight Neural Network Inference Framework - TFLiteBEAM
Explore TFLiteBEAM: a lightweight neural network inference library optimized for edge devices. Learn about its small footprint, fast performance, and compatibility with Edge TPU hardware accelerators.
Reinventing Speech-to-Text Transcriptions with Go and Whisper
Explore innovative speech-to-text transcription using Go and Whisper, revolutionizing audio processing for enhanced accuracy and efficiency.
Empowering Fearless Data Engineering with Rust
Explore Rust's impact on data engineering, focusing on performance, safety, and real-time analytics applications. Learn advantages and future prospects of Rust in the field.
Nuclear Rust - Introducing Rust in Nuclear Software Industry
Explore Rust's application in nuclear software, focusing on safety, digital twins, and lessons from implementing Rust in reactor simulations.
Graph and Algebraic Signal Processing Basics for Computational Biology
Explore graph and algebraic signal processing fundamentals for computational biology, covering key concepts, challenges, and applications in genomic data analysis.
A Touch of Non-Linearity: Mesoscale Swimmers and Active Matter in Fluids
Explore mesoscale swimmers and active matter in fluids, focusing on the transition from Stokes to intermediate Reynolds numbers and its impact on hydrodynamic interactions and collective behavior.
Towards AI-Based Applications Certification
Explore AI-based application certification, focusing on key aspects and challenges in ensuring reliability and safety of AI systems.
Multimodality and Data Fusion Techniques in Deep Learning
Explore multimodal deep learning and data fusion techniques, understanding their applications and potential in AI through real-world examples and future developments.