Courant Institute

Research Output

Filter
Chapter
1994

Simple examples with features of renormalization for turbulent transport

Avellaneda, M. & Majda, A. J., 1994, Philosophical Transactions - Royal Society of London, A. 1679 ed. Vol. 346. p. 205-233 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1992

Architectures for parallel supercomputing

Gottlieb, A., Sep 1992, Parallel computing and transfer applications. Valero, M., Onate, E., Jane, M., Larriba, J. L. & Suarez, B. (eds.). CIMA, Barcelona and ISO Press, Amsterdam , p. 39-47

Research output: Chapter in Book/Report/Conference proceedingChapter

1987

Compiling path expressions into VLSI circuits

Anantharaman, T. S., Clarke, E. M., Foster, M. J. & Mishra, B., Dec 1 1987, Unknown Host Publication Title. p. 305-355 51 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1986

Numerical solution of the three-dimensional Stokes' equations in the presence of suspended particles.

Fogelson, A. L. & Peskin, C. S., Jan 1 1986, Unknown Host Publication Title. Soc. Ind. & Appl. Math

Research output: Chapter in Book/Report/Conference proceedingChapter

Representing and acquiring geographic knowledge.

Davis, E., Jan 1 1986, Representing and acquiring geographic knowledge.. Pitman, London; Morgan Kaufmann, Los Altos, CA; Research Notes in Artificial Intelligence Series

Research output: Chapter in Book/Report/Conference proceedingChapter

1985

A Lagrangian method based on the Voronoi diagram for the incompressible Navier Stokes equations on the periodic domain.

Borgers, C. & Peskin, C. S., Jan 1 1985, Unknown Host Publication Title. (eds.), Berlin, Fed. Rep. Germany, Springer-Verlag, 1985, p.8... ed. Springer Verlag

Research output: Chapter in Book/Report/Conference proceedingChapter

1979

Systematic design of program analysis frameworks

Cousot, P. & Cousot, R., 1979, Conference Record of the 6th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), San Antonio, Texas. ACM, p. 269-282 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1978

COPING WITH ERRORS IN BINARY SEARCH PROCEDURES.

Rivest, R. L., Meyer, A. R., Kleitman, D. J., Winklmann, K. & Spencer, J., 1978, Unknown Host Publication Title. ACM, p. 227-232 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

On formulating simultaneity for studying parallelism and synchronization

Miller, R. E. & Yap, C., 1978, Proceedings of the 10th Annual ACM Symposium on Theory of Computing (STOC) San Diego, California. 1978). ACM, p. 105-113 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1970

Debugging system AIDS

Grishman, R., 1970, Proceedings of the Spring Joint Computer Conference, 1970. Vol. 36. p. 59-64 6 p.

Research output: Chapter in Book/Report/Conference proceedingChapter