-
1
-
2
-
3
Fortress Abstractions in X10 Framework
Veröffentlicht in International journal of parallel programming
VolltextArtikel -
4
A deadlock‐free lock‐based synchronization for GPUs
Veröffentlicht in Concurrency and computation
VolltextArtikel -
5
-
6
Consistency analysis and flow secure enforcement of SELinux policies
Veröffentlicht in Computers & security
VolltextArtikel -
7
STMs in practice: Partial rollback vs pure abort mechanisms
Veröffentlicht in Concurrency and computation
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
A closer look at constraints as processes
Veröffentlicht in Information processing letters
VolltextArtikel -
14
e-coupons: An Efficient, Secure and Delegable Micro-Payment System
Veröffentlicht in Information systems frontiers
VolltextArtikel -
15
-
16
-
17
UGSP: Secure key establishment protocol for Ad-Hoc networks
Veröffentlicht in Lecture notes in computer science
VolltextArtikel -
18
-
19
-
20