NDLTD logo NDLTD Union Catalog and Global ETD Search

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 “"Concurrency Model"”.

  1. Prototyping a Concurrency Model

    Morandi, BenjaminETH Zurich2014

    ethz Repository record

  2. A verification framework suitable for proving large language translations

    Li, LiyiUniversity of Illinois at Urbana-Champaign2021

    … programming language with a real-world weak concurrency model. The framework combines four different pieces. First, we specify a complete semantics of the K framework and a translation from K to Isabelle as our basis for defining language specifications and proving properties about the …

    uiuc Repository record

  3. The effective use of implicit parallelism through the use of an object-oriented programming language

    Rann, DavidAston University1996

    … focus is on constructing two object-oriented models: a theoretical self-contained model of concurrency which enables a simplified second model for implementing the compiling process. There is a further presentation of principles that, if followed, maximise the potential levels of parallelism. …

    aston Repository record

  4. The Semantics of Multicopy Atomic ARMv8 and RISC-V

    Pulte, ChristopherUniversity of Cambridge2019

    Previous work has established precise operational concurrency models for Power and ARMv8, in an abstract micro-architectural style based on detailed discussion with IBM and ARM staff and extensive hardware testing. To account for the precise architectural behaviour these models are complex. This …

    cambridge Repository record

  5. Trace analysis of protocols based on formal concurrent specifications

    Kim, MyungchulUniversity of British Columbia1993

    … the protocol specifications. In this thesis, a model that combines the two functions of test case generation and trace analysis in a unified framework is presented. The model, which is based on single module extended finite state machines, handles both control and data flows for single module …

    ubc Repository record

  6. A non-intrusive fault tolerant framework for mission critical real-time systems

    Gorelov, SébastienMassachusetts Institute of Technology2005

    … three key knowledge domains: firstly, a software concurrency model, the Ada Ravenscar Profile, which guarantees deterministic behavior; secondly, the design of a hardware scheduler, the RavenHaRT kernel, which further provides deadlock free inter-task communication management; and finally, the …

    mit Repository record