Browsing Computer Science (PhD Theses) by Sponsor "Science Foundation Ireland"

Sort by: Order: Results:

Now showing items 1-4 of 4

  • A convex optimisation approach to optimal control in queueing systems 

    Valls, Víctor (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2017)
    Convex optimisation and max-weight are central topics in networking and control, and having a clear understanding of their relationship and what this involves is crucial from a theoretical and practical point of view. In ...

  • Integrated Intra-HAN and Inter-HAN service interoperability 

    Etzioni, Zohar (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2011)
    In recent years the Home Area Network (HAN) has been going through a revolution. From enabling multiple desktops in the household to share an Internet connection, it evolved as a service-oriented platform, enabling devices ...

  • Probabilistic program verification in the style of the unifying theories of programming 

    Bresciani, Riccardo (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2013)
    We present a novel framework to reason on programs based on probability distributions on the state space of a program: they are functions from program states to real numbers in the range [0..1], which can be used to represent ...

  • Time-adaptive dynamic software reconfiguration for embedded software 

    Fritsch, Serena (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)
    Reactive embedded systems, such as sensor nodes, or real-time control systems, are embedded into and interact with a physical environment for controlling and measuring purposes. When deployed in environments with changing ...