The University of Southampton
×
Cyber Physical Systems Research Group

Publications

Publications from the CPS group can be browsed and searched using ePrints, our institutional repository.

Search CPS publications

Browse all CPS publications

Recent CPS Publications

Energy-driven computing - Sivert T. Sliper, Oktay Cetinkaya, Alexander Weddell, Bashir Al-Hashimi and Geoff Merrett
Type: Article | 2020
Incremental training and group convolution pruning for runtime DNN performance scaling on heterogeneous embedded platforms - Lei Xun, Long Tran-Thanh, Bashir Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item | 2020
Dataset for "Incremental Training and Group Convolution Pruning for Runtime DNN Performance Scaling on Heterogeneous Embedded Platforms"
Type: Dataset | 2020 | University of Southampton
Investigating the use of semantic technologies in spatial mapping applications - Temitope Omitola
Type: Article | 2013 | Item not available on this server.
Graphical affine algebra - Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2019 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.
SMT-based refutation of spurious bug reports in the clang static analyzer - Mikhail R. Gadelha, Enrico Steffinlongo, Lucas Cordeiro, Bernd Fischer and Denis Nicole
Type: Conference or Workshop Item | 2019 | IEEE Press | Item availability restricted.
Flipped classroom from computer science instructors’ perspectives: a proposed model - Eman Madani Bakheet and Andrew M. Gravell
Type: Conference or Workshop Item | 2019 | ACM | Item not available on this server.
Surface melt-driven seasonal behaviour (englacial and subglacial) from a soft-bedded temperate glacier recorded by in situ wireless probes - Jane K. Hart, Kirk Martinez, Philip J. Basford, Alexander Clayton, Graeme McLachlan Bragg, Tyler Ward and David Young
Type: Article | 2019
Towards confirming an Information Assurance framework for eGovernment in Indonesia - Rio Guntur Utomo, Gary B. Wills and Robert J. Walters
Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.
A variation-aware design methodology for distributed arithmetic - Yue Lu, Shengyu Duan, Basel Halak and Tom Kazmierski
Type: Article | 2019
Dataset Supporting the article entitled "Predictive Thermal Management for Energy-efficient Execution of Concurrent Applications on Heterogeneous Multi-cores"
Type: Dataset | 2019 | University of Southampton
The cost of link layer security in IoT embedded devices - S. Alharby, A. Weddell, J. Reeve and N. Harris
Type: Article | 2018 | Item availability restricted.
ESBMC 5.0: an industrial-strength C model checker - Mikhail R. Gadelha, Felipe R. Monteiro, Jeremy Morse, Lucas C. Cordeiro, Bernd Fischer and Denis A. Nicole
Type: Conference or Workshop Item | 2018 | ACM | Item not available on this server.
Simultaneous scheduling, allocation and binding in high level synthesis - P. Kollig and Bashir Al-Hashimi
Type: Article | 1997 | Item not available on this server.
Effectiveness of HT-assisted sinkhole and blackhole denial of service attacks targeting mesh networks-on-chip - Li Zhang, Xiaohang Wang, Yingtao Jiang, Mei Yang, Terrence Mak and Amit Kumar Singh
Type: Article | 2018 | Item not available on this server.
On more or less appropriate notions of 'Computation' - Andy M. Gravell and Stefan Gruner
Type: Editorial | 2018
Flip-flop
Type: Patent | 2018
Developing a framework for studying brain networks in neonatal hypoxic-ischemic encephalopathy - Finn Lennartsson, Angela Darekar, Koushik Maharatna, Daniel Konn, David Allen, J. Donald Tournier, John Broulidakis and Brigitte Vollmer
Type: Conference or Workshop Item | 2018 | Springer Verlag
An integrated web-based air pollution decision support system – a prototype - Yee Leung, Kwong Sak Leung, Man Hong Wong, Terrence Mak, Kwan Yau Cheung, Leung Yau Lo, Wei Ying Yi and Yuan Lin Dong
Type: Article | 2018 | Item not available on this server.
Application- and platform-agnostic runtime power management of heterogeneous embedded systems - Domenico Balsamo, Graeme McLachlan Bragg, Charles Leech and Geoff Merrett
Type: Conference or Workshop Item | 2018