![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Ivor T. A. Spence
Person information
- affiliation: Queen's University Belfast, UK
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j23]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: 43-54 (2024) - [j22]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): 377-390 (2024) - 2023
- [c45]Kyle Boyd
, Patrick McAllister
, Maurice D. Mulvenna
, Raymond R. Bond
, Hui Wang
, Ivor T. A. Spence
, Guanfeng Wu
, Abbas Haider
:
Designing Multimodal Video Search by Examples (MVSE) user interfaces: UX requirements elicitation and insights from semi-structured interviews. ECCE 2023: 4:1-4:8 - [i12]Zihan Zhang, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
PipeLearn: Pipeline Parallelism for Collaborative Machine Learning. CoRR abs/2302.12803 (2023) - [i11]Di Wu, Rehmat Ullah
, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
Communication Efficient DNN Partitioning-based Federated Learning. CoRR abs/2304.05495 (2023) - [i10]Bailey J. Eccles
, Philip Rodgers, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
DNNShifter: An Efficient DNN Pruning System for Edge Computing. CoRR abs/2309.06973 (2023) - 2022
- [j21]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): 42-48 (2022) - [j20]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): 20889-20901 (2022) - [j19]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): 1338-1356 (2022) - [j18]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): 1276-1288 (2022) - [c44]Ayesha Abdul Majeed
, Peter Kilpatrick
, Ivor T. A. Spence, Blesson Varghese:
CONTINUER: Maintaining Distributed DNN Services During Edge Failures. EDGE 2022: 143-152 - [i9]Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
CONTINUER: Maintaining Distributed DNN Services During Edge Failures. CoRR abs/2206.05267 (2022) - 2021
- [j17]Charles J. Gillan
, Ivor T. A. Spence:
Computing integrals for electron molecule scattering on heterogeneous accelerator systems. Concurr. Comput. Pract. Exp. 33(5) (2021) - [c43]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: 43-52 - [c42]Ayesha Abdul Majeed
, Peter Kilpatrick
, Ivor T. A. Spence, Blesson Varghese:
NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs. IC2E 2021: 118-125 - [i8]Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
NEUKONFIG: Reducing Edge Service Downtime When Repartitioning DNNs. CoRR abs/2106.15689 (2021) - [i7]Di Wu, Rehmat Ullah
, Paul Harvey, Peter Kilpatrick
, Ivor T. A. Spence, Blesson Varghese:
FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning. CoRR abs/2107.04271 (2021) - [i6]Rehmat Ullah, Di Wu, Paul Harvey, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
FedFly: Towards Migration in Edge-based Distributed Federated Learning. CoRR abs/2111.01516 (2021) - 2020
- [j16]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: 104030 (2020) - [c41]Ayesha Abdul Majeed
, Peter Kilpatrick
, Ivor T. A. Spence, Blesson Varghese:
Modelling Fog Offloading Performance. ICFEC 2020: 29-38 - [i5]Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
Modelling Fog Offloading Performance. CoRR abs/2002.05531 (2020) - [i4]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 abs/2008.01814 (2020)
2010 – 2019
- 2019
- [c40]Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck:
Stream-Based Representation and Incremental optimization of Technical Market Indicators. HPCS 2019: 833-841 - [c39]Ayesha Abdul Majeed
, Peter Kilpatrick
, Ivor T. A. Spence, Blesson Varghese:
Performance Estimation of Container-Based Cloud-to-Fog Offloading. UCC Companion 2019: 151-156 - [i3]Ayesha Abdul Majeed, Peter Kilpatrick, Ivor T. A. Spence, Blesson Varghese:
Performance Estimation of Container-Based Cloud-to-Fog Offloading. CoRR abs/1909.04945 (2019) - 2018
- [c38]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: 163-168 - 2017
- [j15]Cheol-Ho Hong, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
:
GPU Virtualization and Scheduling Methods: A Comprehensive Survey. ACM Comput. Surv. 50(3): 35:1-35:37 (2017) - [j14]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): 1142-1163 (2017) - [j13]Cheol-Ho Hong
, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
:
FairGV: Fair and Fast GPU Virtualization. IEEE Trans. Parallel Distributed Syst. 28(12): 3472-3485 (2017) - [c37]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: 81-101 - [c36]Esha Barlaskar, Peter Kilpatrick, Ivor T. A. Spence, Dimitrios S. Nikolopoulos:
MyMinder: A User-centric Decision Making Framework for Intercloud Migration. CLOSER 2017: 560-567 - 2016
- [j12]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): 916-928 (2016) - [c35]Paul Harvey
, Konstantin Bakanov, Ivor T. A. Spence, Dimitrios S. Nikolopoulos
:
A Scalable Runtime for the ECOSCALE Heterogeneous Exascale Hardware Platform. ROSS@HPDC 2016: 7:1-7:8 - [c34]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: 180-187 - 2015
- [j11]Ivor T. A. Spence:
Weakening Cardinality Constraints Creates Harder Satisfiability Benchmarks. ACM J. Exp. Algorithmics 20: 1.4:1-1.4:14 (2015) - [j10]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): 1541004:1-1541004:17 (2015) - [i2]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 abs/1501.00048 (2015) - [i1]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 abs/1501.03481 (2015) - 2014
- [c33]Konstantin Bakanov, Ivor T. A. Spence, Hans Vandierendonck
, Charles J. Gillan:
Rigorous specification and low-latency implementation of technical market indicators. PPAA@PPoPP 2014: 43-52 - [c32]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: 29-36 - 2012
- [j9]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): 84-95 (2012) - 2010
- [j8]Ivor T. A. Spence:
sgen1: A generator of small but difficult satisfiability benchmarks. ACM J. Exp. Algorithmics 15 (2010) - [c31]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: 757-762 - [c30]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: 301-318 - [c29]Allen Van Gelder, Ivor T. A. Spence:
Zero-One Designs Produce Small Hard SAT Instances. SAT 2010: 388-397
2000 – 2009
- 2009
- [c28]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: 97-112 - 2008
- [j7]Ivor T. A. Spence:
tts: A SAT-Solver for Small, Difficult Instances. J. Satisf. Boolean Model. Comput. 4(2-4): 173-190 (2008) - [c27]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: 57-65 - [c26]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: 297-304 - [c25]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: 369-380 - [c24]Rabih Bashroush, Ivor T. A. Spence:
An Extensible ADL for Service-Oriented Architectures. ISD 2008: 227-237 - [c23]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: 134-150 - [c22]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: 101-110 - 2007
- [c21]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: 27-35 - [c20]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: 141-148 - 2006
- [j6]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): 304-313 (2006) - [c19]Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown:
Towards More Flexible Architecture Description Languages for Industrial Applications. EWSA 2006: 212-219 - [c18]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: 52-64 - 2005
- [c17]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: 132 - [c16]Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick:
ADLARS: An Architecture Description Language for Software Product Lines. SEW 2005: 163-173 - [c15]T. John Brown, Rabih Bashroush, Charles Gillan, Ivor T. A. Spence, Peter Kilpatrick
:
Feature-Guided Architecture Development for Embedded System Families. WICSA 2005: 223-226 - 2004
- [c14]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: 54-58 - [c13]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: 139-143 - [c12]Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown:
A Network Architectural Style for Real-time Systems: NaSr. WICSA 2004: 321-324 - 2003
- [c11]Ian McRitchie, T. John Brown, Ivor T. A. Spence:
Managing Component Variability within Embedded Software Product Lines via Transformational Code Generation. PFE 2003: 98-110 - [c10]T. John Brown, Ivor T. A. Spence, Peter Kilpatrick:
A Relational Architecture Description Language for Software Families. PFE 2003: 282-295 - [c9]Ian McRitchie, T. John Brown, Ivor T. A. Spence:
A Java framework for the static reflection, composition and synthesis of software components. PPPJ 2003: 19-20 - 2002
- [c8]T. John Brown, Ivor T. A. Spence, Peter Kilpatrick:
Mixin programming in Java with reflection and dynamic invocation. PPPJ/IRE 2002: 25-34 - [c7]T. John Brown, Ivor T. A. Spence, Peter Kilpatrick, Danny Crookes:
Adaptable Components for Software Product Line Engineering. SPLC 2002: 154-175 - 2000
- [j5]David Maley, Ivor T. A. Spence:
Config: a case study in combining software engineering techniques. Sci. Program. 8(2): 59-71 (2000) - [c6]David Maley, Ivor T. A. Spence:
But Who Will Guard the Guardians? TOOLS (34) 2000: 227-238
1990 – 1999
- 1999
- [j4]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): 671-685 (1999) - [c5]David Maley, Ivor T. A. Spence:
Emulating Design by Contract in C++. TOOLS (29) 1999: 66-75 - 1998
- [j3]Ivor T. A. Spence:
Specification for Testing - The Removal of Abstraction. Softw. Test. Verification Reliab. 8(1): 3-14 (1998) - [c4]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: 102-112 - [c3]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: 237-242 - 1996
- [c2]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: 213-216 - [c1]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: 29-39 - 1994
- [j2]Ivor T. A. Spence:
Displaying digital images in a distributed processing environment. Microprocess. Microsystems 18(2): 95-99 (1994) - 1991
- [j1]Ivor T. A. Spence, B. N. Carey:
Customers do not want frozen specifications. Softw. Eng. J. 6(4): 175-180 (1991)
1980 – 1989
- 1984
- [b1]Ivor T. A. Spence:
Automatic production of code generators. Queen's University Belfast, UK, 1984
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 21:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint