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: 41.
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
Type: Book Section
| 2018
| Elsevier
| Item availability restricted.
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
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.
Type: Dataset
| 2018
| University of Southampton
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.
Proof-relevant horn clauses for dependent type inference and term synthesis - František Farka, Ekaterina Komendantskya and Kevin Hammond
Type: Article
| 2018
| Item not available on this server.
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
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: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| University of Southampton
Type: Dataset
| 2018
| Zenodo
| Item not available on this server.
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
Towards Mapping the security Challenges of the Internet of Things (IoT) supply Chain - Tope Omitola and Gary Wills
Type: Article
| 2018
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.
Closed genome sequence obtained using hybrid nanopore/ illumina assembly of a bacillus anthracis isolate from an animal-skin-drum-associated anthrax case in the United Kingdom - S.T. Pullan, R.W. Miles, K. Lewandowski and R. Vipond
Type: Article
| 2018
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.
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 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
Type: Dataset
| 2018
| University of Southampton
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.
A nonlinear modification for improving dynamic anti-windup compensation - Matthew C. Turner and Murray Kerr
Type: Article
| 2018
| 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
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.
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.
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.