It looks like you're offline.
Donate
English (en) Change Website Language
Open Library logo
additional options menu
Last edited by ImportBot
September 14, 2008 | History
Edit

Paul S. Miner

We need a photo of Paul S. Miner

5 works Add another?

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Defining the IEEE-854 floating-point standard in PVS

    First published in 1995 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Verification of fault-tolerant clock synchronization systems

    First published in 1993 — 4 editions
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: An extension to Schneider's general paradigm for fault-tolerant synchronization

    First published in 1992 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Test and evaluation of the Generalized Gate Logic System Simulator

    First published in 1991 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: A verified design of a fault-tolerant clock synchronization circuit: preliminary investigations

    First published in 1992 — 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Paul S. Miner

Subjects

Fault-tolerant computing, Clock synchronization algorithm, Computers, Fault tolerance, Floating point arithmetic, Formalism, Prototypes, Proving, Synchronization, System analysis

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL4666274A

Links outside Open Library

No links yet. Add one?

History

Download catalog record: RDF / JSON
September 14, 2008 Created by ImportBot Imported from Oregon Libraries MARC record