Equivalence of free boolean graphs can be decided probabilistically in polynomial time
- Manuel Blum
- Ashok K. Chandra
- et al.
- 1980
- Information Processing Letters
Publications
9082 results for Computer Science
Waiting time in a preemptive resume system with compound-poisson input
- B. Meister
- 1980
- Computing
A virtual machine emulator for performance evaluation
- M.D. Canon
- D.H. Fritz
- et al.
- 1980
- CACM
Uniform data encodings
- Arnold L. Rosenberg
- Larry J. Stockmeyer
- et al.
- 1980
- Theoretical Computer Science
On another Boolean matrix
- Nicholas Pippenger
- 1980
- Theoretical Computer Science
Generation of node lists using segment analysis
- Aspi B. Wadia
- 1980
- Computer Languages
Minimum number of steps for permutation in a bubble memory
- K.M. Chung
- F. Luccio
- et al.
- 1980
- Information Processing Letters
Parallelism and concurrency of graph manipulations
- Hartmut Ehrig
- Barry K. Rosen
- 1980
- Theoretical Computer Science
A functional relation and an acceleration procedure for calculating the voltage response of josephson junctions
- W.L Miranker
- K. Bu
- 1980
- Journal of Computational Physics
Finite difference solution of the Cosserat fluid jet equations
- D.B. Bogy
- S.J. Shine
- et al.
- 1980
- Journal of Computational Physics