Plug-in - PDFSEARCH.IO - Document Search Engine

Plug-in
Results: 4728

#	Item
631	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
632	Nusoft Newsletter – IR Series No.22 Tech Overview : IR Plug-In Installation Common Problems and Solutions Add to Reading List Source URL: www.nusoft.com.tw Language: English - Date: 2012-10-23 00:46:26 Videotelephony Antivirus software Portable software Trend Micro Internet Security Skype Plug-in Microsoft Windows Spyware Malware Software System software Computing
633	ITS-Davis e-news: Issue 36, November 2008 Add to Reading List Source URL: www.its.ucdavis.edu Language: English - Date: 2012-04-30 13:06:17 Technology Sustainable transport Emerging technologies Association of Public and Land-Grant Universities Hydrogen economy Andrew A. Frank Plug-in Hybrid Electric Vehicle Research Center Hydrogen vehicle Institute of Transportation Studies California Transport Transportation in California
634	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
635	Sepehr S. T. Co. Ltd GateMAN 4012 GateMAN 4012 firewall is a high performance plug and play core switch to be installed in the heart of corporate networks with advanced security features. It drops all IP packets with Add to Reading List Source URL: www.sepehrs.com Language: English - Date: 2005-10-29 04:40:49 Ethernet Computer network security Data security Internet protocols Novell NetWare Transmission Control Protocol Network switch Firewall Port Network architecture Computing OSI protocols
636	Defending the Poor Countering Flash Exploits Felix ‘FX’ Lindner 26C3, Berlin, December 2009 Add to Reading List Source URL: www.recurity-labs.com Language: English - Date: 2010-01-04 11:15:44 Adobe Flash Software architecture Graphics file formats Adobe software Rich Internet application Adobe Flash Player JavaScript Plug-in Web browser Software Computing Cross-platform software
637	Value Analysis Frama-C’s value analysis plug-in OxygenPascal Cuoq with Virgile Prevosto and Boris Yakobowski Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:54 Function Expected value Program analysis Mathematics Software Frama-C
638	Value Analysis Frama-C’s value analysis plug-in FluorinePascal Cuoq and Boris Yakobowski with Virgile Prevosto Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:54 Function Expected value Program analysis Mathematics Software Frama-C
639	The Mthread plugin Frama-C’s Mthread plug-in Version 0.9 for OxygenBoris Yakobowski with Richard Bonichon Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:45 Thread Parallel computing Futures and promises Graph Concurrency control Computing Concurrent computing Concurrency
640	FuelsInstitute PURSUING SUSTAINABLE TRANSPORTATION ENERGY WHAT DOES HISTORY TELL US? Add to Reading List Source URL: www.fuelsinstitute.org Language: English - Date: 2015-04-01 11:16:48 Sustainable transport Flexible-fuel vehicle Plug-in hybrid Electric vehicle Automobile Plug-in electric vehicle Corporate Average Fuel Economy Transport Ethanol fuel Electric vehicle conversion

UPDATE