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 13 of 13 for “"The Actor Model"”.
-
Fault-tolerant and fault-recovering garbage collection for the actor model: a collage-based approach
… an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms
-
Efficient execution of fine-grained actors on multicore processors
The Actor model is a promising model for programming new computing platforms such as the multicores and cloud computers, primarily due to features such as inherent concurrency and isolation of state. However, the model is often perceived to be fundamentally inefficient on stock multicore …
-
Improving Polymorphism and Concurrency in Common Object Models
Most common object models of distributed object systems have a limited set of object-oriented features, lacking the advanced features of `polymorphism' (an abstraction mechanism that represents a quality or state of being able to assume different forms) and `concurrency' (the ability to have more …
-
A concurrent object-oriented approach for requirements analysis and design of embedded systems
A requirements analysis approach for addressing the functional requirements of embedded systems has been proposed. Also proposed is a design approach based on the concurrent object-oriented programming paradigm. The design approach takes a specification created using the requirements analysis …
-
Systematic testing for actor programs
The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously difficult, especially for shared-memory models of programming. The actor model of programming offers a promising …
-
Consistency in actor based server-client architecture based applications
… One problem that some applications face is their overall lack of speed and efficiency. Parallel programming is used to help make processes more efficient, by splitting tasks efficiently among multiple processes. This paper specifically focuses on distributed programming, which is a type of …
-
Designing a statically typed actor-based concurrent object-oriented programming language
The research reported in this dissertation investigates extending the power and flexibility of an object-oriented language with inheritance, Static typing, and concurrency. A language supporting inheritance, static typing, and concurrency offers a significant leverage in software development. …
-
A class library approach to concurrent object-oriented programming with applications to VLSI CAD
Despite increasing availability, the use of parallel platforms in the solution of significant computing problems remains largely restricted to a set of well-structured, numeric applications. This is due in part to the difficulty of parallel application development, which is itself largely the …
-
Polymorphic types for constructing concurrent objects and layered communication protocols
… 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 type abstractions is illustrated by demonstrating their usefulness in concurrent …
-
A Distributed Software Framework for the Virginia Tech Ground Station
The key goal in this work is to enable a flexible ground station that is not constrained to a particular mission or set of hardware. In addition, with the concepts and software produced in this thesis, it will play a significant role in educating engineers and students by providing critical …
-
Whole-system testing and analysis of actor programs
… processors 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 …
-
Efficient testing of actor programs with non-deterministic behaviors
The actor model is a model of concurrent programming that consists of concurrent entities called actors. Actors communicate using asynchronous messages, and depending on the order in which they receive messages, they may exhibit different behaviors. This non-determinism brings significant …
-
Towards the formation of a forward-boosted beam of neutral antihydrogen for gravitational studies
The matter/antimatter asymmetry is one of the greatest mysteries in modern physics. In fact, the observable universe’s lack of antimatter poses a considerable problem for physicists, especially because the Standard Model predicts that the Big Bang should have produced identical amounts of matter …