<--- Back to Details
First PageDocument Content
Computing / PDP-8 / Microcode / Computer / PL/I / Honeywell 316 / HP / Classes of computers / Computer architecture / Minicomputers
Date: 2010-01-15 15:15:27
Computing
PDP-8
Microcode
Computer
PL/I
Honeywell 316
HP
Classes of computers
Computer architecture
Minicomputers

Add to Reading List

Source URL: origin-www.computer.org

Download Document from Source Website

File Size: 653,60 KB

Share Document on Facebook

Similar Documents

Microsoft Word - 201810_償還価額のお知らせ（HP）

Microsoft Word - 201810_償還価額のお知らせ（HP）

DocID: 1xVY4 - View Document

Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

DocID: 1xVDI - View Document

JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire (Stanford), Mehul Shah (HP Labs), Partha Ranganathan (HP Labs), Christos Kozyrakis (Stanford)

JouleSort: A Balanced Energy-Efficiency Benchmark Suzanne Rivoire (Stanford), Mehul Shah (HP Labs), Partha Ranganathan (HP Labs), Christos Kozyrakis (Stanford)

DocID: 1xVAA - View Document

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA.

DocID: 1xUq9 - View Document

The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization,

The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization,

DocID: 1xUem - View Document