Naylor, Matthew J.
474  Ergebnisse:
Personensuche X
?
5

Practical Distributed Implementation of Very Large Scale Pe..:

, In: Transactions on Petri Nets and Other Models of Concurrency XVI; Lecture Notes in Computer Science,
Rafiev, Ashur ; Morris, Jordan ; Xia, Fei... - p. 112-139 , 2022
 
?
7

Termination detection for fine-grained message-passing arch..:

, In: 2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP),
 
?
9

Rigorous engineering for hardware security: Formal modellin..:

, In: 2020 IEEE Symposium on Security and Privacy (SP),
 
?
11

Treating Stress With VR:

Naylor, Matthew
ITNOW.  62 (2020)  2 - p. 66-66 , 2020
 
?
 
?
 
?
 
?
15

Tinsel: A Manythread Overlay for FPGA Clusters:

, In: 2019 29th International Conference on Field Programmable Logic and Applications (FPL),
 
1-15