Objective-C - PDFSEARCH.IO - Document Search Engine

Objective-C
Results: 1056

#	Item
161	QVM: An Efficient Runtime for Detecting Defects in Deployed Systems Matthew Arnold Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-08-07 13:53:54 Java BitTorrent X Window System Virtual machine Objective-C Computing Software Cross-platform software
162	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-08-21 03:49:15 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
163	SELECTED ACQUISITION REPORT (SAR) SUMMARY TABLES Add to Reading List Source URL: www.defense.gov Language: English - Date: 2014-04-17 15:49:46 AGM-158 JASSM Joint Tactical Radio System Advanced Extremely High Frequency Mobile User Objective System Lockheed Martin C-130J Super Hercules Military technology Aviation Military aviation AGM-154 Joint Standoff Weapon
164	TEAM ITU ELITE ATHLETE DEVELOPMENT PROJECT 2013 Goal of project After the London Olympic Games we are now in the first year of the next Olympic Quadrennial Period for RioThe primary objective of this project is to Add to Reading List Source URL: www.triathlon.org Language: English - Date: 2013-03-22 08:15:09 Four-square cipher Linguistics C programming language International Obfuscated C Code Contest
165	Objective Identification of Supercellular Internal Momentum Surges Using a Cloud Model Matthew C. Mahalik and Johannes M. L. Dahl Atmospheric Science Group, Department of Geosciences, Texas Tech University 2.1 Surge Flag Add to Reading List Source URL: ams.confex.com Language: English - Date: 2014-12-07 15:52:23 Tornadogenesis Storm Atmospheric dynamics Fluid dynamics Tornado Vorticity Surge Supercell Vertical draft Meteorology Atmospheric sciences Weather
166	DOC Document Add to Reading List Source URL: 203.15.109.22 Language: English - Date: 2005-08-25 01:31:10 Scripting languages Subroutines C++ Procedural programming languages Data file Tcl Main function Objective-C Library Computing Software engineering Computer programming
167	39 High Street Weston Bath B&NES BA1 4BX ENGLAND Add to Reading List Source URL: www.hypergraphics.co.uk Language: English - Date: 2012-02-12 13:17:23 SQL Databases Data modeling NeXT Objective-C Foreach loop Data Definition Language Constructor Database index Computing Software engineering Computer programming
168	SOURCE CODE ANALYSIS TOOLBOX FOR SOFTWARE SECURITY ASSURANCE The objective of STANCE is to enable the adoption of program analysis tools as part of security assurance practices and certification Add to Reading List Source URL: www.stance-project.eu Language: English - Date: 2015-04-28 04:21:11 Cyberwarfare Software Software quality Frama-C Static program analysis Vulnerability Software security assurance Security testing Application security Software testing Security Computer security
169	Maemo Diablo Reference Manual for maemo 4.1 GNU Build System December 22, 2008 Add to Reading List Source URL: maemo.org Language: English - Date: 2008-12-22 04:58:32 Compiling tools Make Automake Apache Ant GNU Compiler Collection GNU build system Objective-C Autoconf C Software Computing Build automation
170	Safety, Security, and Object-Oriented Programming Franco Gasperoni AdaCore, 8 rue de Milan, 75009 Paris, France Abstract Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:01:04 Object-oriented programming Method Cross-platform software Data types Virtual method table Objective-C Ada Dynamic dispatch Library Software engineering Computing Computer programming

UPDATE