Search for dissertations about: "Seif Haridi"

Showing result 16 - 20 of 31 swedish dissertations containing the words Seif Haridi.

  2. 16. Generic distribution support for programming systems

    Author : Erik Klintskog; Seif Haridi; Peter von Roy; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; computer sicence; Datavetenskap; Computer science; Datavetenskap;

    Abstract : This dissertation provides constructive proof, through the implementation of a middleware, that distribution transparency is practical, generic, and extensible. Fault tolerant distributed services can be developed by using the failure detection abilities of the middleware. READ MORE

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

    Author : Lars Kroll; Seif Haridi; Jim Dowling; Peter Van Roy; KTH; []
    Keywords : 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;

    Abstract : 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. READ MORE

  5. 18. Techniques for Efficient Constraint Propagation

    Author : Mikael Zayenz Lagerkvist; Seif Haridi; Christian Schulte; Pierre Flener; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; constraint programming; constraint propagation; optimization; Computer science; Datalogi;

    Abstract : This thesis explores three new techniques for increasing the efficiency of constraint propagation: support for incremental propagation, improved representation of constraints, and abstractions to simplify propagation.  Support for incremental propagation is added to a propagator centered propagation system by adding a new intermediate layer of abstraction, advisors, that capture the essential aspects of a variable centered system. READ MORE

  6. 19. Towards Elastic High-Performance Geo-Distributed Storage in the Cloud

    Author : Ying Liu; Vladimir Vlassov; Peter Van Roy; Jim Dowling; Seif Haridi; Gregory Chockler; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : In this thesis, we have presented techniques and algorithms to reduce request latency of distributed storage services that are deployed geographically. In addition, we have proposed and designed elasticity controllers to maintain predictable performance of distributed storage systems under dynamic workloads and platform uncertainties. READ MORE

  7. 20. Exploiting Fine-grain Parallelism in Concurrent Constraint Languages

    Author : Johan Montelius; Seif Haridi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Datalogi; Computing Science;

    Abstract : .... READ MORE