Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
991	Blended Program Analysis for Improving Reliability of Real-world Applications Dr. Barbara G. Ryder J. Byron Maupin Professor of Engineering Virginia Tech Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2013-03-24 21:20:50 Program analysis Java platform Computing platforms Dynamic programming language Evaluation strategy JavaScript Static program analysis Dynamic program analysis C Computing Software engineering Cross-platform software
992	HILT 2014: HIGH INTEGRITY LANGUAGE TECHNOLOGY ACM SIGAda’s Annual International Conference Co-Located with OOPSLA/SPLASH 2014 October 18 – 21, Portland, Oregon / Final Program High integrity software must not Add to Reading List Source URL: www.sigada.org Language: English - Date: 2014-10-08 09:12:42 Ada programming language Ada SPARK Architecture Analysis & Design Language A Sharp PM OOPSLA Computing Software engineering Computer programming
993	2014 NCA LSI DIVISION – Long Program THURSDAY, NOV 20 2014 Add to Reading List Source URL: www.nca-lsi.org Language: English - Date: 2014-11-05 14:37:22 Knowledge Sociolinguistics Emanuel Schegloff Linguists Applied linguistics Conversation Framing Discourse Conversation analysis Linguistics Discourse analysis Science
994	Economic Impact Analysis And Program Evaluation 2009 Conference on International Opportunities in the Arts September 2009 Add to Reading List Source URL: transculturalexchange.org Language: English - Date: 2009-10-06 19:02:19 Globalization Education in the United States Academia Culture New England Association of Schools and Colleges Artist-in-residence University of Massachusetts Amherst
995	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMay 2014) Contents Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2014-05-05 13:14:35 Embedded Linux Cloud clients Android Application software Apache Ant Portable Document Format Software Computing Smartphones
996	SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMayDo not distribute. Add to Reading List Source URL: types.cs.washington.edu Language: English - Date: 2013-05-01 12:50:57 Android Information flow Type system Apache Ant Java Static single assignment form NME Annotation Software Computing Cross-platform software
997	MRI screening program for individuals at high risk of pancreatic cancer Add to Reading List Source URL: medicalxpress.com Language: English - Date: 2015-05-28 09:53:07 Pancreatic cancer Cancer Intraductal papillary mucinous neoplasm Surgical Outcomes Analysis and Research Medicine Pancreas disorders Oncology
998	Learning from 26 Languages: Program Management and Science in the Babel Program Mary Harper Incisive Analysis Office Intelligence Advanced Research Projects Activity Office of the Director of National Intelligence Add to Reading List Source URL: anthology.aclweb.org Language: English Speech recognition Humanâ€“computer interaction Human behavior Behavior Computational linguistics Intelligence Advanced Research Projects Activity Language
999	In Solidarity with People’s Protest and Resistance in Iran A Compilation of Statements, Reports, Analysis and Appeals in Wake of the Post Election Events of June 2009 A Special Issue of the South Asia Citizens Wire - 2 Add to Reading List Source URL: www.sacw.net Language: English - Date: 2009-06-24 12:12:06 Government of Iran Iran–United States relations Cinema of Iran Pirouz Mojtahedzadeh Ramin Jahanbegloo Mahmoud Ahmadinejad Muhammad Sahimi Nuclear program of Iran Iran Asia Economy of Iran
1000	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing

UPDATE