Found 54 Documents (Results 1–54)
The power of synchronization mechanisms. (English) Zbl 0572.68017
MSC:
68N25
Pushdown permuter characterization theorem. (English) Zbl 0566.68039
MSC:
68W99
68Q05
On relativized polynomial and exponential computations. (English) Zbl 0563.03025
Reviewer: A.Slisenko
Cylindrical algebraic decomposition. I: The basic algorithm. II: An adjacency algorithm for the plane. (English) Zbl 0562.14001
Reviewer: I.Mihuţ
Recursive programs as definitions in first order logic. (English) Zbl 0559.68020
Reviewer: J.Hořejš
Two tapes are better than one for nondeterministic machines. (English) Zbl 0558.68045
Reviewer: G.Mauri
MSC:
68Q05
Immunity, relativizations, and nondeterminism. (English) Zbl 0558.68039
Reviewer: G.Mauri
MSC:
68Q25
On synchronous parallel computations with independent probabilistic choice. (English) Zbl 0558.68038
Reviewer: G.Mauri
Is the interesting part of process logic uninteresting?: A translation from PL to PDL. (English) Zbl 0551.68031
Reviewer: H.Nishimura
The organ pipe permutation. (English) Zbl 0551.68018
Preemptive scheduling of a multiprocessor system with memories to minimize maximum lateness. (English) Zbl 0548.68027
MSC:
68M20
Clique covering of graphs IV. Algorithms. (English) Zbl 0548.05050
Reviewer: F.Göbel
A mathematical model for the verification of systolic networks. (English) Zbl 0546.94031
MSC:
94C15
94C10
Simple linear-time algorithms to test chordality of graphs, test acyclicity of hypergraphs, and selectively reduce acyclic hypergraphs. (English) Zbl 0545.68062
Convex partitions of polyhedra: A lower bound and worst-case optimal algorithm. (English) Zbl 0545.68031
On the existence of Cook semantics. (English) Zbl 0545.68012
Reviewer: N.Curteanu
Minimal-cost brother trees. (English) Zbl 0542.68048
Reviewer: G.Slutzki
Tighter bounds for the MULTIFIT processor scheduling algorithm. (English) Zbl 0539.68024
Reviewer: J.Martyna
Constrained optimum communication trees and sensitivity analysis. (English) Zbl 0538.90092
Reviewer: R.Slowinski
Alternating pushdown and stack automata. (English) Zbl 0538.68039
Reviewer: G.Wechsung
Constant depth reducibility. (English) Zbl 0538.68038
Reviewer: G.Wechsung
Limitations on explicit constructions of expanding graphs. (English) Zbl 0537.68068
Reviewer: F.Göbel
The effect of number of Hamiltonian paths on the complexity of a vertex- coloring problem. (English) Zbl 0537.68067
Reviewer: F.Göbel
Fast algorithms for finding nearest common ancestors. (English) Zbl 0535.68022
Reviewer: M.Kratko
The spectra of first-order sentences and computational complexity. (English) Zbl 0535.03014
Reviewer: M.Kratko
On the complexity of some common geometric location problems. (English) Zbl 0534.68032
Reviewer: D.Yu.Grigorev
MSC:
68Q25
Parallel solution of certain Toeplitz linear systems. (English) Zbl 0534.68026
Reviewer: T.N.Katz
Simulation of parallell random access machines by circuits. (English) Zbl 0533.68048
Reviewer: M.Dal Cin
Verification of probabilistic programs. (English) Zbl 0533.68012
MSC:
68Q60
Filter Results by …
all
top 5
Author
- Stockmeyer, Larry J. (3)
- Book, Ronald Vernon (2)
- Frederickson, Greg N. (2)
- Gallier, Jean H. (2)
- Pnueli, Amir (2)
- Tarjan, Robert Endre (2)
- Vishkin, Uzi (2)
- Agarwal, Sunita (1)
- Arnon, Dennis S. (1)
- Babaoglu, Ozalp (1)
- Baker, Brenda S. (1)
- Barz, Hans Wilhelm (1)
- Beeri, Catriel (1)
- Bernstein, Philip A. (1)
- Bini, Dario Andrea (1)
- Blass, Andreas Raphael (1)
- Blum, Manuel (1)
- Cartwright, Robert (1)
- Chandra, Ashok K. (1)
- Chazelle, Bernard (1)
- Chin, Francis Y. L. (1)
- Chiu, Dah-Ming W. (1)
- Coffman, Edward Grady jun. (1)
- Collins, George E. (1)
- Cosmadakis, Stavros S. (1)
- de Bruin, Arie (1)
- Dobson, Gregory T. (1)
- Ďuriš, Pavol (1)
- Dyer, Martin E. (1)
- Friesen, Donald K. (1)
- Galil, Zvi (1)
- Grandjean, Etienne (1)
- Gurevich, Yuri (1)
- Harel, David (1)
- Harel, Dov (1)
- Hart, Sergiu (1)
- Heller, Hans (1)
- Heyman, Daniel P. (1)
- Ho, Yu-Chi (1)
- Hopcroft, John Edward H. (1)
- Hu, Te-Chiang (1)
- Ja’Ja’, Joseph F. (1)
- Johnson, Donald B. (1)
- Joseph, Deborah (1)
- Keane, Michael S. (1)
- Klawe, Maria Margaret (1)
- Konheim, Alan G. (1)
- Kumar, V. K. Prasanna (1)
- Ladner, Richard E. (1)
- Lai, Ten-Hwang (1)
- Leung, Joseph Y.-T. (1)
- Lewis, Philip M. II (1)
- Linial, Nathan (1)
- Lipton, Richard Jay (1)
- Long, Timothy Juris (1)
- Manber, Udi (1)
- Mayr, Ernst W. (1)
- McCallum, Scott (1)
- Megiddo, Nimrod (1)
- Meilijson, Isaac (1)
- Melhem, Rami G. (1)
- Micali, Silvio (1)
- Ottmann, Thomas A. (1)
- Papadimitriou, Christos Harilaos (1)
- Pullman, Norman J. (1)
- Ramanan, Prakash V. (1)
- Reif, John H. (1)
- Rheinboldt, Werner C. (1)
- Robson, John Michael (1)
- Rosenberg, Arnold Leonard (1)
- Rosenkrantz, Daniel J. (1)
- Sahni, Sartaj K. (1)
- Schöning, Uwe (1)
- Selman, Alan Louis (1)
- Sharir, Micha (1)
- Shing, Man-Tak (1)
- Simon, Janos (1)
- Six, Hans-Werner (1)
- Stearns, Richard Edwin (1)
- Supowit, Kenneth J. (1)
- Tompa, Martin (1)
- Toueg, Sam (1)
- Tsin, Yung Hyang (1)
- Tsur, Shalom (1)
- Vardi, Moshe Ya’akov (1)
- von zur Gathen, Joachim (1)
- Vornberger, Oliver (1)
- Whitesides, Sue H. (1)
- Witthoff, James D. (1)
- Wood, Derick (1)
- Yannakakis, Mihalis (1)
Software
- LCF (1)