J. J. Jeffrey - PDFSEARCH.IO - Document Search Engine

J. J. Jeffrey
Results: 570

#	Item
1	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
2	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
3	Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University Add to Reading List Source URL: seahorn.github.io Language: English - Date: 2018-08-03 20:31:21 Computing Software engineering Computer programming Methods of proof Logic in computer science Pointer Exec Counterexample Objective-C Model checking Abstract interpretation Operational semantics
4	Rural Community Participation, Social Networks, and Broadband Use: Examples from Localized and National Survey Data Michael J. Stern, Alison E. Adams, and Jeffrey Boase Although attention has been given to how broadband Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:58 Technology Culture Information and communications technology Cultural globalization Digital technology Broadband Community building Digital media Internet access Social capital Digital divide Internet
5	Student Social and Emotional Development and Accountability: Perspective of Teachers National Network of State Teachers of the Year Elizabeth J. Glennie, Ph.D. Jeffrey A. Rosen, Ph.D. Add to Reading List Source URL: www.nnstoy.org Language: English - Date: 2017-06-22 11:45:03
6	Pacific North American circulation pattern links external forcing and North American hydroclimatic change over the past millennium Zhongfang Liua,1, Yanlin Tangb, Zhimin Jiana, Christopher J. Poulsenc, Jeffrey M. Welkerd Add to Reading List Source URL: www.stevenphipps.com Language: English - Date: 2017-04-15 03:38:53
7	Policy Compression for Aircraft Collision Avoidance Systems Kyle D. Julian∗ , Jessica Lopez† , Jeffrey S. Brush† , Michael P. Owen‡ and Mykel J. Kochenderfer∗ ∗ Department of Aeronautics and Astronautics, St Add to Reading List Source URL: web.stanford.edu Language: English - Date: 2016-10-13 20:16:38
8	YOUNG, SOMMER ... LLC JEFFREY S. BAKER DAVID C. BRENNAN MICHAEL J. MOORE J. MICHAEL NAUGHTON KENNETH S. RITZENBERG Add to Reading List Source URL: dddb.net Language: English - Date: 2009-11-23 14:43:57
9	YOUNG, SOMMER ... LLC JEFFREY S. BAKER DAVID C. BRENNAN MICHAEL J. MOORE J. MICHAEL NAUGHTON KENNETH S. RITZENBERG Add to Reading List Source URL: dddb.net Language: English - Date: 2009-11-23 14:43:57
10	Mutualistic Co-evolution of Type III Effector Genes in Sinorhizobium fredii and Bradyrhizobium japonicum Jeffrey A. Kimbrel1,2.¤, William J. Thomas1,2., Yuan Jiang3,4, Allison L. Creason1,2, Caitlin A. Thireault1, Joel Add to Reading List Source URL: www.sachslab.com Language: English - Date: 2013-02-28 23:31:38

UPDATE