1![Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University](https://www.pdfsearch.io/img/a8ea7033f72232a3629e95a0aa61f916.jpg) | Add to Reading ListSource URL: www.falkhowar.deLanguage: English - Date: 2018-09-30 08:43:02
|
---|
2![An Open Corpus of Everyday Documents for Simplification Tasks David Pellow and Maxine Eskenazi Language Technologies Institute, Carnegie Mellon University Pittsburgh PA USA , An Open Corpus of Everyday Documents for Simplification Tasks David Pellow and Maxine Eskenazi Language Technologies Institute, Carnegie Mellon University Pittsburgh PA USA ,](https://www.pdfsearch.io/img/d30bf4cb0862f2efb75fe5019a54542f.jpg) | Add to Reading ListSource URL: www.aclweb.orgLanguage: English - Date: 2014-04-18 10:19:08
|
---|
3![Measurement and Analysis of TCP Throughput Collapse in Cluster-based Storage Systems Amar Phanishayee, Elie Krevat, Vijay Vasudevan, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Srinivasan Seshan Carnegie Mello Measurement and Analysis of TCP Throughput Collapse in Cluster-based Storage Systems Amar Phanishayee, Elie Krevat, Vijay Vasudevan, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Srinivasan Seshan Carnegie Mello](https://www.pdfsearch.io/img/0da40a184bb465931daca3f975dec610.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2008-01-12 03:00:31
|
---|
4![2018 Carnegie Medal shortlist Talking Points Title: WED WABBIT Author: Lissa Evans Publisher: David Fickling Books 2018 Carnegie Medal shortlist Talking Points Title: WED WABBIT Author: Lissa Evans Publisher: David Fickling Books](https://www.pdfsearch.io/img/46417668402dbd9dbdf896b488249080.jpg) | Add to Reading ListSource URL: www.carnegiegreenaway.org.ukLanguage: English - Date: 2018-03-14 21:24:54
|
---|
5![Password Managers: Attacks and Defenses David Silver, Suman Jana, and Dan Boneh, Stanford University; Eric Chen and Collin Jackson, Carnegie Mellon University https://www.usenix.org/conference/usenixsecurity14/technical- Password Managers: Attacks and Defenses David Silver, Suman Jana, and Dan Boneh, Stanford University; Eric Chen and Collin Jackson, Carnegie Mellon University https://www.usenix.org/conference/usenixsecurity14/technical-](https://www.pdfsearch.io/img/f83b699fd3a75d46c02cf8eefba272c8.jpg) | Add to Reading ListSource URL: www.usenix.orgLanguage: English - Date: 2016-02-20 08:20:34
|
---|
6![Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules Lori Flynn, David Svoboda, and William Snavely Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania USA Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules Lori Flynn, David Svoboda, and William Snavely Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania USA](https://www.pdfsearch.io/img/bcb5e4b8b81e4c7ccd01c422644fdd2a.jpg) | Add to Reading ListSource URL: s3.amazonaws.comLanguage: English - Date: 2017-09-23 15:23:43
|
---|
7![Group Composition and Intelligent Dialogue Tutors for Impacting Students’ Academic Self-Efficacy Iris Howley, David Adamson, Gregory Dyke, Elijah Mayfield, Jack Beuth, Carolyn P. Rosé Carnegie Mellon University, Pitts Group Composition and Intelligent Dialogue Tutors for Impacting Students’ Academic Self-Efficacy Iris Howley, David Adamson, Gregory Dyke, Elijah Mayfield, Jack Beuth, Carolyn P. Rosé Carnegie Mellon University, Pitts](https://www.pdfsearch.io/img/5ddc3fb664fdce46432ddc32d670b59c.jpg) | Add to Reading ListSource URL: cs.williams.eduLanguage: English - Date: 2017-05-10 14:09:47
|
---|
8![Using Fast Weights to Deblur Old Memories Geoffrey E. Hinton and David C. Plaut Computer Science Department Carnegie-Mellon University Abstract Using Fast Weights to Deblur Old Memories Geoffrey E. Hinton and David C. Plaut Computer Science Department Carnegie-Mellon University Abstract](https://www.pdfsearch.io/img/af4e20771551d28f34e24edc1d01790a.jpg) | Add to Reading ListSource URL: pdfs.semanticscholar.org- Date: 2015-07-28 19:21:24
|
---|
9![Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University](https://www.pdfsearch.io/img/6b101285ab5ee11a5c2a7d6887a899be.jpg) | Add to Reading ListSource URL: crypto.stanford.edu- Date: 2014-09-05 12:24:36
|
---|
10![Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University](https://www.pdfsearch.io/img/5025dbf0e10e6420629de216f59eae8c.jpg) | Add to Reading ListSource URL: www.cs.columbia.edu- Date: 2017-09-11 05:14:19
|
---|