Search for dissertations about: "Peter A. Jonsson"

Showing result 1 - 5 of 27 swedish dissertations containing the words Peter A. Jonsson.

  2. 1. Positive supercompilation for a higher-order call-by-value language

    Author : Peter A. Jonsson; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. READ MORE

  4. 2. Time- and size-efficient supercompilation

    Author : Peter A. Jonsson; Taha Walid; Luleå tekniska universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Dependable Communication and Computation Systems; Kommunikations- och beräkningssystem;

    Abstract : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. READ MORE

  5. 3. Combinatorial Considerations on Two Models from Statistical Mechanics

    Author : Johan Thapper; Svante Linusson; Peter Jonsson; Jakob Jonsson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; fully packed loop model; rhombus tilings; hard particle model; independence complex; discrete morse theory; Discrete mathematics; Diskret matematik;

    Abstract : Interactions between combinatorics and statistical mechanics have provided many fruitful insights in both fields. A compelling example is Kuperberg’s solution to the alternating sign matrix conjecture, and its following generalisations. READ MORE

  6. 4. Algorithms and Hardness Results for Some Valued CSPs

    Author : Fredrik Kuivinen; Peter Jonsson; Peter Jeavons; Linköpings universitet; []
    Keywords : TECHNOLOGY; TEKNIKVETENSKAP;

    Abstract : In the Constraint Satisfaction Problem (CSP) one is supposed to find an assignment to a set of variables so that a set of given constraints are satisfied. Many problems, both practical and theoretical, can be modelled as CSPs. READ MORE

  7. 5. Design and implementation of a programmable, wideband sonar for sediment mapping

    Author : Peter Jonsson; Teknisk geologi; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; centroid; programmable sonar; sediment mapping; underwater acoustics; hydroacoustics; echosounder;

    Abstract : To be able to explore different signal types and processing techniques, apt for sediment mapping, programmable, fully digital profiling systems has been built and tested. The systema are designed to be deployed also at small water depths from small boats, without special handling equipment. READ MORE