Ivor Spence
Ivor Spence
Senior Lecturer in Computer Science, Queens University Belfast
Verifierad e-postadress på qub.ac.uk
TitelCiteras avÅr
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
342005
GPU virtualization and scheduling methods: A comprehensive survey
CH Hong, I Spence, DS Nikolopoulos
ACM Computing Surveys (CSUR) 50 (3), 35, 2017
312017
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
282006
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
262009
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
252006
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
251999
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
232008
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
202017
Zero-one designs produce small hard SAT instances
A Van Gelder, I Spence
International Conference on Theory and Applications of Satisfiability …, 2010
202010
sgen1: A generator of small but difficult satisfiability benchmarks
I Spence
Journal of Experimental Algorithmics (JEA) 15, 1.2, 2010
202010
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
182006
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
172008
Adaptable components for software product line engineering
TJ Brown, I Spence, P Kilpatrick, D Crookes
International Conference on Software Product Lines, 154-175, 2002
162002
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
142008
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
132008
Towards an automated evaluation process for software architectures
R Bashroush, I Spence, P Kilpatrick, J Brown
132004
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
122012
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
122007
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
102016
tts: A SAT-solver for small, difficult instances
I Spence
Journal on Satisfiability, Boolean Modeling and Computation 4, 173-190, 2008
102008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20