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 Computer science
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 9 to 28 of 46
< previous
next >
Issue Date
Title
Author(s)
2019
Clinical simulation and its role in radiography education
Zufiria, Laura Oleaga
;
Zarb, Francis
2016-08
Communicating generators in Javascript
Micallef, Kurt
;
Vella, Kevin
2008
Compilation for itanium architecture
Caruana, Elvio J. (2008)
2015
Computational thinking in the primary classroom : a case study about digital age skills for children
Abela, Romina
;
Galea, Ryan
2017
Consistently-detecting monitors
Francalanza, Adrian
2015-11
CSAW’15 Computer Science Annual Workshop
Vella, Kevin
1999-04
CSP/occam on shared memory multiprocessor workstations
Vella, Kevin
;
Welch, Peter H.
2016
Determinizing monitors for HML with recursion
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Kjartansson, Saevar Orn
2016
Device-centric monitoring for mobile device management
Chircop, Luke
;
Colombo, Christian
;
Pace, Gordon J.
2017-12
Effectiveness of EUMEDGRID
Vella, Kevin
;
EUMEDGRID
2018
Expressing runtime verification properties using regular expression in LARVA
Chatlani, Avinash
2000
Fast multi-threading on shared memory multiprocessors
Cordina, Joseph (2000)
2016
First international summer school on runtime verification : as part of the ArVi COST Action 1402
Colombo, Christian
;
Falcone, Yliès
2008
Flight-32 debugger
Cassar, Jonathan (2008)
2013
A formal semantics for imperative compensations
Camilleri, Jennifer (2013)
2002
High performance wait-free thread scheduling on shared memory multiprocessors
Debattista, Kurt
;
Vella, Kevin
2018
In search of the fastest sorting algorithm
Attard Cassar, Emmanuel
2002
Integrating fast network communication with a user-level thread scheduler
Busuttil, Steven
2009
Knowledge assistant
Grech, Olivia Ann (2009)
2017-08
Mapping CSP networks to MPI clusters using channel graphs and dynamic instrumentation
Azzopardi, Gabriella
;
Vella, Kevin
;
Muscat, Adrian