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 15 to 34 of 73 < previous next >

Issue Date	Title	Author(s)
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.
2015	Investigating instrumentation techniques for ESB runtime verification	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2015	Limits on fast radio bursts at 145 MHz with ARTEMIS, a real-time software backend	Karastergiou, A.; Chennamangalam, J.; Armour, W.; Williams, C.; Mort, B.; Dulwich, F.; Salvini, S.; Magro, Alessio; Roberts, S.; Serylak, M.; Doo, A.; Bilous, A. V.; Breton, R. P.; Falcke, H.; Grießmeier, J.-M.; Hessels, J. W. T.; Keane, E. F.; Kondratiev, V. I.; Kramer, M.; van Leeuwen, J.; Noutsos, A.; Osłowski, S.; Sobey, C.; Stappers, W.; Weltevrede, P.
2019	Local and coordinated ramp metering within the unifying framework of an adaptive control scheme	Kontorinaki, Maria; Karafyllis, Iasson; Papageorgiou, Markos
2016	Log management system for distributed systems	Chetcuti, Amos
2015	An LTL proof system for runtime verification	Cini, Clare; Francalanza, Adrian
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2012	A monitoring approach for dynamic service-oriented architecture systems	Dan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian
2013	Multibeam GPU transient pipeline for the medicina BEST-2 array	Magro, Alessio; Hickish, Jack; Zarb Adami, Kristian
2018	The multibeam radar sensor BIRALES : performance assessment for space surveillance and tracking	Losacco, Matteo; Di Lizia, Pierluigi; Massari, Mauro; Mattana, Andrea; Perini, Federico; Schiaffino, Marco; Bortolotti, Claudio; Roma, Mauro; Naldi, Giovanni; Pupillo, Giuseppe; Bianchi, Germano; Lama, Luca; Cutajar, Denis; Magro, Alessio; Portelli, Clauio; Reali, Marco; Villadei, Walter
2019	A new digital backend for the Mexican array radio telescope	Magro, Alessio; Chiello, Riccardo; Cutajar, Denis; Borg, Josef; Zarb Adami, Kristian; Gonzalez-Esparza, Americo; Mejia-Ambriz, Julio; Aguilar-Rodriguez, Ernesto; Espinosa-Jimenez, Adan; Godoy-Hernandez, Juan Luis; Andrade-Mascote, Ernesto
2012	A novel view-level target bit rate distribution estimation technique for real-time multi-view video plus depth	Cordina, Mario; Debono, Carl James
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	On implementing a monitor-oriented programming framework for actor systems	Cassar, Ian; Francalanza, Adrian

Showing results 15 to 34 of 73 < previous next >