CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Van-de-Snepscheut-J-L-A"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: E | H | L | M | S | V
Number of items: 18.

E

Esselink, Klaas and Van de Snepscheut, Jan L. A. (1992) Molecular Dynamics on the Mosaic. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9P8493R. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-25

H

Hofstee, Peter H. and Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) A Distributed Implementation of a Task Pool. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-05

Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1990) Distributed sorting. Science of Computer Programming, 15 (2-3). pp. 119-133. ISSN 0167-6423. https://resolver.caltech.edu/CaltechAUTHORS:20170830-083320673

Hofstee, H. Peter and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1989) Distributed Sorting. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1989.cs-tr-90-06

L

Leino, K. Rustan M. and Van de Snepscheut, Jan L. A. (1993) Semantics of Exceptions. Computer Science Technical Reports, 1993.34. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9KK98TT. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-34

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1992) A Tutorial Introduction to Mosaic Pascal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-02

Lukkien, Johan J. and Van de Snepscheut, Jan L. A. (1991) Weakest Preconditions for Progress. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-90-13

M

Martin, Alain J. and Van de Snepscheut, Jan L. A. (1984) Networks of Machines for Distributed Recursive Computations. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1984.5147-tr-84

S

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture: Semiannual Technical Report. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NS0RX7. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-37

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1993) Submicron Systems Architecture. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9SJ1HNZ. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-10

Seitz, Charles L. and Martin, Alain J. and Van de Snepscheut, Jan L. A. (1992) Submicron Systems Architecture Project : Semiannual Technical Report. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9WS8RF5. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-92-17

V

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9NV9G8H. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

Van de Snepscheut, Jan L. A. (1993) On Lattice Theory and Program Semantics. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z95H7D9K. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-19

Van de Snepscheut, Jan L. A. (1993) Proxac: An Editor for Program Transformation. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z9V40S70. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-33

Van de Snepscheut, Jan L. A. (1992) A LISP Programming Exercise. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. doi:10.7907/Z93F4MSW. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1992.cs-tr-91-04

Van de Snepscheut, Jan L. A. (1991) Inversion of a Recursive Tree Traversal. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-07

Van de Snepscheut, Jan L. A. (1991) The Sliding Window Protocol Revisited. California Institute of Technology . (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1991.cs-tr-91-06

Van de Snepscheut, Jan L. A. (1991) On the Correctness of Sliding Window Protocols. California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20120426-141614436

This list was generated on Sun Dec 15 19:51:52 2019 PST.