Sökning: "johan 2001"

Visar resultat 1 - 5 av 88 avhandlingar innehållade orden johan 2001.

  1. 1. Get your priorities straight

    Författare :Johan Karlsson; Luleå tekniska universitet; []
    Nyckelord :;

    Sammanfattning : This thesis deals with three different aspects of queues and buffers. First, how a novel memory architecture can improve a solution to the problem of supporting a priority queue with priorities from a bounded universe. LÄS MER

  3. 2. Efficient symbolic state exploration of timed systems : Theory and implementation

    Författare :Johan Bengtsson; Wang Yi; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

    Sammanfattning : Timing aspects are important for the correctness of safety-critical systems. It is crucial that these aspects are carefully analysed in designing such systems. UPPAAL is a tool designed to automate the analysis process. LÄS MER

  4. 3. A parallel, iterative method of moments and physical optics hybrid solver for arbitrary surfaces

    Författare :Johan Edlund; Per Lötstedt; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Numerical Analysis; Numerisk analys;

    Sammanfattning : We have developed an MM–PO hybrid solver designed to deliver reasonable accuracy inexpensively in terms of both CPU-time and memory demands. The solver is based on an iterative block Gauss–Seidel process to avoid unnecessary storage and matrix computations, and can be used to solve the radiation and scattering problems for both disjunct and connected regions. LÄS MER

  5. 4. Assessment and Mapping of Environmental Degradation Factors in Outdoor Applications -A Part in the Prediction of Service Life for Wooden Building Components

    Författare :Johan Norén; KTH; []
    Nyckelord :Service life prediction; outdoors wood applications; Scheffer climate risk index;

    Sammanfattning : .... LÄS MER

  7. 5. Domain-based partitioning for parallel SAMR applications

    Författare :Johan Steensland; Michael Thuné; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Numerical Analysis; Numerisk analys;

    Sammanfattning : This thesis presents a study of domain-based partitioning techniques for dynamic structured grid hierarchies, occuring in structured adaptive mesh refinement (SAMR) methods. Such methods for obtaining the numerical solution to partial differential equations yield highly advantageous ratios for cost/accuracy as compared to methods based upon static uniform approximations. LÄS MER