The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg)" 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: 28.

Incremental database design using UML-B and Event-B - Ahmed, Zahran Nasser Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2018

UB2DB Rodin plug-in for automated database code generation - Ahmed, Zahran Nasser Al-Brashdi, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item | 2018

Type: Editorial | 2018

Online concurrent workload classification for multi-core energy management - Karunakar Reddy Basireddy, Amit Singh, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Workload-aware runtime energy management for HPC systems - Karunakar Reddy Basireddy, Eduardo W. Wachter, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Conference or Workshop Item | 2018

Memory and thread synchronization contention-aware DVFS for HPC systems - Karunakar Reddy Basireddy, Eduardo Weber Wachter, Bashir Al-Hashimi and Geoff Merrett
Type: Conference or Workshop Item | 2018

Study of the circularity effect on drag of disk-like particles - Luis Blay Esteban, J. Shrimpton and B. Ganapathisubramani
Type: Article | 2018 | Item availability restricted.

An application- and platform-agnostic control and monitoring framework for multicore systems - Graeme McLachlan Bragg, Charles R. Leech, Domenico Balsamo, James J. Davis, Eduardo Weber Wachter, Geoff Merrett, George A. Constantinides and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Introduction to the ABZ 2016 Special issue - Michael Butler and Klaus Dieter Schewe
Type: Article | 2018 | Item not available on this server.

Liquid biofuels production and emissions performance in gas turbines: a review - Meng Choung Chiong, Cheng Tung Chong, Jo Han Ng, Su Shiung Lam, Manh Vu Tran, William Woei Fong Chong, Mohammad Nazri Mohd Jaafar and Agustin Valera-Medina
Type: Review | 2018 | Item not available on this server.

A report on PRiME code generation activities - Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item | 2018

Using formal methods for automatic platform-independent code generation of run-time management - Mohammad Sadegh Dalvandi, Asieh Salehi Fathabadi and Michael Butler
Type: Conference or Workshop Item | 2018

Extending ERS for modelling dynamic workflows in Event-B - Dana Dghaym, Michael Butler and Asieh Salehi Fathabadi
Type: Conference or Workshop Item | 2018

On more or less appropriate notions of 'Computation' - Andy M. Gravell and Stefan Gruner
Type: Editorial | 2018

Hardware-efficient node processing unit architectures for flexible LDPC decoder implementations - Peter Hailes, Lei Xu, Robert Maunder, Bashir Al-Hashimi and Lajos Hanzo
Type: Article | 2018

A composition mechanism for refinement-based methods - Thai Son Hoang, Dana Dghaym, Colin Snook and Michael Butler
Type: Conference or Workshop Item | 2018 | IEEE

Policing functions for machine learning systems - Thai Son Hoang, Naoto Sato, Tomoyuki Myosin, Michael Butler, Yuichiroh Nakagawa and Hideto Ogawa
Type: Conference or Workshop Item | 2018

Application control and monitoring in heterogeneous multiprocessor systems - Charles R. Leech, Graeme McLachlan Bragg, Domenico Balsamo, Eduardo Weber Wachter, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Type: Conference or Workshop Item | 2018 | Springer Verlag | Item not available on this server.

A model-based framework for software portability and verification in embedded power management systems - Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Maeda-Nunez, James Bantock, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Article | 2018 | Item availability restricted.

Optimal pulses for enhanced interferometer sensitivity and contrast - Jack, Cameron Saywell, Max, Sebastian Carey, David, Emanuel Elcock, Mohammad Belal, Ilya Kuprov and Timothy Freegarde
Type: Conference or Workshop Item | 2018 | Item not available on this server.

Behaviour-driven formal model development - Colin Snook, Thai Son Hoang, Dana Dghaym, Michael Butler, Tomas Fischer, Rupert Schlick and Keming Wang
Type: Conference or Workshop Item | 2018 | Springer | Item availability restricted.

Developing a new language to construct algebraic hierarchies for Event-B - James, Harvey Snook, Michael Butler and Thai Son Hoang
Type: Conference or Workshop Item | 2018 | Springer

HST spectrum and timing of the ultracompact X-ray binary candidate 47 Tuc X9 - V. Tudor, J. C.A. Miller-Jones, C. Knigge, T. J. Maccarone, T. M. Tauris, A. Bahramian, L. Chomiuk, C. O. Heinke, G. R. Sivakoff, J. Strader, R. M. Plotkin, R. Soria, M. D. Albrow, G. E. Anderson, M. van den Berg, F. Bernardini, S. Bogdanov, C. T. Britt, D.M. Russell and D. R. Zurek
Type: Article | 2018 | Item not available on this server.

Hardware-validated CPU performance and energy modelling - Matthew Walker, Sascha Bischoff, Stephan Diestelhorst, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Accurate and stable empirical CPU power modelling for multi- and many-core systems - Matthew Walker, Stephan Diestelhorst, Geoff Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item | 2018

Refinement of timing constraints for concurrent tasks with scheduling - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2018 | Springer

Semantics of real-time trigger-response properties in Event-B - Chenyang Zhu, Michael Butler and Corina Cirstea
Type: Conference or Workshop Item | 2018 | IEEE | Item availability restricted.

This list was generated on Tue May 14 01:38:13 2019 BST.
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.

×