Buffer Analysis for a Data Sharing Environment with Skewed Data Access
- Asit Dan
- Daniel M. Dias
- et al.
- 1994
- IEEE Transactions on Knowledge and Data Engineering
Paper
Publications
9296 results for Computer Science
Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
PaperRotationally Invariant Nonlinear Trellis Codes for Two-Dimensional Modulation
- Lance C. Perez
- Daniel J. Costello
- 1994
- IEEE Trans. Inf. Theory
PaperA fourth-order-accurate difference approximation for the incompressible Navier-Stokes equations
- William D. Henshaw
- Heinz-Otto Kreiss
- et al.
- 1994
- Computers and Fluids
PaperToward Customer-Useable All-Optical Networks
- Paul E. Green
- 1994
- IEEE Communications Magazine
PaperMinimal Presentations for Irreducible Sofic Shifts
- Brian Marcus
- 1994
- IEEE Trans. Inf. Theory
PaperA Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The Multiple Node Case
- Abhay K. Parekh
- Robert G. Gallager
- 1994
- IEEE/ACM Transactions on Networking
PaperGEMMW: A portable level 3 BLAS winograd variant of strassen’s matrix-matrix multiply algorithm
- Craig C. Douglas
- Michael Heroux
- et al.
- 1994
- Journal of Computational Physics
PaperLee-Metric BCH Codes and their Application to Constrained and Partial-Response Channels
- Ron M Roth
- Paul H Siegel
- 1994
- IEEE Trans. Inf. Theory
PaperAn Empirical Study of Precise Interprocedural Array Analysis
- Michael Hind
- Michael Burkeb
- et al.
- 1994
- Scientific Programming
Paper