Search for a Dataset - the Datahub

Add Dataset Import Data Package

Evaluation of multi-threading strategies in BeepBeep 3

This lab contains a set of experiments for measuring the speed-up of the BeepBeep 3 event stream engine using various multi-threading capabilities vs. the original,...
- LabPal
Execution of the Pingus Video Game

Synthetic execution traces of the video game Pingus, used for runtime verification. All details regarding the experiments can be found in the paper Automated Bug Finding in...
- XML

You can also access this registry using the API (see API Docs).