Search for dissertations about: "Finite memory"
Showing result 1 - 5 of 69 swedish dissertations containing the words Finite memory.
-
1. Finite Element Computations on Multicore and Graphics Processors
Abstract : In this thesis, techniques for efficient utilization of modern computer hardwarefor numerical simulation are considered. In particular, we study techniques for improving the performance of computations using the finite element method. READ MORE
-
2. Iterative and Adaptive PDE Solvers for Shared Memory Architectures
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
-
3. A Purkinje cell Timing Mechanism. On the Physical Basis of a Temporal Duration Memory
Abstract : The standard view of neural signaling is that a neuron can influence its target cell by exciting or inhibiting it. Learning is thought to involve strengthening or weakening synaptic connections. For most behaviors, the brain must learn to produce precisely timed activity patterns. READ MORE
-
4. Reduction Techniques for Finite (Tree) Automata
Abstract : Finite automata appear in almost every branch of computer science, for example in model checking, in natural language processing and in database theory. In many applications where finite automata occur, it is highly desirable to deal with automata that are as small as possible, in order to save memory as well as excecution time. READ MORE
-
5. Verification of Software under Relaxed Memory
Abstract : The work covered in this thesis concerns automatic analysis of correctness of parallel programs running under relaxed memory models.When a parallel program is compiled and executed on a modern architecture, various optimizations may cause it to behave in unexpected ways. READ MORE