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 6 of 6 for “"Deadlock Avoidance"”.
-
An evaluation of Fugu's network deadlock avoidance solution
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
-
Parallel acceleration of deadlock detection and avoidance algorithms on GPUs
… contention comes the risk of encountering a deadlock status in the system. Various software and hardware approaches exist that implement deadlock detection/avoidance techniques; however, they lack either the speed or problem size capability needed for real-time systems. The research conducted …
-
Scalable agent-based HPC simulation of cell physics and signalling with real-time user interactions
… verification, real-time user interactions, and deadlock avoidance. We use two commodity HPC systems, ARCHER and ARCHER2 where we simulate up to 256 million agents (one million cells) and record a good response time overhead of ≃350ms from the issued user events. The approach is viable and can be …
-
Generating informative paths for persistent sensing in unknown environments
… trajectories. We develop collision and deadlock avoidance algorithms and quantify the impact of avoiding collision on the overall stability of the persistent sensing task. Simulated and experimental results support the proposed approach.
-
The Synchronized Filtering Dataflow
… data streams are synchronized, applications can deadlock due to empty and full channel buffers.</p><p>To avoid deadlocks and ensure bounded-memory execution, we turn to model-based approaches. In this dissertation, we propose the synchronized filtering dataflow (SFDF) to model synchronization and …
-
A Petri net-occam based methodology for the development of dependable distributed control software.
… or tolerate them, and although less flexible, avoidance is often simpler to implement. There is a need for a tool which overcomes many of these complexities, and this thesis discusses and defines such a tool in the form of a methodology. The novelty of the work is in the combination of the core …