x86

White Papers

Model Checking X86 Executables With CodeSurfer/x86 and WPDS++

January 1, 2011 12:00am PST

This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a model from an...

Provided by: University of Wisconsin

Webcasts

Trend Watch: Mission-Critical x86 - Presented by Gabriel Consulting Group

May 14, 2009 12:00am PDT

Increasingly, IT organizations are moving mission critical workloads onto virtualized x86 platforms. The emergence of highly sophisticated x86 virtualization mechanisms and advances in x86 system...

Provided by: VMware

White Papers

The Role of x86 Processors in the Virtualized, Energy-Constrained Datacenter

November 1, 2008 12:00am PDT

The x86 market has gained momentum in Europe in recent years, and thanks to the rapid adoption of 64-bit processing and the always-improving multicore systems, x86 has come to represent the...

Provided by: IDG (International Data Group)

White Papers

A Better X86 Memory Model: X86-TSO

June 4, 2009 12:00am PDT

Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory models, typically described in...

Provided by: University of Cambridge

White Papers

The Geometry of Innocent Flesh on the Bone: Return-Into-Libc Without Function Calls (on the X86)

April 24, 2010 12:00am PDT

The authors' present new techniques that allow a return-into-libc attack to be mounted on x86 executables that calls no functions at all. The attack combines a large number of short instruction...

Provided by: University of California, San Diego

White Papers

How to Install the Oracle Solaris 10 Operating System on x86 Systems

April 1, 2010 12:00am PDT

This white paper instructs users unfamiliar with the Oracle Solaris 10 operating system installation on how to install Oracle Solaris 10 on an Oracle supported x86 system (including the family of...

Provided by: Oracle

Software

.NET Framework 2.0 Software Development Kit (SDK) (x86) 2 (Windows)

August 15, 2007 12:00am PDT

The Microsoft .NET Framework Software Development Kit (SDK) v2.0 (x86) includes tools, documentation and samples developers need to write, build, test, and deploy .NET Framework applications. You...

Provided by: Microsoft

Downloads

.NET Framework 2.0 Software Development Kit (SDK) (x86) 2 (Windows)

August 15, 2007 12:00am PDT

The Microsoft .NET Framework Software Development Kit (SDK) v2.0 (x86) includes tools, documentation and samples developers need to write, build, test, and deploy .NET Framework applications. You...

Provided by: Microsoft

Blog Posts

Poll: Would you welcome an Android-powered PC?

November 30, 2011 8:52pm PST

Google has released Android 4.0 "Ice Cream Cream Sandwich" for x86, so Android could be coming to PCs in 2012. Would you want one?

265 Latest comment by jwinget

White Papers

Oracle x86 Rack Servers Optimized for Operational Efficiency

December 1, 2011 12:00am PST

Acquiring servers for IT infrastructure today is a study in balancing the need for capacity and price/performance with the need to reduce operational costs after the servers have been deployed....

Provided by: Oracle

Blog Posts

IBM revamps server lineup based on Intel's Nehalem

March 30, 2009 6:43am PDT

IBM is rolling out a revamped server lineup that revolves around Intel's latest server chips. Intel's Xeon 5550 chips, formerly known as Nehalem, will give IBM's servers a performance boost. IBM...

Blog Posts

How will the Cisco Nexus 1000V change your job role?

September 26, 2008 6:00am PDT

Announced at VMworld 2008, Cisco will soon release a new software switch, running the Cisco IOS, that will run on x86 systems using VMware ESX Server. David Davis tells you how this new virtual...

Blog Posts

Geek Trivia: The Quibble of the Week for April 22, 2008

April 22, 2008 12:01am PDT

This week's quibble comes from the March 25, 2008 edition of Geek Trivia, "Spirit of x86."

Blog Posts

Geek Trivia: The Quibble of the Week for April 15, 2008

April 15, 2008 12:01am PDT

This week's quibble comes from the March 25, 2008 edition of Geek Trivia, "Spirit of x86."

1

Blog Posts

Geek Trivia: Spirit of x86

March 25, 2008 3:00am PDT

Why did Intel give up on the X86 naming scheme and adopt the Pentium trademark?

13 Latest comment by jwagg1@...

Blog Posts

IBM packages virtualization for SMBs

January 30, 2008 10:49am PST

IBM is prepping its System I and P servers with virtualization software PowerVM to compete with the x86 servers in the markets.

Blog Posts

Lenovo gets license to make IBM's xSeries

January 25, 2008 10:16pm PST

In a move that has resellers expressing their doubts, Lenovo will sell IBM-based x86 servers using technology licensed from IBM. This is unlike the outright purchase of IBM's laptop and PC...

Blog Posts

New York Stock Exchange opts for Linux

December 14, 2007 9:31pm PST

The New York Stock Exchange (NYSE) invested heavily in x86-based Linux systems and blade servers in its NYSE Hybrid Market trading system that was launched last year. More than flexibility and...

White Papers

Dynamic Test Generation To Find Integer Bugs in x86 Binary Linux Programs

June 2, 2009 12:00am PDT

Recently, integer bugs, including integer overflow, width conversion, and signed/unsigned conversion errors, have risen to become a common root cause for serious security vulnerabilities. The...

Provided by: UC Regents

Videos

Intel, Google partner on optimized Android phones

September 15, 2011 3:38am PDT

At the Intel Developer Forum, Google announced it is teaming up with the chipmaker to optimize Android for Intel-powered mobile devices. Google Senior Vice President Andy Rubin made an appearance...