Follow
Jonathan Beaumont
Title
Cited by
Cited by
Year
Mining conditional partial order graphs from event logs
A Mokhov, J Carmona, J Beaumont
Transactions on Petri Nets and Other Models of Concurrency XI, 114-136, 2016
202016
Termination detection for fine-grained message-passing architectures
M Naylor, SW Moore, A Mokhov, D Thomas, JR Beaumont, S Fleming, ...
2020 IEEE 31st International Conference on Application-specific Systems …, 2020
112020
High-level asynchronous concepts at the interface between analog and digital worlds
J Beaumont, A Mokhov, D Sokolov, A Yakovlev
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017
82017
Compositional design of asynchronous circuits from behavioural concepts
J Beaumont, A Mokhov, D Sokolov, A Yakovlev
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
62015
POETS: A parallel cluster architecture for Spiking Neural Network
M Shahsavari, J Beaumont, D Thomas, A Brown
International Journal of Machine Learning and Computing, 2020
32020
Plato: a tool for behavioural specification of asynchronous circuits
J Beaumont
2017 17th International Conference on Application of Concurrency to System …, 2017
12017
Compositional circuit design with asynchronous concepts
JR Beaumont
Newcastle University, 2018
2018
Automated translation of asynchronous concepts to Signal Transition Graphs
J Beaumont
2016
A survey of theory and practice in compositional design of asynchronous circuits
J Beaumont
2015
Modelling Digital Systems using Behavioural Fragments
J Beaumont
2015
The system can't perform the operation now. Try again later.
Articles 1–10