David Gries
- Finding repeated elements
1982/11/01 by J. Misra, Jayadev Misra, David Gries · 56 citations
Business, Management and Accounting · Engineering · #Optimization and Packing Problems #Product Development and Customization #VLSI and FPGA Design Techniques
- An axiomatic proof technique for parallel programs I
1976/01/01 by Susan Owicki, David Gries · 10 citations
Computer Science · #Distributed systems and fault tolerance #Logic, programming, and type systems #Parallel Computing and Optimization Techniques
- A constructive proof of Vizing's theorem
1992/03/01 by J. Misra, Jayadev Misra, David Gries · 4 citations
Computer Science · Engineering · Mathematics · #Combinatorics #Computer science #Constructive #Constructive proof #Discrete mathematics #Graph #Graph Labeling and Dimension Problems #Graph theory and applications #Mathematics #Multiset #Upper and lower bounds #graph theory and CDMA systems
- Computing as a discipline
1989/02/01 by Peter J. Denning, Douglas E. Comer, David Gries +4 · 2 citations
Computer Science · Engineering · #Teaching and Learning Programming #Information Systems Education and Curriculum Development #Experimental Learning in Engineering
- Beauty Is Our Business
1990/01/01 by W. H. J. Feijen, A. J. M. van Gasteren, David Gries +1 · 1 citation
Arts and Humanities · #Fashion and Cultural Textiles
- A Logical Approach to Discrete Math
1993/01/01 by David Gries, Fred B. Schneider · 1 citation
Computer Science · Mathematics · Medicine · #Arithmetic #Calculus (dental) #Computability, Logic, AI Algorithms #Computer science #Isolation (microbiology) #Logic, Reasoning, and Knowledge #Mathematical and Theoretical Analysis #Mathematical logic #Mathematics #Mathematics education #Medicine #Programming language #Subject (documents) #World Wide Web
- A linear sieve algorithm for finding prime numbers
1978/12/01 by David Gries, Jayadev Misra · 1 citation
Mathematics · Computer Science · Engineering · #Analytic Number Theory Research #Algorithms and Data Compression #graph theory and CDMA systems #Mathematics #Prime number #Prime (order theory) #Algorithm #Time complexity #Prime factor #Discrete mathematics #Multiplication (music) #Arithmetic #Integer (computer science) #Factorization #Combinatorics #Computer science