Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 11 to 30 of 73
< previous
next >
Issue Date
Title
Author(s)
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.
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