Search Results - "Horowitz, Ellis"

A Generalized Implicit Enumeration Algorithm for Graph Coloring.

Authors: Horowitz, Ellis Kubale, Marek Jackowski, Boguslaw

Source: Communications of the ACM. Apr1985, Vol. 28 Issue 4, p412-418. 7p. 1 Chart, 2 Graphs.

Subjects: Algorithms, Graph coloring, Graph theory, Backtrack programming, Computer programming, Sequential analysis

AN INVERTED TAXONOMY of SORTING ALGORITHMS.

Authors: Horowitz, Ellis Merritt, Susan M.

Source: Communications of the ACM. Jan1985, Vol. 28 Issue 1, p96-99. 4p. 1 Graph.

Subjects: Algorithms, Computer programming, Online algorithms, Sorting (Electronic computers), Electronic data processing

Program Developments: Formal Explanations of Implementations.

Authors: Wile, David S. Horowitz, Ellis

Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p902-911. 10p.

Subjects: Computer programming, Algorithms, Electronic data processing, Mathematical analysis, Mathematical transformations, Differential invariants

On-the-Fly Optimization of Data Structures.

Authors: Kessels, J. L. W. Horowitz, Ellis

Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p895-901. 7p. 4 Diagrams.

Subjects: Data structures, Electronic data processing, Computer programming, Electronic file management, Mathematical optimization, Mathematical analysis

Abstract Data Types and Software Validation.

Authors: Guttag, John V. Horowitz, Ellis Musser, David R. et al.

Source: Communications of the ACM. Dec1978, Vol. 21 Issue 12, p1048-1064. 17p. 9 Diagrams.

Subjects: Abstract data types (Computer science), Computer programming, Software validation, Programming languages, Axioms, Computer science

ACM Forum.

Authors: Skelly, Patrick G. Borko, Harold Horowitz, Ellis et al.

Source: Communications of the ACM; Mar1971, Vol. 14 Issue 3, p196-198, 3p

Amortized Efficiency of List Update and Paging Rules.

Authors: Sleator, Daniel D. Tarjan, Robert E. Horowitz, Ellis

Source: Communications of the ACM. Feb1985, Vol. 28 Issue 2, p202-208. 7p. 2 Diagrams.

Subjects: Paging (Computer science), Online algorithms

A Constructive Approach to the Design of Algorithms and Their Data Structures.

Authors: Gonnet, Gaston H. Tompa, Frank W. Horowitz, Ellis

Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p912-920. 9p. 1 Diagram.

Subjects: Data structures, Electronic data processing, Computer programming, Electronic file management, Abstract data types (Computer science), Information storage & retrieval systems

A Multiple-Stack Manipulation Procedure.

Authors: Korsch, James F. Laison, Gary Horowitz, Ellis

Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p921-923. 3p. 2 Diagrams, 2 Charts.

Subjects: Computer simulation, Electromechanical analogies, Mathematical models, Computer programming, Algorithms, Electronic data processing

Computers, Society, and Law- The Role of Legal Education.

Authors: Horowitz, Ellis

Source: Communications of the ACM. Nov73, Vol. 16 Issue 11, p715-715. 1p.

Subjects: Computer industry, High technology industries, Law, Computers, Conferences & conventions

Implementation is semantic interpretation.

Authors: Rapaport, William J.

Source: Monist; January 1999, Vol. 82 Issue 1, p109-130, 22p

Encapsulating non-determinacy in an abstract data type with determinate semantics.

Authors: Burton, F. Warren¹

Source: Journal of Functional Programming. Jan1991, Vol. 1 Issue 1, p3-20. 18p.

Acm news.

Source: Communications of the ACM; Jul1981, Vol. 24 Issue 7, p484-488, 5p

Going Beyond Google Again : Strategies for Using and Teaching the Invisible Web

Authors: Jane Devine Francine Egger-Sider

Resource Type: eBook.

Subjects: Internet searching, Database searching, Invisible Web--Study and teaching

Categories: LANGUAGE ARTS & DISCIPLINES / Library & Information Science / General

A MONTE CARLO STUDY OF CICHELLI HASH-FUNCTION SOLVABILITY.

Authors: Bell, R. Charles Floyd, Bryan Horowitz, Ellis

Source: Communications of the ACM. Nov83, Vol. 26 Issue 11, p924-925. 2p. 5 Charts.

Subjects: Hashing, Electronic file management, Monte Carlo method, Games of chance, Mathematical models, Numerical analysis

Book Reviews.

Authors: Cornell, Gary Stewart, Ian

Source: Mathematical Intelligencer. Jun1984, Vol. 6 Issue 2, p64-73. 10p.

Modern Computer Algebra

Authors: Joachim von zur Gathen Jürgen Gerhard

Resource Type: eBook.

Subjects: Algorithms, Computer algorithms

Categories: MATHEMATICS / Algebra / Intermediate

The Handbook of East Asian Psycholinguistics: Volume 3, Korean

Authors: Chungmin Lee Greg B. Simpson Youngjin Kim

Resource Type: eBook.

Subjects: Korean language--Psychological aspects, Psycholinguistics--East Asia

Categories: LANGUAGE ARTS & DISCIPLINES / Linguistics / Psycholinguistics / General

Programming Language Pragmatics

Authors: Michael L. Scott

Resource Type: eBook.

Subjects: Programming languages (Electronic computers)

Categories: COMPUTERS / Languages / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science

Software Design for Engineers and Scientists

Authors: Robinson, John A.

Resource Type: eBook.

Subjects: Computer software--Development, Engineering--Data processing, Computer programming, Software engineering

Categories: TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Engineering (General)