Publications

Found 296 results
Author Title [ Type(Asc)] Year
Filters: First Letter Of Title is P  [Clear All Filters]
Technical Report
Herzberg, A., & Luby M. (1992).  Public Randomness in Cryptography.
Callahan, T., Allman M., & Rabinovich M. (2012).  Psst, Over Here: Communicating Without Fixed Infrastructure.
Impagliazzo, R., & Luby M. (1989).  Pseudo-Random Number Generator From ANY One-Way Function.
Feldman, J., Lim C-C., & Mazzanti F. (1991).  pSather Monitors: Design, Tutorial, Rationale and Implementation.
Feldman, J., Lim C-C., & Mazzanti F. (1989).  pSather monitors: Design, Tutorial, Rationale and Implementation.
Feldman, J., Lim C-C., & Murer S. (1993).  pSather: Layered Extensions to an Object-Oriented Language for Efficient Parallel Computation.
Murer, S., Feldman J., Lim C-C., & Seidel M-M. (1993).  pSather: Layered Extensions to an Object-Oriented Language for Efficient Parallel Computation.
Stoutamire, D. (1995).  The pSather 1.0 Manual.
Schmidt, H. W. (1990).  Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event.
Lowery, C. M. (1991).  Protocols for Providing Performance Guarantees in a Packet Switching Internet.
Mauve, M. (1997).  Protocol Enhancement and Compression for X-Based Application Sharing.
Feldman, J. (2002).  A Proposed Formalism for ECG Schemas, Constructions, Mental Spaces, and Maps.
Kalfa, W. (1992).  Proposal of an External Processor Scheduling in Micro-Kernel Based Operating Systems.
Wu, S-L. (1995).  Properties of Stochastic Perceptual Auditory-event-based Models for Automatic Speech Recognition.
Kohler, E., Chen B., M. Kaashoek F., Morris R., & Poletto M. (2000).  Programming Language Techniques for Modular Router Configurations.
Blum, M. E., & Kannan S. (1988).  Program Correctness Checking and the Design of Programs That Check Their Work.
Kannan, S. (1989).  Program Checkers for Algebraic Problems (Thesis).
Kannan, S. (1989).  Program Checkers for Algebraic Problems.
Gaede, V., & Günther O. (1994).  Processing Joins With User-Defined Functions.
Marino, M. (1992).  Process Grammar Processor: An Architecture for a Parallel Parser.
ICSI (1990).  Proceedings of the First International Workshop on Network Operating SystemSupport for Digital Audio and Video.

Pages