BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
processor (3)
microprocessor (2)
formal (2)
character (2)
verif (2)

Stem pentium$ (all stems)

8 papers:

CAVCAV-2005-Kaivola #component #induction #invariant #simulation #verification
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
DACDAC-2004-DeleganesBGKSW #integer #logic
Low voltage swing logic circuits for a Pentium 4 processor integer core (DJD, MB, GG, KK, APS, SW), pp. 678–680.
HPCAHPCA-2004-MakineniI #architecture
Architectural Characterization of TCP/IP Packet Processing on the Pentium M Microprocessor (SM, RRI), pp. 152–163.
DACDAC-2003-Kumar #design
Interconnect and noise immunity design for the Pentium 4 processor (RK0), pp. 938–943.
DATEDATE-2002-KaivolaN #float #multi #verification
Formal Verification of the Pentium ® 4 Floating-Point Multiplier (RK, NN), pp. 20–27.
DACDAC-2001-Bentley #validation
Validating the Intel Pentium 4 Microprocessor (BB), pp. 244–248.
HPCAHPCA-1997-BhandarkarD #performance
Performance Characterization of the Pentium(r) Pro Processor (DB, JJD), pp. 288–299.
DACDAC-1996-ClarkeKZ #fault #model checking #word
Word Level Model Checking — Avoiding the Pentium FDIV Error (EMC, MK, XZ), pp. 645–648.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.