Publications

Found 4258 results
Author Title [ Type(Asc)] Year
Technical Report
Färber, P. (1997).  Quicknet on MultiSpert: Fast Parallel Neural Network Training.
Banerjea, A., & Keshav S. (1992).  Queueing Delays in Rate Controlled Networks.
Ramaekers, J., & Ventre G. (1992).  Quality-of-Service Negotiation in a Real-Time Communication Network.
Alfano, M. (1995).  A Quality of Service Management Architecture (QoSMA): A Preliminary Study.
Ferrari, D., & Verma D. C. (1990).  Quality of Service in ATM Networks.
Lischke, G. (1992).  The Quality of Separation Between NP and Exponential Time; Reducing the Cases.
Thielscher, M. (1996).  Qualification and Causality.
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.

Pages