Ivor T. A. Spence

According to our database, Ivor T. A. Spence authored at least 72 papers between 1984 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

EcoFed: Efficient Communication for DNN Partitioning-Based Federated Learning.

Di Wu, Rehmat Ullah, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

IEEE Trans. Parallel Distributed Syst., March, 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., March, 2024

2023

Communication Efficient DNN Partitioning-based Federated Learning.

Di Wu, Rehmat Ullah, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

CoRR, 2023

PipeLearn: Pipeline Parallelism for Collaborative Machine Learning.

Zihan Zhang, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

CoRR, 2023

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, Ivor T. A. Spence, Guanfeng Wu, Abbas Haider

Proceedings of the European Conference on Cognitive Ergonomics 2023, 2023

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

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

FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning.

Di Wu, Rehmat Ullah, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

IEEE Internet Things J., 2022

FedFly: Toward Migration in Edge-Based Distributed Federated Learning.

Rehmat Ullah, Di Wu, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

IEEE Commun. Mag., 2022

CONTINUER: Maintaining Distributed DNN Services During Edge Failures.

Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

Proceedings of the IEEE International Conference on Edge Computing and Communications, 2022

2021

FedFly: Towards Migration in Edge-based Distributed Federated Learning.

Rehmat Ullah, Di Wu, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

CoRR, 2021

Computing integrals for electron molecule scattering on heterogeneous accelerator systems.

Charles J. Gillan, Ivor T. A. Spence

Concurr. Comput. Pract. Exp., 2021

NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs.

Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

Proceedings of the IEEE International Conference on Cloud Engineering, 2021

The Case for Adaptive Deep Neural Networks in Edge Computing.

Francis McNamee, Schahram Dustdar, Peter Kilpatrick, Weisong Shi, Ivor T. A. Spence, Blesson Varghese

Proceedings of the 14th IEEE International Conference on Cloud Computing, 2021

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

Modelling Fog Offloading Performance.

Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

Proceedings of the 4th IEEE International Conference on Fog and Edge Computing, 2020

2019

Performance Estimation of Container-Based Cloud-to-Fog Offloading.

Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese

Proceedings of the 12th IEEE/ACM International Conference on Utility and Cloud Computing, 2019

Stream-Based Representation and Incremental optimization of Technical Market Indicators.

Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck

Proceedings of the 17th International Conference on High Performance Computing & Simulation, 2019

2018

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

Proceedings of the 2018 IEEE International Conference on Autonomic Computing, 2018

2017

FairGV: Fair and Fast GPU Virtualization.

Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos

IEEE Trans. Parallel Distributed Syst., 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

GPU Virtualization and Scheduling Methods: A Comprehensive Survey.

Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos

ACM Comput. Surv., 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

Proceedings of the Cloud Computing and Service Science - 7th International Conference, 2017

MyMinder: A User-centric Decision Making Framework for Intercloud Migration.

Esha Barlaskar, Peter Kilpatrick, Ivor T. A. Spence, Dimitrios S. Nikolopoulos

Proceedings of the CLOSER 2017, 2017

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

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, Angelos Bilas, Stelios Kaloutsakis, Heiner Giefers, Peter W. J. Staar, Costas Bekas, Neil Horlock, Richard Faloon, Colin Pattison

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform.

Paul Harvey, Konstantin Bakanov, Ivor T. A. Spence, Dimitrios S. Nikolopoulos

Proceedings of the 6th International Workshop on Runtime and Operating Systems for Supercomputers, 2016

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

Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks.

Ivor T. A. Spence

ACM J. Exp. Algorithmics, 2015

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

Proceedings of the 7th Workshop on High Performance Computational Finance, 2014

Rigorous specification and low-latency implementation of technical market indicators.

Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck, Charles J. Gillan

Proceedings of the first workshop on Parallel programming for analytics applications, 2014

2012

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, J. Bock, S. Borchert, Ivor T. A. Spence, N. Stanley Scott

Concurr. Comput. Pract. Exp., 2012

2010

sgen1: A generator of small but difficult satisfiability benchmarks.

Ivor T. A. Spence

ACM J. Exp. Algorithmics, 2010

Zero-One Designs Produce Small Hard SAT Instances.

Allen Van Gelder, Ivor T. A. Spence

Proceedings of the Theory and Applications of Satisfiability Testing, 2010

A Scalable Approach to Annotate Arbitrary Modelling Languages.

Mathias Fritzsche, Wasif Gilani, Michael Thiele, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick

Proceedings of the Modellierung 2010, 24.-26. März 2010, Klagenfurt, Österreich, 2010

Programming Challenges for the Implementation of Numerical Quadrature in Atomic Physics on FPGA and GPU Accelerators.

Charles J. Gillan, Thomas Steinke, J. Bock, S. Borchert, Ivor T. A. Spence, N. Stanley Scott

Proceedings of the 10th IEEE/ACM International Conference on Cluster, 2010

2009

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

Proceedings of the Business Process Management, 7th International Conference, 2009

2008

tts: A SAT-Solver for Small, Difficult Instances.

Ivor T. A. Spence

J. Satisf. Boolean Model. Comput., 2008

A Multiple Views Model for Variability Management in Software Product Lines.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, Thomas Brown, Charles Gillan

Proceedings of the Second International Workshop on Variability Modelling of Software-Intensive Systems, 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

Proceedings of the Software Language Engineering, First International Conference, 2008

An Extensible ADL for Service-Oriented Architectures.

Rabih Bashroush, Ivor T. A. Spence

Proceedings of the Information Systems Development, 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

Proceedings of the Model Driven Architecture, 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

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

ALI: An Extensible Architecture Description Language for Industrial Applications.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche

Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March, 2008

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

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

Requirements Modelling and Design Notations for Software Product Lines.

T. John Brown, Rachel Gawley, Ivor T. A. Spence, Peter Kilpatrick, Charles Gillan, Rabih Bashroush

Proceedings of the First International Workshop on Variability Modelling of Software-Intensive Systems, 2007

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

Weaving Behavior into Feature Models for Embedded System Families.

T. John Brown, Rachel Gawley, Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, Charles Gillan

Proceedings of the Software Product Lines, 10th International Conference, 2006

Towards More Flexible Architecture Description Languages for Industrial Applications.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown

Proceedings of the Software Architecture, Third European Workshop, 2006

2005

Feature-Guided Architecture Development for Embedded System Families.

T. John Brown, Rabih Bashroush, Charles Gillan, Ivor T. A. Spence, Peter Kilpatrick

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

ADLARS: An Architecture Description Language for Software Product Lines.

Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

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

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

A Network Architectural Style for Real-time Systems: NaSr.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Using the NaSr architectural style to solve the broken hyperlink problem.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Towards an automated evaluation process for software architectures.

Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

A Java framework for the static reflection, composition and synthesis of software components.

Ian McRitchie, T. John Brown, Ivor T. A. Spence

Proceedings of the 2nd International Symposium on Principles and Practice of Programming in Java, 2003

Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation.

Ian McRitchie, T. John Brown, Ivor T. A. Spence

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

A Relational Architecture Description Language for Software Families.

T. John Brown, Ivor T. A. Spence, Peter Kilpatrick

Proceedings of the Software Product-Family Engineering, 5th International Workshop, 2003

2002

Adaptable Components for Software Product Line Engineering.

T. John Brown, Ivor T. A. Spence, Peter Kilpatrick, Danny Crookes

Proceedings of the Software Product Lines, Second International Conference, 2002

Mixin programming in Java with reflection and dynamic invocation.

T. John Brown, Ivor T. A. Spence, Peter Kilpatrick

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002

2000

Config: a case study in combining software engineering techniques.

David Maley, Ivor T. A. Spence

Sci. Program., 2000

But Who Will Guard the Guardians?

David Maley, Ivor T. A. Spence

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1999

Efficient implementation of a portable parallel programming model for image processing.

Philip J. Morrow, Danny Crookes, T. John Brown, Gareth McAleese, D. K. Roantree, Ivor T. A. Spence

Concurr. Pract. Exp., 1999

Emulating Design by Contract in C++.

David Maley, Ivor T. A. Spence

Proceedings of the TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 1999

1998

Specification for Testing - The Removal of Abstraction.

Ivor T. A. Spence

Softw. Test. Verification Reliab., 1998

An efficient, portable software platform for parallel image processing.

Danny Crookes, Judy Brown, Ivor T. A. Spence, Philip J. Morrow, D. K. Roantree, Gareth McAleese

Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998

Achieving Portability and Efficiency Through Automatic Optimisation: An Investigation in Parallel Image Processing.

Danny Crookes, Philip J. Morrow, T. John Brown, Gareth McAleese, D. K. Roantree, Ivor T. A. Spence

Proceedings of the Euro-Par '98 Parallel Processing, 1998

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, D. K. Roantree, Ivor T. A. Spence

Proceedings of the UK Parallel '96 - Proceedings of the BCS PPSG Annual Conference, Surrey, 1996

A Self-Optimising Coprocessor Model for Portable Image Processing.

Danny Crookes, T. John Brown, Y. Dong, Gareth McAleese, Philip J. Morrow, D. K. Roantree, Ivor T. A. Spence

Proceedings of the Euro-Par '96 Parallel Processing, 1996

1994

Displaying digital images in a distributed processing environment.

Ivor T. A. Spence

Microprocess. Microsystems, 1994

1991

Customers do not want frozen specifications.

Ivor T. A. Spence, B. N. Carey

Softw. Eng. J., 1991

1984

Automatic production of code generators.

Ivor T. A. Spence

PhD thesis, 1984