Reports for Author "Naughton, Jeffrey F."

TR-316-91 - Checkpointing Multicomputer Applications (1991-04-00)
Naughton, Jeffrey F. / Li, Kai / Plank, James S.
TR-140-88 - Compiling Separable Recursions (1988-03-00)
Naughton, Jeffrey F.
TR-141-88 - Benchmarking Multi-Rule Recursion Evaluation Strategies (1988-03-00)
Naughton, Jeffrey F.
TR-150-88 - Minimizing Expansions of Recursions (1988-04-00)
Naughton, Jeffrey F. / Sagiv, Yehoshua
TR-159-88 - Multiprocessor Main Memory Transaction Processing (1988-06-00)
Naughton, Jeffrey F. / Li, Kai
TR-203-89 - Clocked Adversaries for Hashing (1989-02-00)
Naughton, Jeffrey F. / Lipton, Richard J.
TR-209-89 - Estimating the Size of Path Relations (1989-01-00)
Naughton, Jeffrey F. / Lipton, Richard J.
TR-239-89 - Real-Time, Concurrent Checkpoint for Parallel Programs (1989-12-00)
Naughton, Jeffrey F. / Li, Kai / Plank, James S.