Software - PDFSEARCH.IO - Document Search Engine

Software
Results: 335388

#	Item
131	About Intellipaat Intellipaat is an e-learning and professional certification company for software developers, IT administrators, and other professionals, headquartered in Bangalore, India. The training is offered in thr Add to Reading List Source URL: cdn.intellipaat.com Language: English - Date: 2018-08-07 05:02:33 Computing Big data Hadoop Free software Cloud infrastructure Apache Software Foundation Cluster computing Java platform Apache Spark Cloudera Apache Hadoop MapR
132	iTAP: In-network Traffic Analysis Prevention using Software-Defined Networks https://itap.ethz.ch Roland Meier Add to Reading List Source URL: itap.ethz.ch Language: English - Date: 2017-02-28 12:52:55 Computing Data transmission Network architecture Computer networking Network protocols Emerging technologies Internet architecture OpenFlow Software-defined networking Traffic flow NetFlow Denial-of-service attack
133	On SAT Modulo Theories and Optimization Problems Robert Nieuwenhuis and Albert Oliveras? Abstract. Solvers for SAT Modulo Theories (SMT) can nowadays handle large industrial (e.g., formal hardware and software verificati Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-04-28 13:17:24 Theoretical computer science Mathematics Mathematical logic Logic in computer science Automated theorem proving Electronic design automation Formal methods NP-complete problems Satisfiability modulo theories Boolean satisfiability problem Maximum satisfiability problem Unit propagation
134	c Copyright 2014 Benjamin P. Wood Software and Hardware Support for Data-Race Exceptions Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-21 15:46:52 Concurrency Communication Edsger W. Dijkstra Synchronization Race condition Computer programming Parallel computing Computing Electronic engineering
135	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio∗ Laurent Vanbever Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:56:12 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
136	Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:17 Computing Software engineering Computer programming Data types C++ C Primitive types Software bugs Pointer Struct Memory safety C dynamic memory allocation
137	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:30:09 Model checkers Software engineering Computing Electronic engineering Theoretical computer science Model checking Swarm behaviour Formal methods Promela Swarm Software verification SPIN model checker
138	Study of Integrating Random and Symbolic Testing for Object-Oriented Software∗ Marko Dimjašević1 , Falk Howar2 , Kasper Luckow3 , and Zvonimir Rakamarić1 1 2 Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Software testing Software engineering Computing Software development Symbolic execution Random testing Unit testing Code coverage Test automation Algorithm Manual testing Concolic testing
139	GroupLink® Product LICENSE AGREEMENTBefore proceeding with the installation of this software, you must accept the terms of the following license agreement. Indicate your acceptance or rejection of this agreeme Add to Reading List Source URL: grouplink.com Language: English - Date: 2015-06-19 12:07:07 Law Economy Business law Intellectual property law Contract law Software licenses License Trademark Federal Acquisition Regulation Lease Proprietary software Royalty rate assessment
140	SeaHorn: A Framework for Verifying C Programs (Competition Contribution)? Arie Gurfinkel1 , Temesghen Kahsai2 , and Jorge A. Navas3 1 Software Engineering Institute / CMU, USA Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Programming language implementation Compiler construction Software engineering Computing Compiler optimizations Software testing Abstract interpretation LLVM Compiler Intermediate representation Hoare logic Static single assignment form

UPDATE