Essays about: "x86"

Showing result 16 - 20 of 30 essays containing the word x86.

  1. 16. Efficient LU Factorization for Texas Instruments Keystone Architecture Digital Signal Processors

    University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

    Author : Gilbert Netzer; [2015]
    Keywords : LU factorization; digital signal processors; Texas Instruments; Keystone architecture; high-performance LINPACK; benchmark; performance; energy efficiency; software-pipelined loops; direct memory access; optimization;

    Abstract : The energy consumption of large-scale high-performance computer (HPC) systems has become one of the foremost concerns of both data-center operators and computer manufacturers. This has renewed interest in alternative computer architectures that could offer substantially better energy-efficiency. READ MORE

  3. 17. Recompiling DSP applications to x86 using LLVM IR

    University essay from Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska högskolan

    Author : David Stenberg; [2014]
    Keywords : DSP compiler; LLVM; LLVM IR translation; endian emulation; adress spaces;

    Abstract : This thesis describes the design and implementation of a prototype LLVM compiler backend, x86-64p, that compiles code written for a DSP architecture, FADER, into executables for the x86-64 architecture. The prototype takes LLVM IR generated for the FADER architecture and compiles x86-64 executables that emulate the properties of the DSP architecture, e. READ MORE

  4. 18. Generation of dynamic control-dependence graphs for binary programs

    University essay from Linköpings universitet/Databas och informationsteknik; Linköpings universitet/Tekniska högskolan

    Author : Jakob Pogulis; [2014]
    Keywords : control-dependencies; control-dependence graph; intel-pin; instrumentation; dynamic analysis; program analysis; dependence graph; dynamic dependence graph; control dependency; control flow analysis; control flow;

    Abstract : Dynamic analysis of binary files is an area of computer science that has many purposes. It is useful when it comes to debugging software in a development environment and the developer needs to know which statements affected the value of a specific variable. READ MORE

  5. 19. Sound and Complete Reachability Analysis under PSO

    University essay from Institutionen för informationsteknologi

    Author : Magnus Lång; [2013]
    Keywords : ;

    Abstract : Modern multiprocessor systems use weak (relaxed) memory models in order to execute memory sharing multi-threaded code in an efficient manner, but are much harder for programmers to reason about than systems using the sequential consistency memory model. The SB abstraction and its implementation in the Memorax tool allows sound and complete checking of control state reachability under the TSO memory model, used in modern x86 processors. READ MORE

  6. 20. Development of a prototype taint tracing tool for security and other purposes

    University essay from Institutionen för datavetenskap; Tekniska högskolan

    Author : Ulf Kargén; [2012]
    Keywords : dynamic taint tracing; dynamic taint analysis; security; binary analysis; Valgrind; dynamic binary instrumentation;

    Abstract : In recent years there has been an increasing interest in dynamic taint tracing of compiled software as a powerful analysis method for security and other purposes. Most existing approaches are highly application specific and tends to sacrifice precision in favor of performance. READ MORE