An empirical study of precise interprocedural array analysis
- Michael Hind
- Michael Burke
- et al.
- 1994
- Scientific Programming
Publications
9280 results for Computer Science
A Graph Theoretical Approach to Determine a Join Reducer Sequence in Distributed Query Processing
- Ming-Syan Chen
- Philip S. Yu
- 1994
- IEEE Transactions on Knowledge and Data Engineering
On the Ziv-Lempel Proof and Related Topics
- Dafna Sheinwald
- 1994
- Proceedings of the IEEE
Stability, Queue Length, and Delay of Deterministic and Stochastic Queueing Networks
- Cheng-Shang Chang
- 1994
- IEEE TACON
Self-Termination Mechanism for Label Swapping Routing
- Reuven Cohen
- Yoram Ofek
- 1994
- IEEE/ACM Transactions on Networking
Calculating the area of overlaid polygons without constructing the overlay
- William Randolph Franklin
- Venkateshkumar Sivaswami
- et al.
- 1994
- Cartography and Geographic Information Systems
A fourth-order-accurate difference approximation for the incompressible Navier-Stokes equations
- William D. Henshaw
- Heinz-Otto Kreiss
- et al.
- 1994
- Computers and Fluids
Tolerating a linear number of faults in networks of bounded degree
- Eli Upfal
- 1994
- Information and Computation
A fourth-order accurate method for the incompressible navier-stokes equations on overlapping grids
- William D. Henshaw
- 1994
- Journal of Computational Physics
A 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