Eliminating Stack Overflow by Abstract Interpretation JOHN REGEHR, ALASTAIR REID, and KIRK WEBB University of Utah An important correctness criterion for software running on embedded microcontrollers is stack

Source URL: www.cs.utah.edu

• X86 instructions
• Embedded systems
• Interrupt handler
• Stack
• Microcontroller
• Interrupt flag
• Call stack
• Real-time operating system
• Interrupt
• Computer architecture
• Interrupts
• Computing

IA-32 Intel® Architecture Software Developer’s Manual Volume 1: Basic Architecture NOTE: The IA-32 Intel Architecture Software Developer’s Manual

Source URL: homepage.smc.edu

• X86 architecture
• SSE2
• MMX
• X86
• Streaming SIMD Extensions
• X87
• SIMD
• P5
• SSE3
• Computer architecture
• Computing
• X86 instructions

RENPAR’16 / CFSE’4 / SympAAA’Journ´ees Composants Le Croisic, France, 5 au 8 avril 2005 Portage de l’architecture s´ecuris´ee C RYPTO PAGE sur un microprocesseur x86 Guillaume D UC et Ronan K ERYELL

Source URL: dept-info.labri.fr

THE MINIX ASSEMBLY LANGUAGE MANUAL

Source URL: www.woodhull.com

• Assembly languages
• X86 instructions
• X86 architecture
• C++
• Assemblers
• X86 assembly language
• MOV
• C
• Subroutine
• Computing
• Computer programming
• Software engineering

HPC Trends forAddison Snell A New Era in HPC

Source URL: hpcadvisorycouncil.com

• GPGPU
• Instruction set architectures
• Advanced Micro Devices
• Intel
• FLOPS
• Cray
• X86
• 64-bit
• Graphics processing unit
• Computing
• Computer hardware
• Computer architecture

5th Generation Intel® Core™ Processor Family, Intel® Core™ M Processor Family, Mobile Intel® Pentium® Processor Family, and Mobile Intel® Celeron® Processor Family

Source URL: www.intel.com.tw

• Computing
• Intel Core
• X86-64
• Intel
• Celeron
• Intel C++ Compiler
• Centrino
• Computer architecture
• X86 architecture
• Computer hardware

Porting to 64-bit GNU/Linux Systems Andreas Jaeger SuSE Linux AG , http://www.suse.de/˜aj Abstract

Source URL: gcc.cybermirror.org

• Cross-platform software
• X86 architecture
• X86-64
• 64-bit
• Debian
• Cross compiler
• Executable and Linkable Format
• X86
• GNU Compiler Collection
• Software
• Computing
• Computer architecture

5th Generation Intel® Core™ Processor Family, Intel® Core™ M Processor Family, Mobile Intel® Pentium® Processor Family, and Mobile Intel® Celeron® Processor Family

Source URL: www.intel.com.tr

• X86 architecture
• Intel
• Celeron
• Direct Media Interface
• X86 virtualization
• Control register
• X86-64
• Centrino
• Computer hardware
• Computing
• Computer architecture

Administrivia • Project 2 due Thursday - As before, free extension to midnight if you come to class • Use the newsgroup! - Lots of similar questions to cs140-staff

Source URL: www.scs.stanford.edu

• Central processing unit
• Computing
• Memory management
• Computer memory
• Page
• CPU cache
• Paging
• X86
• Cache
• Virtual memory
• Computer hardware
• Computer architecture

dyncall Library Daniel Adler () Tassilo Philipp () February 1, 2010

Source URL: www.dyncall.org

• Software engineering
• Subroutines
• X86 calling conventions
• Calling convention
• Cross-platform software
• Procedural programming languages
• X86-64
• Cdecl
• Stack
• Computing
• Computer architecture
• X86 architecture