Conferences in DBLP
E. P. Stabler Threshold gate network synthesis [Citation Graph (0, 0)][DBLP ] Conf ] C. L. Coates , Vatana Supornpaibul On maximum stability realizations of linearly separable Boolean functions [Citation Graph (0, 0)][DBLP ] Conf ] Charles H. Gustafson , Donald R. Haring , Alfred K. Susskind , Thomas G. Wills-Sanford Synthesis of counters with threshold elements [Citation Graph (0, 0)][DBLP ] Conf ] Sze-Tsen Hu Minimal linear decompositions of switching functions [Citation Graph (0, 0)][DBLP ] Conf ] R. Gonzalez , Eugene L. Lawler Two-level threshold minimization [Citation Graph (0, 0)][DBLP ] Conf ] H. Paul Zeiger Cascade synthesis of finite-state machines [Citation Graph (0, 0)][DBLP ] Conf ] Zvi Kohavi , Edward J. Smith Decomposition of sequential machines [Citation Graph (0, 0)][DBLP ] Conf ] A. J. Nichols III Modular synthesis of sequential machines [Citation Graph (0, 0)][DBLP ] Conf ] Wayne A. Davis On shift register realizations for sequential machines [Citation Graph (0, 0)][DBLP ] Conf ] Janusz A. Brzozowski On single-loop realizations of automata [Citation Graph (0, 0)][DBLP ] Conf ] Arthur D. Friedman Feedback in asynchronous sequential circuits [Citation Graph (0, 0)][DBLP ] Conf ] James F. Gimpel The synthesis of TANT networks [Citation Graph (0, 0)][DBLP ] Conf ] Marion Dunning , Bernard Kolman Reliability and fault-masking in n-variable NOR trees [Citation Graph (0, 0)][DBLP ] Conf ] C. V. Ramamoorthy Procedures for minimization of ``exclusive-OR'' and ``logical-equivalence'' switching circuits [Citation Graph (0, 0)][DBLP ] Conf ] H. H. Loomis Jr. , M. R. McCoy A theory of high-speed clocked logic [Citation Graph (0, 0)][DBLP ] Conf ] Edward W. Veitch A proof concerning infinite nets of logic elements without feedback [Citation Graph (0, 0)][DBLP ] Conf ] F. C. Hennie Crossing sequences and off-line Turing machine computations [Citation Graph (0, 0)][DBLP ] Conf ] S. S. Ruby , Patrick C. Fischer Translational methods and computational complexity [Citation Graph (0, 0)][DBLP ] Conf ] Richard Edwin Stearns , Juris Hartmanis , Philip M. Lewis II Hierarchies of memory limited computations [Citation Graph (1, 0)][DBLP ] Conf ] Philip M. Lewis II , Richard Edwin Stearns , Juris Hartmanis Memory bounds for recognition of context-free and context-sensitive languages [Citation Graph (0, 0)][DBLP ] Conf ] Seymour Ginsburg , Sheila A. Greibach Deterministic context free languages [Citation Graph (0, 0)][DBLP ] Conf ] Arnold L. Rosenberg On multi-head finite automata [Citation Graph (0, 0)][DBLP ] Conf ] Jürg Nievergelt Partially ordered classes of finite automata [Citation Graph (0, 0)][DBLP ] Conf ] Yehoshafat Give'on Transparent categories and categories of transition systems [Citation Graph (0, 0)][DBLP ] Conf ] Zamir Bavel , David E. Muller Reversibility in monadic algebras and automata [Citation Graph (0, 0)][DBLP ] Conf ] Eric G. Wagner On connecting modules together uniformly to form a modular computer [Citation Graph (0, 0)][DBLP ] Conf ] Jack W. Carlyle State-calculable stochastic sequential machines, equivalences, and events [Citation Graph (0, 0)][DBLP ] Conf ] I. Terris , Michel A. Melkanoff Investigation and simulation of a self-repairing digital computer [Citation Graph (0, 0)][DBLP ] Conf ] B. R. S. Buckingham , William C. Carter , W. R. Crawford , G. A. Nowell The controls automation system [Citation Graph (0, 0)][DBLP ] Conf ] F. J. Hackl , R. W. Shirk An integrated approach to automated computer maintenance [Citation Graph (0, 0)][DBLP ] Conf ] John N. Warfield Synthesis of switching circuits to yield prescribed probability relations [Citation Graph (0, 0)][DBLP ] Conf ] Parker W. Snapp Holiac-A family of student-constructed logic teaching aids [Citation Graph (0, 0)][DBLP ] Conf ] 