nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A fault tolerant election-based deadlock detection algorithm in distributed systems
|
Lu, Wei |
|
2017 |
26 |
3 |
p. 991-1013 |
artikel |
2 |
A multi-aspect online tuning framework for HPC applications
|
Gerndt, Michael |
|
2017 |
26 |
3 |
p. 1063-1096 |
artikel |
3 |
A survey on dynamic mobile malware detection
|
Yan, Ping |
|
2017 |
26 |
3 |
p. 891-919 |
artikel |
4 |
Asynchronous multi-process timed automata
|
Li, Guoqiang |
|
2017 |
26 |
3 |
p. 961-989 |
artikel |
5 |
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
|
Fu, Haojie |
|
2017 |
26 |
3 |
p. 855-889 |
artikel |
6 |
Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation
|
Melo, Silvana Morita |
|
2017 |
26 |
3 |
p. 921-959 |
artikel |
7 |
Cooperative decoupled processes
|
Bejleri, Andi |
|
2017 |
26 |
3 |
p. 1147-1183 |
artikel |
8 |
Detecting potential deadlocks through change impact analysis
|
Metcalf, Chelsea A. |
|
2017 |
26 |
3 |
p. 1015-1036 |
artikel |
9 |
Dynamic structure measurement for distributed software
|
Jin, Wuxia |
|
2017 |
26 |
3 |
p. 1119-1145 |
artikel |
10 |
Guest editorial: special issue on concurrent software quality
|
Yang, Zijiang |
|
2018 |
26 |
3 |
p. 851-853 |
artikel |
11 |
In this issue
|
Harrison, Rachel |
|
2018 |
26 |
3 |
p. 849 |
artikel |
12 |
Performance tuning for actor programs through decoupled concurrency
|
Nguyen, Tai |
|
2017 |
26 |
3 |
p. 1097-1117 |
artikel |
13 |
System-level attacks against android by exploiting asynchronous programming
|
Chen, Ting |
|
2017 |
26 |
3 |
p. 1037-1062 |
artikel |