Ivor T. A. Spence

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 34

Top Venues

CoRR

IEEE Trans. Parallel Distributed Syst.

Concurr. Comput. Pract. Exp.

PPAA@PPoPP

Queen's University Belfast, UK (PHD)

Education History

Queen's University Belfast, UK

PHD

Publications

Guanfeng Wu, Abbas Haider, Ivor T. A. Spence, Hui Wang
Multi Modal Fusion for Video Retrieval based on CLIP Guide Feature Alignment. MVRMLM@ICMR (2024)
Di Wu, Rehmat Ullah, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
EcoFed: Efficient Communication for DNN Partitioning-Based Federated Learning. IEEE Trans. Parallel Distributed Syst. 35 (3) (2024)
Bailey J. Eccles, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
DNNShifter: An efficient DNN pruning system for edge computing. Future Gener. Comput. Syst. 152 (2024)
Zihan Zhang, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
PipeLearn: Pipeline Parallelism for Collaborative Machine Learning. CoRR (2023)
Bailey J. Eccles, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
DNNShifter: An Efficient DNN Pruning System for Edge Computing. CoRR (2023)
Di Wu, Rehmat Ullah, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
Communication Efficient DNN Partitioning-based Federated Learning. CoRR (2023)
Son T. Mai, Jon Jacobsen, Sihem Amer-Yahia, Ivor T. A. Spence, Nhat-Phuong Tran, Ira Assent, Quoc Viet Hung Nguyen
Incremental Density-Based Clustering on Multicore Processors. IEEE Trans. Pattern Anal. Mach. Intell. 44 (3) (2022)
Kiril Dichev, Daniele De Sensi, Dimitrios S. Nikolopoulos, Kirk W. Cameron, Ivor T. A. Spence
Power Log'n'Roll: Power-Efficient Localized Rollback for MPI Applications Using Message Logging Protocols. IEEE Trans. Parallel Distributed Syst. 33 (6) (2022)
Rehmat Ullah, Di Wu, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
FedFly: Toward Migration in Edge-Based Distributed Federated Learning. IEEE Commun. Mag. 60 (11) (2022)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
CONTINUER: Maintaining Distributed DNN Services During Edge Failures. CoRR (2022)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
CONTINUER: Maintaining Distributed DNN Services During Edge Failures. EDGE (2022)
Di Wu, Rehmat Ullah, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning. IEEE Internet Things J. 9 (21) (2022)
Di Wu, Rehmat Ullah, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning. CoRR (2021)
Charles J. Gillan, Ivor T. A. Spence
Computing integrals for electron molecule scattering on heterogeneous accelerator systems. Concurr. Comput. Pract. Exp. 33 (5) (2021)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs. IC2E (2021)
Rehmat Ullah, Di Wu, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
FedFly: Towards Migration in Edge-based Distributed Federated Learning. CoRR (2021)
Francis McNamee, Schahram Dustdar, Peter Kilpatrick, Weisong Shi, Ivor T. A. Spence, Blesson Varghese
The Case for Adaptive Deep Neural Networks in Edge Computing. CLOUD (2021)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs. CoRR (2021)
Rachael Hagan, Charles J. Gillan, Ivor T. A. Spence, Danny McAuley, Murali Shyamsundar
Comparing regression and neural network techniques for personalized predictive analytics to promote lung protective ventilation in Intensive Care Units. Comput. Biol. Medicine 126 (2020)
Francis McNamee, Schahram Dustdar, Peter Kilpatrick, Weisong Shi, Ivor T. A. Spence, Blesson Varghese
A Case For Adaptive Deep Neural Networks in Edge Computing. CoRR (2020)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
Modelling Fog Offloading Performance. ICFEC (2020)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
Modelling Fog Offloading Performance. CoRR (2020)
Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck
Stream-Based Representation and Incremental optimization of Technical Market Indicators. HPCS (2019)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
Performance Estimation of Container-Based Cloud-to-Fog Offloading. CoRR (2019)
Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese
Performance Estimation of Container-Based Cloud-to-Fog Offloading. UCC Companion (2019)
Esha Barlaskar, Kiril Dichev, Peter Kilpatrick, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
Supporting Cloud IaaS Users in Detecting Performance-Based Violation for Streaming Applications. ICAC (2018)
Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
GPU Virtualization and Scheduling Methods: A Comprehensive Survey. ACM Comput. Surv. 50 (3) (2017)
Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
FairGV: Fair and Fast GPU Virtualization. IEEE Trans. Parallel Distributed Syst. 28 (12) (2017)
Esha Barlaskar, Peter Kilpatrick, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
Using Docker Swarm with a User-Centric Decision-Making Framework for Cloud Application Migration. CLOSER (Selected Papers) (2017)
Esha Barlaskar, Peter Kilpatrick, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
MyMinder: A User-centric Decision Making Framework for Intercloud Migration. CLOSER (2017)
Raffaele Montella, Giulio Giunta, Giuliano Laccetti, Marco Lapegna, Carlo Palmieri, Carmine Ferraro, Valentina Pelliccia, Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
On the Virtualization of CUDA Based GPU Remoting on ARM and X86 Machines in the GVirtuS Framework. Int. J. Parallel Program. 45 (5) (2017)
Giorgis Georgakoudis, Charles J. Gillan, Ahmed Sayed, Ivor T. A. Spence, Richard Faloon, Dimitrios S. Nikolopoulos
Methods and metrics for fair server assessment under real-time financial workloads. Concurr. Comput. Pract. Exp. 28 (3) (2016)
Paul Harvey, Konstantin Bakanov, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform. ROSS@HPDC (2016)
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
NanoStreams: Codesigned microservers for edge analytics in real time. SAMOS (2016)
Giorgis Georgakoudis, Charles Gillan, Ahmed Sayed, Ivor T. A. Spence, Richard Faloon, Dimitrios S. Nikolopoulos
Iso-Quality of Service: Fairly Ranking Servers for Real-Time Data Analytics. Parallel Process. Lett. 25 (3) (2015)
Giorgis Georgakoudis, Charles J. Gillan, Ahmed Sayed, Ivor T. A. Spence, Richard Faloon, Dimitrios S. Nikolopoulos
Methods and Metrics for Fair Server Assessment under Real-Time Financial Workloads. CoRR (2015)
Giorgis Georgakoudis, Charles J. Gillan, Ahmed Sayed, Ivor T. A. Spence, Richard Faloon, Dimitrios S. Nikolopoulos
Iso-Quality of Service: Fairly Ranking Servers for Real-Time Data Analytics. CoRR (2015)
Ivor T. A. Spence
Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks. ACM J. Exp. Algorithmics 20 (2015)
Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck, Charles J. Gillan
Rigorous specification and low-latency implementation of technical market indicators. PPAA@PPoPP (2014)
Charles J. Gillan, Dimitrios S. Nikolopoulos, Giorgis Georgakoudis, Richard Faloon, George Tzenakis, Ivor T. A. Spence
On the viability of microservers for financial analytics. WHPCF@SC (2014)
Charles J. Gillan, Thomas Steinke, J. Bock, S. Borchert, Ivor T. A. Spence, N. Stanley Scott
Comparing the implementation of two-dimensional numerical quadrature on GPU, FPGA and ClearSpeed systems to study electron scattering by atoms. Concurr. Comput. Pract. Exp. 24 (1) (2012)
Ivor T. A. Spence
sgen1: A generator of small but difficult satisfiability benchmarks. ACM J. Exp. Algorithmics 15 (2010)
Allen Van Gelder, Ivor T. A. Spence
Zero-One Designs Produce Small Hard SAT Instances. SAT (2010)
Charles J. Gillan, Thomas Steinke, J. Bock, S. Borchert, Ivor T. A. Spence, N. Stanley Scott
Programming Challenges for the Implementation of Numerical Quadrature in Atomic Physics on FPGA and GPU Accelerators. CCGRID (2010)
Mathias Fritzsche, Wasif Gilani, Michael Thiele, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick
A Scalable Approach to Annotate Arbitrary Modelling Languages. Modellierung (2010)
Mathias Fritzsche, Michael Picht, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick
Extending BPM Environments of Your Choice with Performance Related Decision Support. BPM (2009)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, Thomas Brown, Charles Gillan
A Multiple Views Model for Variability Management in Software Product Lines. VaMoS (2008)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche
ALI: An Extensible Architecture Description Language for Industrial Applications. ECBS (2008)
Ivor T. A. Spence
tts: A SAT-Solver for Small, Difficult Instances. J. Satisf. Boolean Model. Comput. 4 (2-4) (2008)
Rabih Bashroush, Ivor T. A. Spence
An Extensible ADL for Service-Oriented Architectures. ISD (2008)
Mathias Fritzsche, Jendrik Johannes, Uwe Aßmann, Simon Mitschke, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick
Systematic Usage of Embedded Modelling Languages in Automated Model Transformation Chains. SLE (2008)
Mathias Fritzsche, Wasif Gilani, Christoph Fritzsche, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
Towards Utilizing Model-Driven Engineering of Composite Applications for Business Performance Analysis. ECMDA-FA (2008)
Mathias Fritzsche, Wasif Gilani, Ivor T. A. Spence, T. John Brown, Peter Kilpatrick, Rabih Bashroush
Towards Performance Related Decision Support for Model Driven Engineering of Enterprise SOA Applications. ECBS (2008)
Charles Gillan, Peter Kilpatrick, Ivor T. A. Spence, T. John Brown, Rabih Bashroush, Rachel Gawley
Challenges in the Application of Feature Modelling in Fixed Line Telecommunications. VaMoS (2007)
T. John Brown, Rachel Gawley, Ivor T. A. Spence, Peter Kilpatrick, Charles Gillan, Rabih Bashroush
Requirements Modelling and Design Notations for Software Product Lines. VaMoS (2007)
T. John Brown, Rachel Gawley, Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, Charles Gillan
Weaving Behavior into Feature Models for Embedded System Families. SPLC (2006)
Charles J. Gillan, A. Schuchinsky, Ivor T. A. Spence
Computing zeros of analytic functions in the complex plane without using derivatives. Comput. Phys. Commun. 175 (4) (2006)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
Towards More Flexible Architecture Description Languages for Industrial Applications. EWSA (2006)
T. John Brown, Rabih Bashroush, Charles Gillan, Ivor T. A. Spence, Peter Kilpatrick
Feature-Guided Architecture Development for Embedded System Families. WICSA (2005)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
A generic reference software architecture for load balancing over mirrored Web servers: NaSr case study. AICCSA (2005)
Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick
ADLARS: An Architecture Description Language for Software Product Lines. SEW (2005)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
Using the NaSr architectural style to solve the broken hyperlink problem. IASTED Conf. on Software Engineering and Applications (2004)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
Towards an automated evaluation process for software architectures. IASTED Conf. on Software Engineering (2004)
Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown
A Network Architectural Style for Real-time Systems: NaSr. WICSA (2004)
Ian McRitchie, T. John Brown, Ivor T. A. Spence
A Java framework for the static reflection, composition and synthesis of software components. PPPJ (2003)
Ian McRitchie, T. John Brown, Ivor T. A. Spence
Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation. PFE (2003)
T. John Brown, Ivor T. A. Spence, Peter Kilpatrick
A Relational Architecture Description Language for Software Families. PFE (2003)
T. John Brown, Ivor T. A. Spence, Peter Kilpatrick, Danny Crookes
Adaptable Components for Software Product Line Engineering. SPLC (2002)
T. John Brown, Ivor T. A. Spence, Peter Kilpatrick
Mixin programming in Java with reflection and dynamic invocation. PPPJ/IRE (2002)
David Maley, Ivor T. A. Spence
But Who Will Guard the Guardians? TOOLS (34) (2000)
David Maley, Ivor T. A. Spence
Config: a case study in combining software engineering techniques. Sci. Program. 8 (2) (2000)
Philip J. Morrow, Danny Crookes, T. John Brown, Gareth McAleese, D. K. Roantree, Ivor T. A. Spence
Efficient implementation of a portable parallel programming model for image processing. Concurr. Pract. Exp. 11 (11) (1999)
David Maley, Ivor T. A. Spence
Emulating Design by Contract in C++. TOOLS (29) (1999)
Danny Crookes, Judy Brown, Ivor T. A. Spence, Philip J. Morrow, D. K. Roantree, Gareth McAleese
An efficient, portable software platform for parallel image processing. PDP (1998)
Danny Crookes, Philip J. Morrow, T. John Brown, Gareth McAleese, D. K. Roantree, Ivor T. A. Spence
Achieving Portability and Efficiency Through Automatic Optimisation: An Investigation in Parallel Image Processing. Euro-Par (1998)
Ivor T. A. Spence
Specification for Testing - The Removal of Abstraction. Softw. Test. Verification Reliab. 8 (1) (1998)
Philip J. Morrow, Danny Crookes, Judy Brown, Y. Dong, Gareth McAleese, D. K. Roantree, Ivor T. A. Spence
Achieving Scalability, Portability and Efficiency in a High-Level Programming Model for Parallel Architectures. UK Parallel (1996)
Danny Crookes, T. John Brown, Y. Dong, Gareth McAleese, Philip J. Morrow, D. K. Roantree, Ivor T. A. Spence
A Self-Optimising Coprocessor Model for Portable Image Processing. Euro-Par, Vol. II (1996)
Ivor T. A. Spence
Displaying digital images in a distributed processing environment. Microprocess. Microsystems 18 (2) (1994)
Ivor T. A. Spence, B. N. Carey
Customers do not want frozen specifications. Softw. Eng. J. 6 (4) (1991)

Ivor T. A. Spence.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ivor T. A. Spence