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: 41.

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

Type: Dataset | 2018 | University of Southampton

Type: Dataset | 2018 | University of Southampton

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

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 | Item availability restricted.

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

Type: Dataset | 2018 | University of Southampton

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: Letter | 2018

Type: Dataset | 2018 | University of Southampton

Type: Dataset | 2018 | University of Southampton

Type: Dataset | 2018 | University of Southampton

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

Analysis of uncertainty in laser-scanned bathymetric maps - Michael Leat, Adrian Bodenmann, Miquel Massot-Campos and Blair Thornton
Type: Conference or Workshop Item | 2018 | IEEE | Item availability restricted.

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 | Item availability restricted.

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

Type: Dataset | 2018 | University of Southampton

Kinetic study of horse manure through thermogravimetric analysis - Guo Ren Mong, Jo Han Ng, William Woei Fong Chong, Farid Nasir Ani, Su Shiung Lam and Cheng Tung Chong
Type: Article | 2018 | Item not available on this server.

Exploiting aging benefits for the design of reliable drowsy cache memories - Daniele Rossi, Vasileios Tenentes, Sudhakar Reddy, Bashir Al-Hashimi and Andrew Brown
Type: Article | 2018

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

Optimal pulses for enhanced interferometer sensitivity and contrast - Jack, Cameron Saywell, Max 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

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

Leakage current analysis for diagnosis of bridge defects in power-gating designs - Vasileios Tenentes, Daniele Rossi, Saqib Khursheed, Bashir Al-Hashimi and Krishnendu Chakrabarty
Type: Article | 2018

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.

High-speed low-complexity guided image filtering-based disparity estimation - Charan Kumar Vala, Koushik Immadisetty, Amit Acharyya, Charles Leech, Vibishna Balagopal, Geoff V. Merrett and Bashir Al-Hashimi
Type: Article | 2018

Type: Dataset | 2018 | University of Southampton

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 Mar 26 01:48:29 2024 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 http://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.

×