Search for dissertations about: "Binary Translation"

Showing result 1 - 5 of 8 swedish dissertations containing the words Binary Translation.

  2. 1. Proving Safety and Security of Binary Programs

    Author : Andreas Lindner; Roberto Guanciale; Mads Dam; Tamara Rezk; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Binary Code; Binary Analysis; Formal Verification; Model-Based Testing; Theorem Proving; HOL4; Intermediate Language; Instruction Set Architectures; ISA; Observational Models; Symbolic Execution; Weakest-Precondition; Execution Time Analysis; binärkod; binärkodsanalys; formell verifiering; modellbaserad testning; satsbevisning; HOL4; mellankod; instruktionsuppsättningar; ISA; observationsmodeller; symbolisk exekvering; minst restriktiva villkoret; analys av övre tidsgräns; Datalogi; Computer Science;

    Abstract : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. READ MORE

  4. 2. Tools, Techniques, and Trade-offs when Porting Large Software Systems to New Environments

    Author : Simon Kågström; Blekinge Tekniska Högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Operating systems; Binary Translation;

    Abstract : Computer hardware and software evolve very fast. With the advent of chip-multiprocessors and symmetric multithreading, multiprocessor hardware configurations are becoming prevalent. READ MORE

  5. 3. Accessibility percolation and first-passage percolation on the hypercube

    Author : Anders Martinsson; Göteborgs universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; hypercube; percolation; accessible path; house of cards; rough mount Fuji; first-passage percolation; Richardson s model; branching translation process; hypercube;

    Abstract : In this thesis, we consider two percolation models on the n-dimensional binary hypercube, known as accessibility percolation and first-passage percolation. First-passage percolation randomly assigns non-negative weights, called passage times, to the edges of a graph and considers the minimal total weight of a path between given end-points. READ MORE

  6. 4. Realizing Low-Latency Packet Processing on Multi-Hundred-Gigabit-Per-Second Commodity Hardware : Exploit Caching to Improve Performance

    Author : Alireza Farshin; Dejan Kostic; Gerald Q. Maguire Jr.; Mark Silberstein; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Low-Latency Internet Services; Packet Processing; Network Functions Virtualization; Middle Boxes; Commodity Hardware; Multi-Hundred-Gigabit-Per-Second; Low-Level Optimization; Internettjänster med Låg Fördröjning; Paketbearbetning; Virtualisering av Nätverksfunktioner; Mellanutrustning; Tillgänglig Datorhårdvara; Flera-Hundra-Gigabit-Per-Sekund; Lågnivå-Optimering; Datalogi; Computer Science; Informations- och kommunikationsteknik; Information and Communication Technology;

    Abstract : By virtue of the recent technological developments in cloud computing, more applications are deployed in the cloud. Among these modern cloud-based applications, many societal applications require bounded and predictable low-latency responses. READ MORE

  7. 5. SAT Based Model Checking

    Author : Niklas Een; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This Thesis is a study of automatic reasoning about finite state machines (FSMs). Two techniques used in hardware verification are presented. In both, the verification is carried out by a translation of the problem into propositional logic. Satisfiability and validity of propositional formulas are decided by the use of a SAT solver. READ MORE