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 21 to 40 of 73 < previous next >

Issue Date	Title	Author(s)
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
2015	On verifying Hennessy-Milner logic with recursion at runtime	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2018	Orbit determination of resident space objects with the multibeam radar sensor BIRALES	Losacco, Matteo; Di Lizia, Pierluigi; Massari, Mauro; Mattana, Andrea; Perini, Federico; Schiaffino, Marco; Bortolotti, Claudio; Roma, Mauro; Naldi, Giovanni; Pupillo, Giuseppe; Bianchi, Germano; Cutajar, Denis; Magro, Alessio; Portelli, Claudio; Reali, Marco; Villadei, Walter
2013	OSGiLarva : a monitoring framework supporting OSGi’s dynamicity	Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
2008	PC-based V.22bis data-scope with native soft-modern implementation	Cauchi, Brian E. (2008)
2018	Physically correct transparency in real-time rendering	Azzopardi, Beatrix (2018)
2012	PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.

Showing results 21 to 40 of 73 < previous next >