Items where Division is "Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems
School of Electronics and Computer Science > Cyber Physical Systems" and Year is 2018
 | Up a level |
Number of items: 39.
Article
Towards Mapping the security Challenges of the Internet of Things (IoT) supply Chain - Tope Omitola and Gary Wills
Type: Article
| 2018
DeepSaucer: Unified environment for verifying Deep Neural Networks - Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang and Michael Butler
Type: Article
| 2018
| Item not available on this server.
A nonlinear modification for improving dynamic anti-windup compensation - Matthew C. Turner and Murray Kerr
Type: Article
| 2018
| Item not available on this server.
A neuro-inspired visual tracking method based on programmable system-on-chip platform - Shufan Yang, Kong Fatt Wong-Lin, James Andrew, Terrence Mak and T. Martin McGinnity
Type: Article
| 2018
| 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.
Book Section
Type: Book Section
| 2018
| Elsevier
| Item availability restricted.
Conference or Workshop Item
Measuring success in agile software development projects: a GQM approach - Abdullah M. Aldahmash and Andrew Gravell
Type: Conference or Workshop Item
| 2018
| International Academy, Research and Industry Association
Demo abstract: an energy-driven wireless bicycle trip counter with zero energy storage - Samuel Wong Chang Bing, Domenico Balsamo and Geoff V. Merrett
Type: Conference or Workshop Item
| 2018
| Association for Computing Machinery
| Item not available on this server.
Graceful performance adaption through hardware-software interaction for autonomous battery management of multicore smartphones - Anup Das, Domenico Balsamo, Geoff Merrett, Bashir Al-Hashimi and Francky Catthoor
Type: Conference or Workshop Item
| 2018
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Globally Wireless Locally Wired (GloWiLoW): A clock distribution network for many-core systems - Qian Ding, Benjamin J. Fletcher and Terrence Mak
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Cost-effective 3D integration using inductive coupling links: Can we make stacking silicon as easy as stacking Lego? - Benjamin, James Fletcher, Shidhartha Das and Terrence Mak
Type: Conference or Workshop Item
| 2018
Type: Conference or Workshop Item
| 2018
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Type: Conference or Workshop Item
| 2018
Refinement of statecharts with run-to-completion semantics - Karla Morris, Colin Snook, Thai Son Hoang, Robert Armstrong and Michael Butler
Type: Conference or Workshop Item
| 2018
| Item not available on this server.
Securing navigation of unmanned maritime systems - Temitope Omitola, Jonathan Downes, Gary Wills, Mark Zwolinski and Michael Butler
Type: Conference or Workshop Item
| 2018
| CEUR Workshop Proceedings
Finding rare concurrent programming bugs:: An automatic, symbolic, randomized, and parallelizable approach - Gennaro Parlato
Type: Conference or Workshop Item
| 2018
| Springer
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Workload-Aware runtime energy management for HPC Systems - Karunakar Reddy Basireddy, Eduardo Weber Wachter, Bashir M. Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
A proposal of an example and experiments repository to foster industrial adoption of formal methods - Rupert Schlick, Michael Felderer, Istvan Majzik, Roberto Nardone, Alexander Raschke, Colin Snook and Valeria Vittorini
Type: Conference or Workshop Item
| 2018
| Springer
| Item not available on this server.
Spectrum of run-time management for modern and next generation multi/many-core systems - Amit K. Singh, Geoff Merrett, Amir Rahmani and Akash Kumar
Type: Conference or Workshop Item
| 2018
| Item availability restricted.
Type: Conference or Workshop Item
| 2018
Simple globally stabilising anti-windup designs for systems with rate-limits - Jorge Sofrony, Matthew C. Turner and Richard T. O'Brien
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Vector barrier certificates and comparison systems - Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André Platzer
Type: Conference or Workshop Item
| 2018
| Springer
Redundancy-reduced MobileNet acceleration on reconfigurable logic for ImageNet classification - Jiang Su, Julian Faraone, Junyi Liu, Yiren Zhao, David B. Thomas, Philip H.W. Leong and Peter Y.K. Cheung
Type: Conference or Workshop Item
| 2018
| Springer
| Item not available on this server.
Accuracy to throughput trade-offs for reduced precision neural networks on reconfigurable logic - Jiang Su, Nicholas J. Fraser, Giulio Gambardella, Michaela Blott, Gianluca Durelli, David B. Thomas, Philip H.W. Leong and Peter Y.K. Cheung
Type: Conference or Workshop Item
| 2018
| Springer
| Item not available on this server.
Collective-aware system-on-chips for dependable IoT applications - Vasileios Tenentes, Daniele Rossi and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
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
| IEEE
| Item not available on this server.
BRB: mitigating branch predictor side-channels - Ilias Vougioukas, Andreas Sandberg, Nikos Nikoleris, Stephan Diestelhorst, Bashir Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item
| 2018
Lightweight PUF-based authentication protocol for IoT devices - Yildiran Yilmaz, Steve R. Gunn and Basel Halak
Type: Conference or Workshop Item
| 2018
| IEEE
| Item not available on this server.
Dataset
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| Zenodo
| Item not available on this server.
Type: Dataset
| 2018
| University of Southampton
Editorial
Internet-of-Things and big data for smarter healthcare: from device to architecture, applications and analytics - Farshad Firouzi, Amir Rahmani, K. Mankodiya, M. Badaroglu, G. Merrett, P. Wong and B. Farahani
Type: Editorial
| 2018