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 20 to 39 of 46
< previous
next >
Issue Date
Title
Author(s)
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
2016-11
Nested window management and task-oriented user interfaces
Vella, Kevin
;
Zammit, Alan
2021
On the monitorability of session types, in theory and practice
Bartolo Burlò, Christian
;
Francalanza, Adrian
;
Scalas, Alceste
2021
On the monitorability of session types, in theory and practice (Artifact)
Bartolo Burlò, Christian
;
Francalanza, Adrian
;
Scalas, Alceste
2013
Parallel construction and update of acceleration structures for ray tracing
Napoli, Kevin (2013)
2011
Permission-based separation logic for message-passing concurrency
Francalanza, Adrian
;
Rathke, Julian
;
Sassone, Vladimiro
2016-06
Run-time monitoring for the diagnosis and recovery of complex physical systems
Cataldo, Giacinto De
;
Colombo, Christian
;
Franco, Antonio
;
Pace, Gordon J.
;
Valentino, Gianluca
;
Vella, Kevin
2012
Runtime verification and compensations
Colombo, Christian (2012)
2010
Runtime verification of refined system properties
Schembri, Ruth (2010)
1998-12
Seamless parallel computing on heterogeneous networks of multiprocessor workstations
Vella, Kevin
;
2021
Secure implementation of a quantum-future GAKE protocol
Abela, Robert
;
Colombo, Christian
;
Malo, Peter
;
Sýs, Peter
;
Fabšič, Tomáš
;
Gallo, Ondrej
;
Hromada, Viliam
;
Mark Joseph
2000
The semantics of verilog using transition system combinators
Pace, Gordon J.