The University of Southampton

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

Search 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