The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 31.

Type: Conference or Workshop Item | 2018 | IARIA

Technical aspects of blockchain and IoT - Hany F. Atlam and Gary B. Wills
Type: Book Section | 2018 | Elsevier | Item availability restricted.

Dataset supporting the article entitled "AdaMD: Adaptive Mapping and DVFS for Energy-efficient Heterogeneous Multi-cores" - Karunakar Reddy Basireddy, Amit K Singh, Bashir Al-Hashimi and Geoffrey Merrett
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 | ACM | Item not available on this server.

Ultra-low power 18-transistor fully-static contention-free single-phase clocked flip-flop in 65nm CMOS - Yunpeng Cai, Parameshwarappa Anand Kumar Savanth, Pranay Prabhat, James Myers, Alexander Weddell and Tomasz Kazmierski
Type: Article | 2018 | Item availability restricted.

Dataset for 'Ultra-Low Power 18-Transistor Fully-Static Contention-Free Single-Phase Clocked Flip-Flop in 65nm CMOS' - Yunpeng Cai, Parameshwarappa Anand, Kumar Savanth, Pranay Prabhat, James Myers, Alexander Weddell and Tomasz Kazmierski
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

Reusing formal models via lifting - Dana Dghaym, Colin Snook, Thai Son Hoang and Michael Butler
Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Type: Conference or Workshop Item | 2018 | Institute of Electrical and Electronics Engineers Inc. | Item not available on this server.

Design and optimization of inductive-coupling links for 3-D-ICs - Benjamin J. Fletcher, Shidhartha Das and Terrence Mak
Type: Article | 2018

Type: Conference or Workshop Item | 2018

Advergame for dementia awareness and supporting carers - Noreena Liu, Gary Wills and Ranchhod Ashok
Type: Conference or Workshop Item | 2018

A new ageing-aware approach via path isolation - Yue Lu, Shengyu Duan and Tom J. Kazmierski
Type: Conference or Workshop Item | 2018 | IEEE Computer Society | 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-WS

Type: Article | 2018

Type: Conference or Workshop Item | 2018 | Springer

Welcome Message - Hiren Patel, Tom J. Kazmierski and Sebastian Steinhorst
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 | Institute of Electrical and Electronics Engineers Inc. | 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 Verlag | 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.

Adaptation in heterogeneous multi-core SoCs - Amit Kumar Singh, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Vector barrier certificates and comparison systems - Andrew Sogokon, Khalil Ghorbal, Yong Kiam Tan and André Platzer
Type: Conference or Workshop Item | 2018 | Springer

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 | Institute of Electrical and Electronics Engineers Inc. | 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 | Institute of Electrical and Electronics Engineers Inc. | 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.

This list was generated on Tue Nov 19 01:51:52 2019 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of https://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×