Publications

Export 4 results:

1990

M. M. Gorlick, C. F. Kesselman, D. A. Marotta, and S. D. Parker, Mockingbird: A Logical Methodology for Testing, , vol. 8, no. 1: North-Holland, pp. 95–119, 1990.

1988

M. M. Gorlick, and C. Kesselman, "Gauge: A Workbench for the Performance Analysis of Logic Programs.", ICLP/SLP, pp. 548–561, 1988.

C. F. Kesselman, M. M. Gorlick, and J. A. Bannister, Integrated Evaluation of Parallel Systems, : DTIC Document, 1988.

1987

M. M. Gorlick, and C. Kesselman, "Timing Prolog Programs without Clocks", SLP, vol. 87, pp. 426–432, 1987.