Tracking conferences in Real-time Systems, Embedded Systems, Design Automation, Cyber-Pyhsical Systems, and Robotics

Constant-time dynamic memory allocator in Rust

Tools for Patching the Rasbian kernel with RT-Preempt.

Really-Real Time FM Tone Transfer Audio Pluigin

IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.

🌀 Microkernel Real-Time Operating System in Rust

EfficientNet-Absolute Zero for Continuous Speech Keyword Spotting

Coursera Development of Real-Time Systems Course Assignments

Implementation of light baking system for ray tracing

Discrete-time PID controllers in Julia

A simple SMT-based schedule generator for cyclic executives of real-time tasks

sync2brain's bossdevice RESEARCH Application Programmable Interface (API) for MATLAB

Vue.js based real-time network emulator

Implementation of the reduced CPU energy scheduling model proposed by Yao, Demers and Shenker

Automatic Coffee Brewing Machine in FreeRTOS

Real-Time Gang Scheduling in Linux

Repository for a predictable directory-based cache coherence for multicore safety-critical systems

Tools & data: Performance Tests on Raspberry PI 3B, 3B+ and 4B

An advanced robotics initiative harnessing Kinect's computer vision capabilities for precise object detection and manipulation, coupled with robust autonomous navigation and path planning technologies. Powered by an Arduino for seamless hardware control and real-time responsiveness.

A generative system that converts audio input into audio motion, for sound to generate its own dance and movements of Ambisonic sound, that flows through the space of our auditory perception.