Ivor Spence
Ivor Spence
Senior Lecturer in Computer Science, Queens University Belfast
Verified email at qub.ac.uk
Cited by
Cited by
GPU virtualization and scheduling methods: A comprehensive survey
CH Hong, I Spence, DS Nikolopoulos
ACM Computing Surveys (CSUR) 50 (3), 1-37, 2017
Adlars: An architecture description language for software product lines
R Bashroush, TJ Brown, I Spence, P Kilpatrick
29th Annual IEEE/NASA Software Engineering Workshop, 163-173, 2005
Computing zeros of analytic functions in the complex plane without using derivatives
CJ Gillan, A Schuchinsky, I Spence
Computer physics communications 175 (4), 304-313, 2006
Extending BPM environments of your choice with performance related decision support
M Fritzsche, M Picht, W Gilani, I Spence, J Brown, P Kilpatrick
International Conference on Business Process Management, 97-112, 2009
Weaving behavior into feature models for embedded system families
TJ Brown, R Gawley, R Bashroush, I Spence, P Kilpatrick, C Gillan
10th International Software Product Line Conference (SPLC'06), 52-61, 2006
On the virtualization of CUDA based GPU remoting on ARM and X86 machines in the GVirtuS framework
R Montella, G Giunta, G Laccetti, M Lapegna, C Palmieri, C Ferraro, ...
International Journal of Parallel Programming 45 (5), 1142-1163, 2017
Efficient implementation of a portable parallel programming model for image processing
PJ Morrow, D Crookes, J Brown, G McAleese, D Roantree, I Spence
Concurrency: Practice and Experience 11 (11), 671-685, 1999
Towards utilizing model-driven engineering of composite applications for business performance analysis
M Fritzsche, W Gilani, C Fritzsche, I Spence, P Kilpatrick, J Brown
European Conference on Model Driven Architecture-Foundations and …, 2008
sgen1: A generator of small but difficult satisfiability benchmarks
I Spence
Journal of Experimental Algorithmics (JEA) 15, 1.1-1.15, 2010
Zero-one designs produce small hard SAT instances
A Van Gelder, I Spence
International Conference on Theory and Applications of Satisfiability …, 2010
Towards more flexible architecture description languages for industrial applications
R Bashroush, I Spence, P Kilpatrick, J Brown
European Workshop on Software Architecture, 212-219, 2006
Adaptable components for software product line engineering
TJ Brown, I Spence, P Kilpatrick, D Crookes
International Conference on Software Product Lines, 154-175, 2002
Systematic usage of embedded modelling languages in automated model transformation chains
M Fritzsche, J Johannes, U Aßmann, S Mitschke, W Gilani, I Spence, ...
International Conference on Software Language Engineering, 134-150, 2008
Ali: An extensible architecture description language for industrial applications
R Bashroush, I Spence, P Kilpatrick, TJ Brown, W Gilani, M Fritzsche
15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008
FairGV: Fair and fast GPU virtualization
CH Hong, I Spence, DS Nikolopoulos
IEEE Transactions on Parallel and Distributed Systems 28 (12), 3472-3485, 2017
A multiple views model for variability management in software product lines
R Bashroush, I Spence, P Kilpatrick, J Brown, C Gillan
Proceedings of the Second International Workshop on Variability Modelling of …, 2008
Refounding software engineering: The Semat initiative (Invited presentation)
M Kajko-Mattsson, M Striewe, M Goedicke, I Jacobson, I Spence, ...
2012 34th International Conference on Software Engineering (ICSE), 1649-1650, 2012
Challenges in the application of feature modelling in fixed line telecommunications
C Gillan, P Kilpatrick, I Spence, TJ Brown, R Bashroush, R Gawley
Proceedings of the First International Workshop on Variability Modelling of …, 2007
Towards an automated evaluation process for software architectures
R Bashroush, I Spence, P Kilpatrick, J Brown
Methods and metrics for fair server assessment under real‐time financial workloads
G Georgakoudis, CJ Gillan, A Sayed, I Spence, R Faloon, ...
Concurrency and Computation: Practice and Experience 28 (3), 916-928, 2016
The system can't perform the operation now. Try again later.
Articles 1–20