Architectural timing verification of CMOS RISC processors
- Pradip Bose
- S. Surya
- 1995
- IBM J. Res. Dev
Paper
Publications
9271 results for Computer Science
On the numerical treatment of singularities in solutions of laplace’s equation
- W. Liniger
- F. Odeh
- 1995
- Numerical Functional Analysis and Optimization
PaperThe ‘Computer Telephony‘ Revolution
- Roy Band
- 1995
- International Review of Law, Computers & Technology
PaperThe Krypto Knight Family of Light-Weight Protocols for Authentication and Key Distribution
- Ray Bird
- Inder Gopal
- et al.
- 1995
- IEEE/ACM Transactions on Networking
PaperOn encoding and decoding with two-way head machines
- Dafna Sheinwald
- Abraham Lempel
- et al.
- 1995
- Information and Computation
PaperOptimal Binary Index Assignments for a Class of Equiprobable Scalar and Vector Quantizers
- Steven W. McLaughlin
- David L. Neuhoff
- et al.
- 1995
- IEEE Trans. Inf. Theory
PaperConditional Entropy-Constrained Vector Quantization: High-Rate Theory and Design Algorithms
- Diego P. de Garrido
- William A. Pearlman
- 1995
- IEEE Trans. Inf. Theory
PaperOn monadic NP vs monadic co-NP
- Ronald Fagin
- Larry J. Stockmeyer
- et al.
- 1995
- Information and Computation
PaperClique partitions, graph compression and speeding-up algorithms
- Tomás Feder
- Rajeev Motwani
- 1995
- Journal of Computer and System Sciences
PaperCompetitive paging with locality of reference
- Allan Borodin
- Sandy Irani
- et al.
- 1995
- Journal of Computer and System Sciences
Paper