Search
Now showing items 1-4 of 4
Time-adaptive dynamic software reconfiguration for embedded software
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)
Integrated Intra-HAN and Inter-HAN service interoperability
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2011)
Probabilistic program verification in the style of the unifying theories of programming
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013)
A convex optimisation approach to optimal control in queueing systems
(Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2017)