Rinard - PDFSEARCH.IO - Document Search Engine

Rinard
Results: 40

#	Item
1	Appendix to Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard Add to Reading List Source URL: groups.csail.mit.edu - Date: 2011-06-03 20:25:46
2	Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard}@csail.mit. Add to Reading List Source URL: groups.csail.mit.edu - Date: 2011-05-09 19:00:27
3	Synthesis of Randomized Accuracy-Aware Map-Fold Programs Sasa Misailovic Martin Rinard MIT CSAIL Add to Reading List Source URL: sampa.cs.washington.edu - Date: 2016-09-29 13:03:17
4	Patterns and Statistical Analysis for Understanding Reduced Resource Computing Martin Rinard Henry Hoffmann Add to Reading List Source URL: people.csail.mit.edu - Date: 2016-04-04 16:51:46
5	Probabilistically Accurate Program Transformations Sasa Misailovic, Daniel M. Roy, and Martin C. Rinard MIT CSAIL {misailo, droy, rinard}@csail.mit.edu Add to Reading List Source URL: people.csail.mit.edu - Date: 2011-08-02 22:31:07
6	Detecting and Escaping Infinite Loops with Jolt Michael Carbin, Sasa Misailovic, Michael Kling, and Martin C. Rinard Massachusetts Institute of Technology, Cambridge, MA, USA {mcarbin, misailo, mkling, rinard}@csail.mit. Add to Reading List Source URL: people.csail.mit.edu - Date: 2011-05-19 10:15:43
7	Exploring the Acceptability Envelope ∗ Martin Rinard Cristian Cadar Huu Hai Nguyen Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2016-03-08 07:04:45
8	Enhancing Server Availability and Security Through Failure-Oblivious Computing Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. Computer Science and Artificial Intellig Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Computing Computer errors Computer memory Server Server hardware Buffer overflow Sendmail Error detection and correction Segmentation fault Exception handling Bounds checking Transmission Control Protocol
9	Boundless Memory Blocks Cristian Cadar M. Rinard, D. Dumitran Massachusetts Institute of Technology Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46
10	Jade: A High-Level, Machine-Independent Language for Parallel Programming Martin C. Rinard, Daniel J. Scales and Monica S. Lam Computer Systems Laboratory Stanford University, CA 94305 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2002-03-28 10:14:44 Concurrent computing Computing Parallel computing Software engineering Data parallelism Automatic parallelization Programming language Concurrency Programming paradigm Lock Type system Optimizing compiler

UPDATE