Search for dissertations about: "Lars-Åke"

Showing result 1 - 5 of 86 swedish dissertations containing the word Lars-Åke.

  2. 1. The geochemistry and palaeotectonic setting of lower proterozoic metavolcanic rocks and related intrusives in the Skellefte massive sulphide ore district, northern Sweden

    Author : Lars-Åke Claesson; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Applied Geology; Tillämpad geologi;

    Abstract : .... READ MORE

  4. 2. A Framework for Reasoning about ERLANG Code

    Author : Lars-Åke Fredlund; KTH; []
    Keywords : ;

    Abstract : .... READ MORE

  5. 3. A framework for reasoning about Erlang code

    Author : Lars-Åke Fredlund; RISE; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We present a framework for formal reasoning about the behaviour of software written in Erlang, a functional programming language with prominent support for process based concurrency, message passing communication and distribution. The framework contains the following key ingredients: a specification language based on the mu-calculus and first-order predicate logic, a hierarchical small-step structural operational semantics of Erlang, a judgement format allowing parameterised behavioural assertions, and a Gentzen style proof system for proving validity of such assertions. READ MORE

  6. 4. A lighter UDP

    Author : Lars-Åke Larzon; Luleå tekniska universitet; []
    Keywords : ;

    Abstract : With the advent of IP telephony and other real time multimedia applications running atop new wireless networks, new problems arise for the traditional Internet stack of protocols. Network and transport protocol support for these new applications has not yet been fully developed and optimized. READ MORE

  7. 5. Three problems with internetworking in cellular networks

    Author : Lars-Åke Larzon; []
    Keywords : ;

    Abstract : Over the last decade, cell phones have gone from providing the traditional interactive voice service to also include support for Internet services. Cellular networks that originally were designed for cost-efficient voice services supply low bandwidth, high error rates and long round-trip delays, which poorly fit the generous header sizes, lack of error tolerance and reliance on retransmissions of the Internet. READ MORE