Search for dissertations about: "pattern-matching"

Showing result 1 - 5 of 40 swedish dissertations containing the word pattern-matching.

  2. 1. Parallel and Distributed Processing in the Context of Fog Computing: High Throughput Pattern Matching and Distributed Monitoring

    Author : Charalampos Stylianopoulos; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; resource-constrained devices; distributed monitoring; distributed processing; vectorization; pattern matching; high throughput; fog computing;

    Abstract : With the introduction of the Internet of Things (IoT), physical objects now have cyber counterparts that create and communicate data. Extracting valuable information from that data requires timely and accurate processing, which calls for more efficient, distributed approaches. READ MORE

  4. 2. Exploration of extended Higgs sectors, development of a displaced track trigger, and improvements in GRID middleware

    Author : Max Isacson; Elin Bergeås Kuutmann; Patrizia Azzi; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; BSM; Supersymmetry; Standard Model; Higgs; 2HDM; Charged Higgs; Compositeness; Pattern Matching; GRID; Fysik med inriktning mot elementarpartikelfysik; Physics with specialization in Elementary Particle Physics;

    Abstract : Two possible solutions to the Standard Model (SM) fine-tuning problem are presented in this thesis, MSSM and Compositeness. The Higgs sector of the MSSM can be tested by searching for charged Higgs bosons. Two direct searches for charged Higgs bosons decaying into a top- and bottom-quark are performed using 13.2 and 36. READ MORE

  5. 3. Towards a practical programming language based on dependent type theory

    Author : Ulf Norell; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; dependent types; type theory; metavariables; programming; pattern matching; type checking;

    Abstract : Dependent type theories have a long history of being used for theorem proving. One aspect of type theory which makes it very powerful as a proof language is that it mixes deduction with computation. READ MORE

  6. 4. Type Theory with First-Order Data Types and Size-Change Termination

    Author : David Wahlstedt; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Pattern-matching; Reducibility; Size-Change Termination; Logical Framework; Lambda-calculus; Term rewriting.; Type Theory; Dependent types; Normalization; Type system;

    Abstract : We prove normalization for a dependently typed lambda-calculus extended with first-order data types and computation schemata for first-order size-change terminating recursive functions. Size-change termination, introduced by C.S. Lee, N. READ MORE

  7. 5. Performance enhancement in a well-structured pattern matcher through partial evaluation

    Author : Pär Emanuelson; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

    Abstract : Partial evaluation is a technique which can be utilized for the generation of compiled code from the corresponding interpreter. In this work the partial evaluation technique is applied to a pattern match interpreter, in order to achieve the simultaneous goals of a general, well-structured program which is extendible and still make high performance at execution possible. READ MORE