Sökning: "distributed programs"

Visar resultat 1 - 5 av 71 avhandlingar innehållade orden distributed programs.

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

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

    Sammanfattning : 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. LÄS MER

  3. 2. Distributed Stochastic Programming with Applications to Large-Scale Hydropower Operations

    Författare :Martin Biel; Mikael Johansson; Lennart Söder; David Woodruff; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; stochastic programming; distributed; algorithms; large-scale; optimization; hydropower; software; julia language; Electrical Engineering; Elektro- och systemteknik;

    Sammanfattning : Stochastic programming is a subfield of mathematical programming concerned with optimization problems subjected to uncertainty. Many engineering problems with random elements can be accurately modeled as a stochastic program. In particular, decision problems associated with hydropower operations motivate the application of stochastic programming. LÄS MER

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

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

    Sammanfattning : 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. LÄS MER

  5. 4. A Distributed Haskell for the Modern Web

    Författare :Anton Ekblad; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; programming languages; distributed systems; web development; interoperability; programming models; functional programming; compiler;

    Sammanfattning : 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. LÄS MER

  7. 5. Models and Tools for Distributed User Interface Development

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

    Sammanfattning : 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. LÄS MER