Publications

Found 4113 results
Author Title [ Type(Desc)] Year
Technical Report
Marino, M. (1992).  Process Grammar Processor: An Architecture for a Parallel Parser.
Gaede, V., & Günther O. (1994).  Processing Joins With User-Defined Functions.
Kannan, S. (1989).  Program Checkers for Algebraic Problems.
Kannan, S. (1989).  Program Checkers for Algebraic Problems (Thesis).
Blum, M. E., & Kannan S. (1988).  Program Correctness Checking and the Design of Programs That Check Their Work.
Kohler, E., Chen B., M. Kaashoek F., Morris R., & Poletto M. (2000).  Programming Language Techniques for Modular Router Configurations.
Wu, S-L. (1995).  Properties of Stochastic Perceptual Auditory-event-based Models for Automatic Speech Recognition.
Kalfa, W. (1992).  Proposal of an External Processor Scheduling in Micro-Kernel Based Operating Systems.
Feldman, J. (2002).  A Proposed Formalism for ECG Schemas, Constructions, Mental Spaces, and Maps.
Mauve, M. (1997).  Protocol Enhancement and Compression for X-Based Application Sharing.
Lowery, C. M. (1991).  Protocols for Providing Performance Guarantees in a Packet Switching Internet.
Schmidt, H. W. (1990).  Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event.
Stoutamire, D. (1995).  The pSather 1.0 Manual.
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.
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.
Impagliazzo, R., & Luby M. (1989).  Pseudo-Random Number Generator From ANY One-Way Function.
Callahan, T., Allman M., & Rabinovich M. (2012).  Psst, Over Here: Communicating Without Fixed Infrastructure.
Herzberg, A., & Luby M. (1992).  Public Randomness in Cryptography.
Thielscher, M. (1996).  Qualification and Causality.
Lischke, G. (1992).  The Quality of Separation Between NP and Exponential Time; Reducing the Cases.
Ferrari, D., & Verma D. C. (1990).  Quality of Service in ATM Networks.
Alfano, M. (1995).  A Quality of Service Management Architecture (QoSMA): A Preliminary Study.
Ramaekers, J., & Ventre G. (1992).  Quality-of-Service Negotiation in a Real-Time Communication Network.

Pages