Search for dissertations about: "distributed programs"
Showing result 1 - 5 of 67 swedish dissertations containing the words distributed programs.
-
1. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving
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. Distributed Stochastic Programming with Applications to Large-Scale Hydropower Operations
Abstract : 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. READ MORE
-
3. Verification of networks of communicating processes : Reachability problems and decidability issues
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
-
4. A Distributed Haskell for the Modern Web
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
-
5. Models and Tools for Distributed User Interface Development
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