Search Results - "Lipton, Richard J."

The complexity of the A B C problem.

Authors: Cai, Jin-Yi Lipton, Richard J. Zalcstein, Yechezkel

Source: SIAM Journal on Computing; 2000, Vol. 29 Issue 5, p1878-1888, 11p

DNA solution of hard computational problems.

Authors: Lipton, Richard J.

Source: Science; April 28 1995, Vol. 268, p542-545, 4p

Reconstructing algebraic functions from mixed data.

Authors: Ar, Sigal Lipton, Richard J. Rubinfeld, Ronitt

Source: SIAM Journal on Computing; 1998, Vol. 28 Issue 2, p487-510, 24p

On Fundamental Tradeoffs Between Delay Bounds and Computational Complexity in Packet Scheduling Algorithms.

Authors: Xu, Jun Lipton, Richard J.

Source: IEEE/ACM Transactions on Networking; February 2005, Vol. 13 Issue 1, p15-28, 14p

Too Much Debate?

Authors: DeMillo, Richard A. Lipton, Richard J.

Source: Communications of the ACM; March 2010, Vol. 53 Issue 3, p6-7, 2p

This result is not displayed to guests.
Login for full access.

Computational approaches to discovering semantics in molecular biology.

Authors: Lipton, Richard J. Marr, Thomas G. Welsh, J. Douglas

Source: Proceedings of the IEEE; July 1989, Vol. 77, p1056-1060, 5p

How to store a triangular matrix.

Authors: LaPaugh, Andrea S. Lipton, Richard J. Sandberg, Jonathan S.

Source: IEEE Transactions on Computers; July 1992, Vol. 41, p896-899, 4p

A class of randomized strategies for low-cost comparison of file copies.

Authors: Barbará, Daniel Lipton, Richard J.

Source: IEEE Transactions on Parallel & Distributed Systems; April 1991, Vol. 2, p160-170, 11p

Subquadratic simulations of balanced formulae by branching programs.

Authors: Cai, Jin-Yi Lipton, Richard J.

Source: SIAM Journal on Computing; June 1994, Vol. 23, p563-572, 10p

Alternating pushdown and stack automata.

Authors: Ladner, Richard E. Lipton, Richard J. Stockmeyer, Larry J.

Source: SIAM Journal on Computing; February 1984, Vol. 13, p135-155, 21p

DNA computing: a possible efficiency boost for specialized problems.

Authors: Forbes, Nancy A. Lipton, Richard J.

Source: Computers in Physics; July/August 1998, Vol. 12 Issue 4, p304-306, 3p

A Note on Square Rooting of Time Functions of Turing Machines.

Authors: Lipton, Richard J. Ogihara, Mitsunori Zalcstein, Yechezkel

Source: Theory of Computing Systems. May2003, Vol. 36 Issue 3, p295. 5p.

Subjects: Machine theory, Square root, Mathematical functions, Mathematics

On the Importance of Eliminating Errors in Cryptographic Computations.

Authors: Boneh, Dan DeMillo, Richard A. Lipton, Richard J.

Source: Journal of Cryptology; 2001, Vol. 14 Issue 2, p101, 19p

THE COMPLEXITY OF THE A BC PROBLEM.

Authors: Jin-Yi Cai Lipton, Richard J. Yechezkel Zalcstein

Source: SIAM Journal on Computing. 2000, Vol. 29 Issue 6, p1878. 11p.

Subjects: Algorithms, Polynomials, Semigroups (Algebra), Group theory

Social Processes and Proofs of Theorems and Programs.

Authors: De Milo, Richard A. Lipton, Richard J. Perlis, Alan J.

Source: Communications of the ACM. May79, Vol. 22 Issue 5, p271-280. 10p.

Subjects: Software verification, Software engineering, Computer software, Mathematical programming, Philosophy of mathematics, Computer training, Computer science

Reduction: A Method of Proving Properties of Parallel Programs.

Authors: Lipton, Richard J.¹

Source: Communications of the ACM. Dec1975, Vol. 18 Issue 12, p717-721. 5p.

Subjects: Parallel programming, Computer programming, Parallel logic programming, Programming languages, Computational linguistics, Information theory, Logic programming, Artificial languages, Computer software

Defining software by continuous, smooth functions.

Authors: DeMillo, Richard A. Lipton, Richard J.

Source: IEEE Transactions on Software Engineering; April 1991, Vol. 17, p383-384, 2p

Estimating the maximum

Authors: Gum, Ben Lipton, Richard J. LaPaugh, Andrea et al.

Source: Journal of Algorithms. Jan2005, Vol. 54 Issue 1, p105-114. 10p.

Subjects: Statistical sampling, Algorithms, Algebra, Graph theory

On the complexity of intersecting finite state automata and NL versus NP

Authors: Karakostas, George Lipton, Richard J. Viglas, Anastasios

Source: Theoretical Computer Science. Jun2003, Vol. 302 Issue 1-3, p257. 18p.

Subjects: Algorithms, Machine theory