Kiter is an iterative algorithm based on K-periodic scheduling to compute the throughput of a CSDFG.

Constraint programming model in Minizinc for SDF scheduling

A Statically-scheduled TDM Network-on-Chip for Real-Time Systems

Multi-TZ gnome-shell clock plugin

A web application for interactive visual editing of Graphviz graphs described in the DOT language.

Multiplayer game -- Software Engineering YSC3232.

The final project game for YSC3232: Software Engineering, In Asia For The Towers.

SLAMBench is an open source tool designed to assist in the development of simultaneous localisation and mapping (SLAM) algorithms, and evaluation of platforms for implementing those algorithms. It …

Black-box Optimizer based on Bayesian Optimization

SLAM performance evaluation framework

The School of Informatics (University of Edinburgh) Research Operating System

SLAMBench is an open source tool designed to assist in the development of simultaneous localisation and mapping (SLAM) algorithms, and evaluation of platforms for implementing those algorithms. It …

LLVM implementation of Thread Coarsening compiler pass for OpenCL

An extensible framework for program autotuning

Android wrapper for SLAMBench.

A tiling window extension for GNOME Shell

SLAMBench is an open source tool designed to assist in the development of simultaneous localisation and mapping (SLAM) algorithms, and evaluation of platforms for implementing those algorithms. It …

Real-time dense visual SLAM system

Dataflow Graph Generator