Automatic production of code generators. - Ivor T. A. Spence (1984)

Customers do not want frozen specifications. - Ivor T. A. Spence; B. N. Carey (Softw. Eng. J., 1991)

Displaying digital images in a distributed processing environment. - Ivor T. A. Spence (Microprocess. Microsystems, 1994)

A Self-Optimising Coprocessor Model for Portable Image Processing. - Danny Crookes; T. John Brown; Y. Dong; Gareth McAleese; Philip J. Morrow; Donal Roantree; Ivor T. A. Spence (Euro-Par, Vol. II, 1996)

Achieving Scalability, Portability and Efficiency in a High-Level Programming Model for Parallel Architectures. - Philip J. Morrow; Danny Crookes; Judy Brown; Y. Dong; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (UK Parallel, 1996)

Achieving Portability and Efficiency Through Automatic Optimisation: An Investigation in Parallel Image Processing. - Danny Crookes; Philip J. Morrow; T. John Brown; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (Euro-Par, 1998)

An efficient, portable software platform for parallel image processing. - Danny Crookes; Judy Brown; Ivor T. A. Spence; Philip J. Morrow; Donal Roantree; Gareth McAleese (PDP, 1998)

Specification for Testing - The Removal of Abstraction. - Ivor T. A. Spence (Softw. Test. Verification Reliab., 1998)

Emulating Design by Contract in C++. - David Maley; Ivor T. A. Spence (TOOLS (29), 1999)

Efficient implementation of a portable parallel programming model for image processing. - Philip J. Morrow; Danny Crookes; T. John Brown; Gareth McAleese; Donal Roantree; Ivor T. A. Spence (Concurr. Pract. Exp., 1999)

But Who Will Guard the Guardians? - David Maley; Ivor T. A. Spence (TOOLS (34), 2000)

Config: a case study in combining software engineering techniques. - David Maley; Ivor T. A. Spence (Sci. Program., 2000)

Mixin programming in Java with reflection and dynamic invocation. - T. John Brown; Ivor T. A. Spence; Peter Kilpatrick (PPPJ/IRE, 2002)

Adaptable Components for Software Product Line Engineering. - T. John Brown; Ivor T. A. Spence; Peter Kilpatrick; Danny Crookes (SPLC, 2002)

A Relational Architecture Description Language for Software Families. - T. John Brown; Ivor T. A. Spence; Peter Kilpatrick (PFE, 2003)

Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation. - Ian McRitchie; T. John Brown; Ivor T. A. Spence (PFE, 2003)

A Java framework for the static reflection, composition and synthesis of software components. - Ian McRitchie; T. John Brown; Ivor T. A. Spence (PPPJ, 2003)

Towards an automated evaluation process for software architectures. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (IASTED Conf. on Software Engineering, 2004)

Using the NaSr architectural style to solve the broken hyperlink problem. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (IASTED Conf. on Software Engineering and Applications, 2004)

A Network Architectural Style for Real-time Systems: NaSr. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (WICSA, 2004)

A generic reference software architecture for load balancing over mirrored Web servers: NaSr case study. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (AICCSA, 2005)

ADLARS: An Architecture Description Language for Software Product Lines. - Rabih Bashroush; T. John Brown; Ivor T. A. Spence; Peter Kilpatrick (SEW, 2005)

Feature-Guided Architecture Development for Embedded System Families. - T. John Brown; Rabih Bashroush; Charles Gillan; Ivor T. A. Spence; Peter Kilpatrick (WICSA, 2005)

Towards More Flexible Architecture Description Languages for Industrial Applications. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (EWSA, 2006)

Weaving Behavior into Feature Models for Embedded System Families. - T. John Brown; Rachel Gawley; Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; Charles Gillan (SPLC, 2006)

Computing zeros of analytic functions in the complex plane without using derivatives. - Charles J. Gillan; A. Schuchinsky; Ivor T. A. Spence (Comput. Phys. Commun., 2006)

Requirements Modelling and Design Notations for Software Product Lines. - T. John Brown; Rachel Gawley; Ivor T. A. Spence; Peter Kilpatrick; Charles Gillan; Rabih Bashroush (VaMoS, 2007)

Challenges in the Application of Feature Modelling in Fixed Line Telecommunications. - Charles Gillan; Peter Kilpatrick; Ivor T. A. Spence; T. John Brown; Rabih Bashroush; Rachel Gawley (VaMoS, 2007)

ALI: An Extensible Architecture Description Language for Industrial Applications. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown; Wasif Gilani; Mathias Fritzsche (ECBS, 2008)

Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications. - Mathias Fritzsche; Wasif Gilani; Ivor T. A. Spence; T. John Brown; Peter Kilpatrick; Rabih Bashroush (ECBS, 2008)

Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis. - Mathias Fritzsche; Wasif Gilani; Christoph Fritzsche; Ivor T. A. Spence; Peter Kilpatrick; T. John Brown (ECMDA-FA, 2008)

An Extensible ADL for Service-Oriented Architectures. - Rabih Bashroush; Ivor T. A. Spence (ISD, 2008)

Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains. - Mathias Fritzsche; Jendrik Johannes; Uwe Aßmann; Simon Mitschke; Wasif Gilani; Ivor T. A. Spence; T. John Brown; Peter Kilpatrick (SLE, 2008)

A Multiple Views Model for Variability Management in Software Product Lines. - Rabih Bashroush; Ivor T. A. Spence; Peter Kilpatrick; Thomas Brown; Charles Gillan (VaMoS, 2008)

tts: A SAT-Solver for Small, Difficult Instances. - Ivor T. A. Spence (J. Satisf. Boolean Model. Comput., 2008)

Extending BPM Environments of Your Choice with Performance Related Decision Support. - Mathias Fritzsche; Michael Picht; Wasif Gilani; Ivor T. A. Spence; T. John Brown; Peter Kilpatrick (BPM, 2009)

Programming Challenges for the Implementation of Numerical Quadrature in Atomic Physics on FPGA and GPU Accelerators. - Charles J. Gillan; Thomas Steinke 001; J. Bock; S. Borchert; Ivor T. A. Spence; N. Stanley Scott (CCGRID, 2010)

A Scalable Approach to Annotate Arbitrary Modelling Languages. - Mathias Fritzsche; Wasif Gilani; Michael Thiele; Ivor T. A. Spence; T. John Brown; Peter Kilpatrick (Modellierung, 2010)

Zero-One Designs Produce Small Hard SAT Instances. - Allen Van Gelder; Ivor T. A. Spence (SAT, 2010)

sgen1: A generator of small but difficult satisfiability benchmarks. - Ivor T. A. Spence (ACM J. Exp. Algorithmics, 2010)

Comparing the implementation of two-dimensional numerical quadrature on GPU, FPGA and ClearSpeed systems to study electron scattering by atoms. - Charles J. Gillan; Thomas Steinke 001; J. Bock; S. Borchert; Ivor T. A. Spence; N. Stanley Scott (Concurr. Comput. Pract. Exp., 2012)

Rigorous specification and low-latency implementation of technical market indicators. - Konstantin Bakanov; Ivor T. A. Spence; Hans Vandierendonck; Charles J. Gillan (PPAA@PPoPP, 2014)

On the viability of microservers for financial analytics. - Charles J. Gillan; Dimitrios S. Nikolopoulos; Giorgis Georgakoudis; Richard Faloon; George Tzenakis; Ivor T. A. Spence (WHPCF@SC, 2014)

Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks. - Ivor T. A. Spence (ACM J. Exp. Algorithmics, 2015)

Iso-Quality of Service: Fairly Ranking Servers for Real-Time Data Analytics. - Giorgis Georgakoudis; Charles Gillan; Ahmed Sayed; Ivor T. A. Spence; Richard Faloon; Dimitrios S. Nikolopoulos (Parallel Process. Lett., 2015)

A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform. - Paul Harvey 002; Konstantin Bakanov; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (ROSS@HPDC, 2016)

NanoStreams: Codesigned microservers for edge analytics in real time. - Giorgis Georgakoudis; Charles Gillan; Ahmad Hassan; Umar Ibrahim Minhas; Ivor T. A. Spence; George Tzenakis; Hans Vandierendonck; Roger F. Woods; Dimitrios S. Nikolopoulos; Murali Shyamsundar; Paul Barber; Matthew Russell; et al. (SAMOS, 2016)

Methods and metrics for fair server assessment under real-time financial workloads. - Giorgis Georgakoudis; Charles J. Gillan; Ahmed Sayed; Ivor T. A. Spence; Richard Faloon; Dimitrios S. Nikolopoulos (Concurr. Comput. Pract. Exp., 2016)

MyMinder: A User-centric Decision Making Framework for Intercloud Migration. - Esha Barlaskar; Peter Kilpatrick; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (CLOSER, 2017)

Using Docker Swarm with a User-Centric Decision-Making Framework for Cloud Application Migration. - Esha Barlaskar; Peter Kilpatrick; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (CLOSER (Selected Papers), 2017)

GPU Virtualization and Scheduling Methods: A Comprehensive Survey. - Cheol-Ho Hong; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (ACM Comput. Surv., 2017)

On the Virtualization of CUDA Based GPU Remoting on ARM and X86 Machines in the GVirtuS Framework. - Raffaele Montella; Giulio Giunta; Giuliano Laccetti; Marco Lapegna; Carlo Palmieri; Carmine Ferraro; Valentina Pelliccia; Cheol-Ho Hong; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (Int. J. Parallel Program., 2017)

FairGV: Fair and Fast GPU Virtualization. - Cheol-Ho Hong; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (IEEE Trans. Parallel Distributed Syst., 2017)

Supporting Cloud IaaS Users in Detecting Performance-Based Violation for Streaming Applications. - Esha Barlaskar; Kiril Dichev; Peter Kilpatrick; Ivor T. A. Spence; Dimitrios S. Nikolopoulos (ICAC, 2018)

Stream-Based Representation and Incremental optimization of Technical Market Indicators. - Konstantin Bakanov; Ivor T. A. Spence; Hans Vandierendonck (HPCS, 2019)

Performance Estimation of Container-Based Cloud-to-Fog Offloading. - Ayesha Abdul Majeed; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (UCC Companion, 2019)

Modelling Fog Offloading Performance. - Ayesha Abdul Majeed; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (ICFEC, 2020)

Comparing regression and neural network techniques for personalized predictive analytics to promote lung protective ventilation in Intensive Care Units. - Rachael Hagan; Charles J. Gillan; Ivor T. A. Spence; Danny McAuley; Murali Shyamsundar (Comput. Biol. Medicine, 2020)

The Case for Adaptive Deep Neural Networks in Edge Computing. - Francis McNamee; Schahram Dustdar; Peter Kilpatrick; Weisong Shi; Ivor T. A. Spence; Blesson Varghese (CLOUD, 2021)

NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs. - Ayesha Abdul Majeed; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (IC2E, 2021)

Computing integrals for electron molecule scattering on heterogeneous accelerator systems. - Charles J. Gillan; Ivor T. A. Spence (Concurr. Comput. Pract. Exp., 2021)

FedFly: Towards Migration in Edge-based Distributed Federated Learning. - Rehmat Ullah 001; Di Wu 065; Paul Harvey 002; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (CoRR, 2021)

CONTINUER: Maintaining Distributed DNN Services During Edge Failures. - Ayesha Abdul Majeed; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (EDGE, 2022)

FedFly: Toward Migration in Edge-Based Distributed Federated Learning. - Rehmat Ullah 001; Di Wu 065; Paul Harvey 002; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (IEEE Commun. Mag., 2022)

FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning. - Di Wu 065; Rehmat Ullah 001; Paul Harvey 002; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (IEEE Internet Things J., 2022)

Incremental Density-Based Clustering on Multicore Processors. - Son T. Mai; Jon Jacobsen; Sihem Amer-Yahia; Ivor T. A. Spence; Nhat-Phuong Tran; Ira Assent; Quoc Viet Hung Nguyen (IEEE Trans. Pattern Anal. Mach. Intell., 2022)

Power Log'n'Roll: Power-Efficient Localized Rollback for MPI Applications Using Message Logging Protocols. - Kiril Dichev; Daniele De Sensi; Dimitrios S. Nikolopoulos; Kirk W. Cameron; Ivor T. A. Spence (IEEE Trans. Parallel Distributed Syst., 2022)

Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews. - Kyle Boyd; Patrick McAllister; Maurice D. Mulvenna; Raymond R. Bond; Hui Wang 001; Ivor T. A. Spence; Guanfeng Wu; Abbas Haider (ECCE, 2023)

PipeLearn: Pipeline Parallelism for Collaborative Machine Learning. - Zihan Zhang; Philip Rodgers; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (CoRR, 2023)

Communication Efficient DNN Partitioning-based Federated Learning. - Di Wu 065; Rehmat Ullah 001; Philip Rodgers; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (CoRR, 2023)

RetinaLiteNet: A Lightweight Transformer based CNN for Retinal Feature Segmentation. - Mehwish Mehmood; Majed Alsharari; Shahzaib Iqbal; Ivor T. A. Spence; Muhammad Fahim (CVPR Workshops, 2024)

Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. - Guanfeng Wu; Abbas Haider; Ivor T. A. Spence; Hui Wang 001 (MVRMLM@ICMR, 2024)

LVS-Net: A Lightweight Vessels Segmentation Network for Retinal Image Analysis. - Mehwish Mehmood; Shahzaib Iqbal; Tariq Mahmood Khan; Ivor T. A. Spence; Muhammad Fahim (CoRR, 2024)

PiPar: Pipeline parallelism for collaborative machine learning. - Zihan Zhang; Philip Rodgers; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (J. Parallel Distributed Comput., 2024)

DNNShifter: An efficient DNN pruning system for edge computing. - Bailey J. Eccles; Philip Rodgers; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (Future Gener. Comput. Syst., 2024)

EcoFed: Efficient Communication for DNN Partitioning-Based Federated Learning. - Di Wu 065; Rehmat Ullah 001; Philip Rodgers; Peter Kilpatrick; Ivor T. A. Spence; Blesson Varghese (IEEE Trans. Parallel Distributed Syst., 2024)

Multi-modal video search by examples - A video quality impact analysis. - Guanfeng Wu; Abbas Haider; Xing Tian; Erfan Loweimi; Chi-Ho Chan; Mengjie Qian 001; Muhammad Junaid Awan; Ivor T. A. Spence; Rob Cooper; Wing W. Y. Ng; Josef Kittler; Mark J. F. Gales; et al. (IET Comput. Vis., 2024)

Residual feature decomposition and multi-task learning-based variation-invariant face recognition. - Abbas Haider; Guanfeng Wu; Ivor T. A. Spence; Hui Wang 001 (Neural Comput. Appl., 2024)

TDSRL: Time Series Dual Self-Supervised Representation Learning for Anomaly Detection From Different Perspectives. - Yongsheng Dai; Ivor T. A. Spence; Karen Rafferty; Barry Quinn 003; Ji Huang; Hui Wang 001 (IEEE Internet Things J., 2025)