OAR@UM: Browsing OAR@UM

Browsing by Subject Real-time data processing

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 1 to 20 of 73 next >

Issue Date	Title	Author(s)
2017	Advanced nonlinear control concepts for freeway traffic networks	Kontorinaki, Maria
2019	Applying runtime verification to group key establishment	Colombo, Christian; González Vasco, María Isabel; Vella, Mark Joseph; Zajac, Pavol
2007	Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software	Colombo, Christian; Pace, Gordon J.
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2014	Comprehensive monitor-oriented compensation programming	Colombo, Christian; Pace, Gordon J.
2023	Design and implementation of a software defined radio for real time applications	D'Amato, Ryan (2023)
1993	Digital communication techniques	Asciak, Clive (1993)
2021	Drone object detection based on real-time sign language communication	Borg, Gabriele (2021)
2008	Dynamic analysis overview and a proposed verification tool for temporal properties in security-critical software	Colombo, Christian
2008	Dynamic event-based runtime monitoring of real-time and contextual properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015	Event detection using social sensors	Dingli, Alexiei; Mercieca, Loui; Spina, Ronald; Galea, Marco
2014-11	Event-based characterisation of temporal properties over system states	Colombo, Christian; Pace, Gordon J.; Scicluna, Justine
2011	A GPU-based survey for millisecond radio transients using ARTEMIS	Armour, W.; Karastergiou, A.; Giles, M.; Williams, C.; Magro, Alessio; Zagkouris, K.; Roberts, S.; Salvini, S.; Dulwich, F.; Mort, B.
2015	GPU-powered coherent beamforming	Magro, Alessio; Zarb Adami, Kristian; Hickish, Jack
2019	A high-performance, flexible data acquisition library for radio instruments	Magro, Alessio; Bugeja, Keith; Chiello, Riccardo; DeMarco, Andrea
2020	Implementation of an electric guitar effects pedal on an FPGA	Galea St. John, Peter
2014-11	Improving Android security through real-time policy enforcement	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2015	Improving runtime overheads for detectEr	Cassar, Ian; Francalanza, Adrian; Said, Simon
2021	Improving soft real-time systems in games by deadline constraints	Caruana, Etienne (2021)
2018	Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges	Colombo, Christian; Pace, Gordon J.

Showing results 1 to 20 of 73 next >