Sort by: Order: Results:

Now showing items 95-114 of 249

  • Fault localization in Distributed Adaptive Systems 

    Raj, Amit (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016)
    Modern systems that execute in ubiquitous environments must be adaptive in order to maintain an acceptable quality of service. As in traditional distributed systems, faults in such systems are likely to propagate across ...
  • Fibrations of predicates and bicategories of relations 

    Lawler, Finn (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    We reconcile the two different category-theoretic semantics of regular theories in predicate logic. A 2-category of regular fibrations is constructed, as well as a 2-category of regular proarrow equipments, and ...
  • Formal polytypic programs and proofs 

    Verbruggen, Wilhelmina Johanna (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)
    Polytypic or datatype-generic programming is a form of generic programming where we abstract over the shape of datatypes: we define functions by induction over the structure of datatypes. In this thesis we show how to ...
  • Formalising a real-time coordination model 

    Bhandal, Colm (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2015)
    The subject of this thesis pertains to coordination in systems of entities characterised by mobile, real-time behaviour and unreliable communication over a wireless network. Such systems are now being deployed both in ...
  • Formalising Human Mental Workload as a Defeasible Computational Concept 

    LONGO, LUCA (Trinity College Dublin, 2014)
    Human mental workload has gained importance, in the last few decades, as a fundamental design concept in human-computer interaction. It can be intuitively defined as the amount of mental work necessary for a person to ...
  • Foundations for semantically enhanced component trading : a component type model 

    Terzis, Sotirios (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2005)
    This thesis introduces the notion of Semantically Enhanced Component Trading (SECT) in order to bring the notion of service discovery, widely used in large-scale networked and distributed systems, into the domain of ...
  • Foundations of ad hoc wireless networks 

    Cerone, Andrea (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2012)
    In this thesis we implement different process calculi to model ad hoc wireless networks. Each of these calculi considers different features of wireless systems, which are selected by focusing on the kind of applications ...
  • FPGA message passing cluster architectures 

    Creedon, Eoin (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2010)
    This work investigates inter-Field Programmable Gate Array (FPGA) communication mechanisms, specifically the use of message passing and switched Ethernet communication mechanisms. Inter-FPGA communication is required in ...
  • Generating sentiment lexica : evaluating approaches with genetic algorithms and particle swarm optimization 

    Daly, Nicholas (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    This thesis examines the application of sentiment analysis towards financial news. The primary goal within the field of sentiment analysis is to develop a methodology by which the sentiment or emotional view being expressed ...
  • Genetic Programming Bias with Software Performance Analysis 

    Cody-Kenny, Brendan
    The complexities of modern software systems make their engineering costly and time consuming. This thesis explores and develops techniques to improve software by automating re-design. Source code can be randomly modified ...
  • Global-driven service composition in mobile and pervasive computing 

    Chen, Nanxi (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2016)
    Pervasive computing environments enable access to diverse resources and services over networked computing systems. Mobile systems have the potential to be very active participants in such environments as resource providers, ...
  • Good reasons for noting bad grammar : empirical investigations into the parsing of ungrammatical written English 

    Foster, Jennifer (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2005)
    This thesis is concerned with the parsing of ungrammatical written English sentences. Over a period of eighteen months, a 20,000 word corpus was developed which consists of ungrammatical sentences which were noticed ...
  • Group communication for cooperative automated vehicles 

    Slot, Martin Cornelis Frederik (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    The automotive industry has increasingly adopted computer technology to enhance the safety and efficiency of vehicles. Using sensors and electronic control systems, vehicles can become partially or fully automated, taking ...
  • Hard real-time communication for mobile ad hoc networks 

    Hughes, Barbara (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2007)
    The increasing availability of wireless local area networking, particularly ad hoc networking, has lead to the evolution of new application domains, such as inter-vehicle communication and communication between autonomous ...
  • Hardware support for power and area efficient construction of high-quality bounding volume hierarchies 

    Doyle, Michael J. (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    Rendering methods basal on ray-tracing hold the promise of great realism for interactive applications. However, these algorithms still involve a considerable computational cost relative to the capabilities of today�۪s ...
  • High performance scientific computing using FPGAs for lattice QCD 

    Callanan, Owen (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2007)
    The recent development of large FPGAs combined with the availability of a variety of FPGA-based non-integer arithmetic cores has made it possible to implement high performance matrix kernel operations on FPGAs. This thesis ...
  • Hybrid feature-based transform coding of grey-level images 

    Fox, Ivan (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2001)
    The objective of image compression is to achieve the minimum possible bit-rate, within certain bounds of computational complexity, and with a tolerable degree of distortion. In very low bit-rate coding it is generally ...
  • Hybrid representations and perceptual metrics for scalable human simulation 

    Dobbyn, Simon (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2006)
    The simulation of large crowds of humans is important in many fields of computer graphics, including real-time applications such as games, as they can breathe life into otherwise static scenes and enhance believability. ...
  • A Hybrid Software and Hardware System for Collision Detection 

    Woulfe, Muiris (University of Dublin, Trinity College, University of Dublin, Trinity College, 2010)
    Collision detection is a fundamental problem in myriad applications, spanning a wide variety of fields. Although the core concept is relatively straightforward, significant complexities result from the demand for interactive ...
  • Identification and interpretation of figurative language with computational semantic models 

    Gerow, Aaron (Trinity College (Dublin, Ireland). School of Computer Science & Statistics, 2014)
    This thesis is about the automatic extraction of metaphors as they appear in English text. This task is important to research in information retrieval, corpus linguistics and computational linguistics. The work was ...