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 31 for “"concurrent programming"”.
-
Safe Concurrent Programming and Execution
… parallelization techniques, the subtleties of concurrent programming are known to introduce concurrency bugs. Due to the potential of concurrency bugs, programmers find it hard to write correct concurrent code. To take full advantage of parallel shared memory platforms, application programmers …
-
A graph grammar approach to concurrent programming
… use of graph grammars as a theory to organize programming of highly-concurrent systems. To understand the interactions among components of a concurrent system it is useful to visualize the system as dynamically changing graphs where the nodes represent concurrent components and the edges …
-
Types for mutual exclusion in concurrent programming languages
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-04-12 without embargo terms
-
Pseudo-concurrent programming for real-time process control applications
… which resides in the background loop, utilizes a programming technique referred to as psuedo-concurrent programming to eliminate the lockout problem associated with the background loop structure. The psuedo-concurrent technique is explained. Maintenance procedures are described and possible …
-
A rewriting approach to concurrent programming language design and semantics
A plethora of programming languages have been and continue to be developed to keep pace with hardware advancements and the ever more demanding requirements of software development. As these increasingly sophisticated languages need to be well understood by both programmers and implementors, precise …
-
Design and verification of distributed tasking supervisors for concurrent programming languages
… implements the concurrency constructs of a concurrent programming language. This thesis addresses two fundamental issues in constructing distributed implementations of a concurrent language: (1) Principles for designing a tasking supervisor for the language, and (2) Practical techniques for …
-
AdaTAD - a debugger for the Ada multi-task environment
… of the major features of Ada is that it supports concurrent programming via its "task" compilation unit. There are not, however, any automated tools to aid in locating errors in the tasks. The design for such a tool is presented. The tool is named AdaTAD and is a debugger for programs written in …
-
Functional programming abstractions for weakly consistent systems
… multicore and cloud computing. Traditionally, concurrent programmers have relied on the underlying system providing <em>strong memory consistency,</em> where there is a semblance of concurrent tasks operating over a shared global address space. However, providing scalable strong consistency …
-
Garbage Collection for General Graphs
… being a utility to a requirement of every modern programming language. With multi-core and distributed systems, most programs written recently are heavily multi-threaded and distributed. Distributed and multi-threaded programs are called concurrent programs. Manual memory management is cumbersome …
-
Polymorphic types for constructing concurrent objects and layered communication protocols
… type abstractions are proposed for constructing 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 …
-
Specification of concurrent systems using graph grammars
Existing textual programming languages support sequential programming well because there is a correlation between the one-dimensional nature of text and the one-dimensional nature of sequential programs, i.e. the single flow of control in a program. Textual notation does not support concurrent …
-
Whole-system testing and analysis of actor programs
… and networked systems become the norm, concurrent programming has been widely adopted in industry. Practitioners have used concurrent programming models to build many complex and large-scale systems and infrastructures. With the growing popularity of concurrent programming, it is …
-
Scaling address-space operations on Linux with TSX
Concurrent programming is important due to increasing core counts, but scalable concurrency control is difficult and error-prone to implement. Hardware Transactional Memory (HTM) addresses this problem by providing hardware support for concurrently executing arbitrary read-modify-write memory …
-
The tasks with effects model for safe concurrency
Today's state-of-the-art concurrent programming models either provide weak safety guarantees, making it easy to write code with subtle errors, or are limited in the class of programs that they can express. I believe that a concurrent programming model should offer strong safety guarantees such as …
-
Analysing Student Code Submissions Using Program Analysis Techniques and Large Language Models
Programming students struggle to interpret technical diagnostics from static analysis tools, while large language models provide accessible explanations but lack formal guarantees. This thesis investigates when static analysis grounding—that is, providing the model with structured tool output (such …
-
An Intermediate Code for Interpretation and Code Generation in ADA.
… is that it may be used in the translation of concurrent programming languages, in particular, Ada. CL-code contains instructions which define the creation and control of independent processes that can subsequently communicate with each other. A partial implementation of CL-code by both …
-
Distributed processing, reconfigurable processes and active network
… in the real network that being used today. The concurrent programming language, Handel-C, is used for the description of the design system and a re-configurable computer platform based on a FPGA process element is used for the hardware implementation. The experiment results demonstrate both the …
-
A fast concurrent and resizable Robin Hood hash table
Concurrent hash tables are among the most important primitives in concurrent programming and have been extensively studied in the literature. Robin Hood hashing is a variant of linear probing that moves around keys to reduce probe distances. It has been used to develop state of the art serial hash …
-
Programming language design for service-oriented systems
… more commonplace and popular. Service-oriented programming provides a natural way to model and manage many types of systems and allows software development teams to achieve operational flexibility, scalability, and reliability in a cost-effective manner. In particular, it has been used quite …
-
Automated refactoring for Java concurrency
In multicore era, programmers exploit concurrent programming to gain performance and responsiveness benefits. However, concurrent programs are difficult to write: the programmer has to balance two conflicting forces, thread safety and performance. To make concurrent programming easier, modern …
Page 1 of 2