Sökning: "distributed programming"

Visar resultat 1 - 5 av 120 avhandlingar innehållade orden distributed programming.

  1. 1. Compile-time Safety and Runtime Performance in Programming Frameworks for Distributed Systems

    Författare :Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; distributed systems; distributed computing; programming systems; programming languages; computer science; domain specific languages; message-passing; actor model; component model; Informations- och kommunikationsteknik; Information and Communication Technology;

    Sammanfattning : Distributed Systems, that is systems that must tolerate partial failures while exploiting parallelism, are a fundamental part of the software landscape today. Yet, their development and design still pose many challenges to developers when it comes to reliability and performance, and these challenges often have a negative impact on developer productivity. LÄS MER

  3. 2. 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

  4. 3. Programming Model and Protocols for Reconfigurable Distributed Systems

    Författare :Cosmin Ionel Arad; Seif Haridi; Gregory Chockler; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; distributed systems; programming model; message-passing concurrency; nested hierarchical composition; reactive components; software architecture; dynamic reconfiguration; multi-core; discrete-event simulation; peer-to-peer; testing; debugging; distributed key-value stores; data replication; consistency; linearizability; network partition tolerance; consistent hashing; self-organization; scalability; elasticity; fault tolerance; consistent quorums;

    Sammanfattning : Distributed systems are everywhere. From large datacenters to mobile devices, an ever richer assortment of applications and services relies on distributed systems, infrastructure, and protocols. Despite their ubiquity, testing and debugging distributed systems remains notoriously hard. LÄS MER

  5. 4. 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

  7. 5. Parallelism in Constraint Programming

    Författare :Carl Christian Rolf; Institutionen för datavetenskap; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Parallelism; Constraint Programming; Parallel Consistency; Parallel Search; Distributed Constraint Programming;

    Sammanfattning : Writing efficient parallel programs is the biggest challenge of the software industry for the foreseeable future. We are currently in a time when parallel computers are the norm, not the exception. Soon, parallel processors will be standard even in cell phones. LÄS MER