Pressemitteilung Hannover, Januar 2009 eSOM-200: Neuer plattformunabhängiger Formfaktor Rechnermodule im Scheckkartenformat unterstützen x86, ARM, PowerPC In der letzten Zeit wurden verschiedene neue Modulformate vorge

Source URL: www.ssv-comm.de

aspl150-margignoni-original.pdf

Source URL: www.cs.berkeley.edu

• Computing
• Computer architecture
• Software
• Instruction set architectures
• Abstract interpretation
• Symbolic execution
• Instruction set
• Emulator
• QEMU
• Machine code
• Addressing mode
• X86

Libreboot Free x86 boot firmware http://libreboot.org/    

Source URL: media.libreplanet.org

Active Access: A Mechanism for High-Performance Distributed Data-Centric Computations Maciej Besta Torsten Hoefler

Source URL: htor.inf.ethz.ch

• Memory management
• Virtual memory
• Computer memory
• Inputoutput memory management unit
• X86 virtualization
• Direct memory access
• Shared memory
• Remote direct memory access
• Page table
• Memory management unit
• Page fault
• Advanced Micro Devices

MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXERROR BOUNDS ON COMPLEX FLOATING-POINT MULTIPLICATION

Source URL: www.daemonology.net

DIL/NetPCs (A)DNP/1486 – microHOWTO Read the BIOS Identification String The x86-based DIL/NetPCs comes with a standard PC BIOS. Within this BIOS code space is a ASCII string located. This string offers a information t

Source URL: www.dilnetpc.com

Using Hardware Performance Events for Instruction-Level Monitoring on the x86 Architecture Sebastian Vogl and Claudia Eckert {vogls,eckertc}@in.tum.de Chair for IT Security Technische Universität München

Source URL: www.syssec-project.eu

eps/netperf-same_vs_other.eps

Source URL: www.cs.cornell.edu

• Software
• System software
• Hardware virtualization
• Xen
• Paravirtualization
• Hyper-V
• Hardware-assisted virtualization
• Hypervisor
• X86 virtualization
• Virtual machine
• Live migration
• Virtualization

An Abstract Domain for Bit-Vector Inequalities⋆ Tushar Sharma1 , Aditya Thakur1 , and Thomas Reps1,2 1 University of Wisconsin; Madison, WI, USA 2

Source URL: research.cs.wisc.edu

• Algebra
• Mathematics
• Vectors
• Mathematical analysis
• Linear algebra
• Abstract interpretation
• Vector space
• Euclidean vector
• X86
• Derivative
• FO
• Information Processing Language

A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg

Source URL: www.cs.cmu.edu

• Computer security
• Computing
• Trusted computing
• Cryptography
• Trusted Execution Technology
• X86 architecture
• Trusted Platform Module
• Monitor
• Futures and promises
• Trusted computing base
• Polymerase chain reaction
• Thread