Complexity of Boolean algebras
- Dexter Kozen
- 1980
- Theoretical Computer Science
Paper
Publications
9277 results for Computer Science
A virtual machine emulator for performance evaluation
- M.D. Canon
- D.H. Fritz
- et al.
- 1979
- SOSP 1979
Conference paperSimulation methods tor response times in networks of queues
- Donald L. Iglehart
- Gerald S. Shedler
- 1979
- WSC 1979
Conference paperUsing conditional expectation to reduce variance in discrete event simulation
- S.S. Lavenberg
- P.D. Welch
- 1979
- WSC 1979
Conference paperA semantics-based method for requirements analysis and system design
- Max L. Wilson
- 1979
- COMPSAC 1979
Conference paperConsiderations In developing a design tool for a relational DBMS
- Mario Schkolnick
- Paolo Tiberio
- 1979
- COMPSAC 1979
Conference paperComparing models of parallel computation by homomorphisms
- Raymond E. Miller
- Takumi Kasai
- 1979
- COMPSAC 1979
Conference paperView modelling and integration using the funct ional dependency model
- V. Waddle
- S.B. Yao
- et al.
- 1979
- COMPSAC 1979
Conference paperA polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
- Bengt Aspvall
- Yossi Shiloach
- 1979
- FOCS 1979
Conference paperNew classes and applications of hash functions
- Mark N. Wegman
- J. Lawrence Carter
- 1979
- FOCS 1979
Conference paper