Regression-Adjusted Estimates for Regenerative Simulations, with Graphics
- P. Heidelberger
- P.A. Lewis
- 1981
- CACM
Paper
Publications
9297 results for Computer Science
A Spectral Method for Confidence Interval Generation and Run Length Control in Simulations
- Philip Heidelberger
- Peter D. Welch
- 1981
- CACM
PaperHuman Factors Studies of Database Query Languages: A Survey and Assessment
- Phyllis Reisner
- 1981
- ACM Computing Surveys (CSUR)
PaperRecord allocation for minimizing seek delay
- U.I. Gupta
- D.T. Lee
- et al.
- 1981
- Theoretical Computer Science
PaperOn the total correctness of nondeterministic programs
- David Harel
- 1981
- Theoretical Computer Science
PaperAn elementary proof of the completeness of PDL
- Dexter Kozen
- Rohit Parikh
- 1981
- Theoretical Computer Science
PaperA note on the existence of continuous functionals
- J.Lawrence Carter
- Ronald Fagin
- 1981
- Theoretical Computer Science
PaperA very fast shift-register sequence random number generator
- Scott Kirkpatrick
- Erich P Stoll
- 1981
- Journal of Computational Physics
PaperMore on advice on structuring compilers and proving them correct
- James W. Thatcher
- Eric G. Wagner
- et al.
- 1981
- Theoretical Computer Science
PaperJosephson LSI circuits
- S.M. Faris
- 1981
- IEEE Circuits and Systems Magazine
Paper