QSpace at Queen's University >
School of Computing. For more information about the school, click here.
Pattern Analysis of TXL Programs
Modelling and verification of predictable data flow in real-time systems
OCTWAS - Online Check-pointer for Workflows on Apache Spark
COMBINING AUXILIARY FINGER INPUT WITH THUMB TOUCH FOR SINGLE-HANDED MOBILE DEVICE INTERFACES
Source Transformation with Boolean Grammars