Search for dissertations about: "iterative software"

Showing result 1 - 5 of 62 swedish dissertations containing the words iterative software.

  2. 1. Iterative and Adaptive PDE Solvers for Shared Memory Architectures

    Author : Henrik Löf; Jarmo Rantakokko; Sverker Holmgren; Erik Hagersten; Mark Bull; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; partial differential equations; iterative methods; finite elements; conjugate gradients; adaptive mesh refinement; multigrid; cc-NUMA; distributed shared memory; OpenMP; page migration; TLB shoot-down; bandwidth minimization; reverse Cuthill-McKee; migrate-on-next-touch; affinity; temporal locality; chip multiprocessors; CMP; Beräkningsvetenskap; Scientific Computing;

    Abstract : Scientific computing is used frequently in an increasing number of disciplines to accelerate scientific discovery. Many such computing problems involve the numerical solution of partial differential equations (PDE). READ MORE

  4. 2. Iterative Learning Control : Analysis, Design, and Experiments

    Author : Mikael Norrlöf; Svante Gunnarsson; Linköpings universitet; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Industrial robots; Robot programming; Robot modeling;

    Abstract : In many industrial robot applications it is a fact that the robot is programmed to do the same task repeatedly. By observing the control error in the different iterations of the same task it becomes clear that it is actually highly repetitive. READ MORE

  5. 3. Integrated Software Pipelining

    Author : Mattias Eriksson; Christoph Kessler; Sid Ahmed Ali Touati; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Code generation; compilers; instruction scheduling; register allocation; spill code generation; modulo scheduling; integer linear programming; genetic programming.; Computer science; Datavetenskap;

    Abstract : In this thesis we address the problem of integrated software pipelining for clustered VLIW architectures. The phases that are integrated and solved as one combined problem are: cluster assignment, instruction selection, scheduling, register allocation and spilling. READ MORE

  6. 4. Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

    Author : Simon Robillard; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Term Algebras; Automated Theorem Proving; Invariant Generation; Program Verification;

    Abstract : Static analysis of program semantics can be used to provide strong guarantees about the correctness of software systems. In this thesis, we explore ways to perform automated program analysis and verification using a first-order theorem prover. READ MORE

  7. 5. Towards Understanding and Applying Security Assurance Cases for Automotive Systems

    Author : Mazen Mohamad; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; security claims; assurance case; evidence; arguments; automotive; security; automotive systems;

    Abstract : Security Assurance Cases (SAC) are structured bodies of arguments and evidence used to reason about security properties of a certain artefact. SAC are gaining focus in the automotive domain as the need for security assurance is growing due to software becoming a main part of vehicles. READ MORE