Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 155 for “"Communication Protocols"”.
-
Multi-agent Communication Protocols with Emergent Behaviour
… A critical part of interaction between agents is communication. This thesis presents a multi-agent system communication model for physical moving agents. The work presented in this thesis provides all the tools to create a physical multi-agent communication system. The model integrates different …
-
Improvements on handling design errors in communication protocols.
… of the Internet and distributed systems, communication protocols play a more and more important role. The correctness of the design of these communication protocols becomes crucial especially when critical applications are concerned. Common logical design errors in communication protocols …
-
Efficient Communication Protocols for Underwater Acoustic Sensor Networks
… fundamental key aspects of underwater acoustic communications, propose communication architectures for UW-ASNs, and develop efficient sensor communication protocols tailored for the underwater environment. Specifically, different deployment strategies for UW-ASNs are studied, and statistical …
-
Safe and Efficient Communication Protocols for Platooning Control
… it involves control theory, vehicle dynamics, communication, and traffic engineering. In this thesis we are mostly concerned with the communication aspects of this application, which is fundamental for making the vehicles cooperate, improving the efficiency of the application with respect to a …
-
Directed search for the verification of communication protocols
There is a need for formal methods to verify correctness of software <br>and hardware systems. Automated verification techniques basically <br>explore the state space of a system in order to establish whether or <br>not it behaves correctly. The main drawback of such methods is the state explosion …
-
Performance modelling and enhancement of wireless communication protocols
… Area Networks(WLANs) play a key role in the data communications and networking areas, having witnessed significant research and development. WLANs are extremely popular being almost everywhere including business,office and home deployments.In order to deal with the modem Wireless connectivity …
-
Fault Tolerant Bus Communication Protocols for Computer Systems
Bus systems form the communication medium for computers, and a great deal of effort has been devoted to detecting errors which occur as information is transferred from one module to another. In this thesis we look at the problem of not only detecting faults which occur, but continuing to function …
-
Biology-informed communication protocols for bio-molecular networks
Submission published under a 24 month embargo labeled 'Closed Access', the embargo will last until 2026-12-01
-
PCPs for Arthur-Merlin games and communication protocols
… in two new settings: Arthur-Merlin games and communication protocols. In the first part of the thesis, we give a 'PCP characterization' of AM analogous to the PCP Theorem for NP. Similar characterizations have been given for higher levels of the Polynomial Hierarchy, and for PSPACE; however, …
-
Innovative communication protocols for teaching in rural secondary schools
… key barriers to the effective use of innovative communication protocols, which include ICT in the rural classroom. This has policy implications for the department of higher education in terms of human resource development and the provision of appropriate logistics.
-
High-Performance Communication Protocols for Asynchronous Duty-Cycling Wireless Networks
… discovery. This thesis presents a series of protocols to address these challenges. The first part of this thesis presents a new single-channel energy-efficient MAC protocol, called the Predictive-Wakeup MAC (PW-MAC). The key idea behind PW-MAC is to allow each node to wake up asynchronously …
-
Message Paths: An Approach to the Specification of Communication Protocols
Made available in DSpace on 2014-12-13T18:02:12Z (GMT). No. of bitstreams: 1 8009065.pdf: 4416642 bytes, checksum: 152ce0bc51bc16de19440b43ce6fadd4 (MD5) Previous issue date: 1979
-
Polymorphic types for constructing concurrent objects and layered communication protocols
… concurrent objects and layered peer-to-peer communication protocols, both of which exhibit inherently asynchronous behavior. The type abstractions are shown to be both expressive and efficient in the context of a statically typed object-oriented language. Where appropriate, the utility of the …
-
An Automated Test Station Design Used to Verify Aircraft Communication Protocols
… customized to verify a wide range of avionics communication characteristics.</p> </p>
-
A metric-based theory of test selection and coverage for communication protocols
… for the control behaviour space of network protocols generated by many concurrent and highly recursive network connections. This objective is accomplished in a series of steps. First, a metric-based theory is developed which introduces a rigorous mathematical treatment of the discipline of …
-
Design and Performance Evaluation of Network-on-Chip Communication Protocols and Architectures
The scale down of transistor technology allows microelectronics manufacturers such as Intel and IBM to build always more sophisticated systems on a single microchip. The classical interconnection solutions based on shared buses or direct connections between the modules of the chip are becoming …
-
Performance Analysis of Cluster Based Communication Protocols for Energy Efficient Wireless Sensor Networks. Design, Analysis and Performance Evaluation of Communication Protocols under Various Topologies to Enhance the Lifetime of Wireless Sensor Networks.
… and receiving data, processing data, and communication overheads. Since the sensor nodes behave as router nodes for data propagation, of the other sensor nodes to the base station, network connectivity decreases gradually. This may result in disconnected sub networks of sensor nodes. In …
-
Communication protocols, queuing and scheduling delay analysis in CANDU SCWR hydrogen co-generation model
… Control Systems (NCSs) are controlled over a communication network. We study a continuous-time CANada Deuterium Uranium-Super Critical Water Reactor (CANDU-SCWR) hydrogen plant and a discrete-time controller, sensor and actuator block, that are connected via a communication network, such as …
-
A general purpose State Architecture Simulator for discrete systems with application in data communication protocols
<p>The increasing practical importance of data communications and computer networking has generated a noticeable amount of research on formal methods to support the design, specification, validation, simulation, and implementation of data communication protocol systems;This dissertation presents a …
Page 1 of 8