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 16 of 16 for “"Concurrent software"”.
-
Efficient Symbolic Execution of Concurrent Software
Concurrent software has been widely utilizing in computer systems owing to the highly efficient computation. However, testing and verifying concurrent software remain challenging tasks. This matter is not only because of the non-deterministic thread interferences which are hard to reason about but …
-
Runtime Verification and Debugging of Concurrent Software
Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily life but also many critical applications. As the computational power of multi-core processors and other parallel hardware keeps increasing, concurrent …
-
A design environment for deadlock-free concurrent software
Using current software engineering technology, the robustness required for safety critical software is not assurable. However, different approaches are possible which can help to assure software robustness to some extent. For achieving high reliability software, methods should be adopted which …
-
Effective Heuristic-based Test Generation Techniques for Concurrent Software
With the increasing dependency on software systems, we require them to be reliable and correct. Software testing is the predominant approach in industry for finding software errors. There has been a great advance in testing sequential programs throughout the past decades. Several techniques have …
-
A highly concurrent software-based sector cache for GPU orchestrated storage access
This Thesis was approved for publication on 2022-07-18 at 17:02.
-
The design and implementation of CHITRA92, a system to empirically model concurrent software performance
With parallel and distributed computing entering the mainstream of computer science, it is important to ensure that parallel application codes are optimized to achieve the best possible performance. This thesis describes the design and implementation of CHITRA92, the second generation of a …
-
Identification and annotation of concurrency design patterns in Java source code using static analysis.
Concurrent software is quickly becoming a very important facet in Software Engineering due to numerous advantages, one of which is increased processing speed. Despite it's importance, concurrent software is fraught with very difficult to detect bugs, for example deadlocks and data races. …
-
A software system implementation guide and system prototyping facility for the MCORTEX executive on the real time cluster.
… modeling of the temporal structure of real time, concurrent software systems on a parallel processor architecture. The hierarchical bus parallel processor architecture, call the Real Time Cluster Star (RTC*), is the hardware on which an executive operating system, the Extended Multi-COmputer Real …
-
Dynamic Invariant Generation for Concurrent Programs
… regions and diagnose concurrency errors in the software code. Although existing methods for dynamic invariant generation perform reasonably well on sequential programs, for multithreaded programs, their effectiveness often reduces dramatically in terms of both the number of invariants that they …
-
Random search of AND-OR graphs representing finite-state models
… checking tools have been effective in testing concurrent software represented by communicating finite-state machines. But these tools may require a very large amount of memory. A finite-state model can be translated automatically into a compact AND-OR graph. We use an abductive random search …
-
Intrinsic Disorder and Protein Evolution: Amino Acid Composition of Proteins in Last Universal Ancestor
… the appearance of the structural proteins were concurrent. Software developed by Brooks et al. (2004) to find the amino acid composition of the LUA (Last Universal Ancestor) was used to test this hypothesis. For this work, the Clusters of Orhtologous Groups of proteins (65 COGs) were split into …
-
CORE: a framework for the automatic repair of concurrency bugs
… data races. In this thesis we develop the CORE (COncurrent REpair) framework. It automatically fixes deadlocks and data races in parallel Java programs. It uses a search-based software engineering approach to mutate and evolve the source code. In these mutants synchronization blocks are added, …
-
Design of an Optical Fiber-Coupled Sensor for Ambient Methane Measurement
… the influence of selected system hardware and software configurations, with the further goal of enabling measurements of ambient methane concentrations over an intrinsically-safe fiber optic network at sufficient precision and sensitivity to detect unknown fugitive emission sources. The …
-
A Framework for the Development of Scalable Heterogeneous Robot Teams with Dynamically Distributed Processing
… Thirdly, the control system was subjected to concurrent software and hardware failures in a series of increasingly complex experiments. Even with unrealistically high rates of failure the control system was able to successfully complete its tasks. The HAA implementation designed following the …
-
Modelling and Synthesis of Safety-critical Software with IEC 61499
Software forms a central part of modern industrial control systems. It is routinely used, nowadays, to control a variety of physical processes through an integration of computing elements with sensors and actuators. The falling cost of digital electronics have also led to an increasing use of …