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

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 ...