Publications

Found 4258 results
Author Title [ Type(Desc)] Year
Technical Report
Rubinfeld, R. (1990).  Designing Checkers for Programs that Run in Parallel.
Blum, M. E. (1988).  Designing Programs to Check Their Work.
Voisard, A., & Ziekow H. (2009).  Designing Sensor-Based Event Processing Infrastructures: A Tradeoff Analysis.
Kannan, J., Jung J., Paxson V., & Koksal C. Emre (2005).  Detecting Hidden Causality in Network Connections.
Posch, S. (1991).  Detecting Skewed Symmetries.
Griesemer, R. (1994).  Detection of Side-Effects in Function Procedures.
Knightly, E. W. (1996).  Determining Priority Queue Performance from Second Moment Traffic Characterizations.
Luby, M., & Velickovic B. (1993).  On Deterministic Approximation of DNF.
Giammarresi, D., & Montalbano R. (1996).  Deterministic Generalized Automata.
Adamo, J-M. (1994).  Development of Parallel BLAS with ARCH Object-Oriented Parallel Library, Implementation on CM-5.
Morgan, N., Asanović K., Kingsbury B., & Wawrzynek J. (1990).  Developments in Digital VLSI Design for Artificial Neural Networks.
Wöhlke, G. (1994).  Dextrous Object Manipulation with Robot Hands Including Rolling and Slipping: Improved Motion & Force Computation Method.
Rüttgers, M. (1997).  Differential Evolution: A Method for Optimization of Real Scheduling Problems.
Storn, R., & Price K. (1995).  Differential Evolution - A Simple and Efficient Adaptive Scheme for Global Optimization Over Continuous Spaces.
Storn, R. (1995).  Differential Evolution Design of an IIR-Filter with Requirements for Magnitude and Group Delay.
Tschantz, M. Carl, Sen S., & Datta A. (2017).  Differential Privacy as a Causal Property.
Byers, J. W., Luby M., Mitzenmacher M., & Rege A. (1998).  Digital Fountain Approach to Reliable Distribution of Bulk Data.
Byers, J. W., Luby M., Mitzenmacher M., & Rege A. (1998).  A Digital Fountain Approach to Reliable Distribution of Bulk Data.
Santos, E. E. (1995).  Direct Methods for Solving Tridiagonal Linear Systems in Parallel.
Piccolboni, A.., & Schindelhauer C. (2000).  Discrete Prediction Games with Arbitrary Feedback and Loss.
Zaharia, M., Das T., Li H., Hunter T., Shenker S. J., & Stoica I. (2012).  Discretized Streams: A Fault-Tolerant Model for Scalable Stream Processing.
Shire, M. Lee (2000).  Discriminant Training of Front-End and Acoustic Modeling Stages to Heterogeneous Acoustic Environments for Multi-Stream Automatic Speech Recognition.
Segal, E., & Sharan R. (2003).  A Discriminative Model for Identifying Spatial cis-Regulatory Modules.
Gilge, M. (1991).  Distortion Accumulation in Image Transform Coding/Decoding Cascades.
Ferrari, D., Gupta A., & Ventre G. (1995).  Distributed advance reservation of real-time connections.

Pages