Search for dissertations about: "distributed programs"

Showing result 1 - 5 of 57 swedish dissertations containing the words distributed programs.

  1. 1. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

    Author : Hans Svensson; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

    Abstract : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. READ MORE

  2. 2. Verification of networks of communicating processes : Reachability problems and decidability issues

    Author : Othmane Rezine; Parosh Aziz Abdulla; Mohamed Faouzi Atig; Bengt Jonsson; Barbara König; Uppsala universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; program verification; model checking; infinite-state systems; distributed programs; concurrent programs; networks of communicating processes; reachability; termination; decidability; Computer Science; Datavetenskap;

    Abstract : Computer systems are used in almost all aspects of our lives and our dependency on them keeps on increasing. When computer systems are used to handle critical tasks, any software failure can cause severe human and/or material losses. READ MORE

  3. 3. A Distributed Haskell for the Modern Web

    Author : Anton Ekblad; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; programming languages; distributed systems; web development; interoperability; programming models; functional programming; compiler;

    Abstract : We present the design and implementation of a novel programming model andsoftware development suite for interactive, distributed web applications usingthe Haskell programming language.The suite includes the JavaScript-targeting Haste Haskell compilerwhich improves on the current state of the art by producing smaller and leanerJavaScript code while preserving compatibility with standard Haskell aswell as with the de facto standard GHC compiler. READ MORE

  4. 4. Models and Tools for Distributed User Interface Development

    Author : Anders Fröberg; Henrik Eriksson; Stina Nylander; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; Distributed User Interfaces; User interfaces; Software Construction; Development tools; Distributed Internet based software engineering tools and techniques;

    Abstract : The way we interact with computers and computer systems are constantly changing as technology evolves. A current trend is that users interact with multiple andinterconnected devices on a daily basis. They are beginning to request ways and means of dividing and spreading their applications acrossthese devices. READ MORE

  5. 5. Postmortem debugging of distributed systems

    Author : Lars Strömberg; Linköpings universitet; []
    Keywords : NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis describes the design and implementation of a debugger for parallel programs executing on a system of loosely coupled processors. A primary goal has been to create a debugging environment that structurally matches the design of the distributed program. READ MORE