Software - PDFSEARCH.IO - Document Search Engine

Software
Results: 335388

#	Item
71	Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator Add to Reading List Source URL: julien.signoles.free.fr Language: English - Date: 2017-09-15 19:04:15 Computing Software engineering Data types Computer programming Primitive types Formal languages Formal methods ANSI/ISO C Specification Language C String Frama-C Permutation
72	Tackling Large Software Verification Problems with Spin Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:28:50 Model checkers Software engineering Computing Theoretical computer science Model checking Promela Formal verification SPIN model checker Abstraction Sizeof Const
73	Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain†† Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:37 Computing Network architecture Information and communications technology Internet architecture Routing protocols Routing Internet Standards Computer networking Software-defined networking OpenFlow Router Interior gateway protocol
74	Software Engineer (Simulator) WorldQuant develops and deploys systematic financial strategies across a variety of asset classes and global markets. We seek to produce high-quality predictive signals (Alphas) through our Add to Reading List Source URL: www.worldquant.ru Language: English - Date: 2018-04-19 17:16:40 Computing WorldQuant Software Finance Computing platforms Ns Simulation Linux Motivation Application software
75	Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN JuneOlivier Tilmans Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:56 Computing Network architecture Emerging technologies Configuration management Software-defined networking OpenFlow Information and communications technology Computer engineering Scalability Software-defined
76	Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2018-05-10 06:54:27 Mathematical logic Predicate logic Mathematics Logic Predicate variable Scope Atomic sentence FO First-order logic Variable Structured text Assignment
77	Subject: Attending Vena Users’ Conference in May Hello [First Name], I’m writing to ask for approval to attend VenaNOLA, the user conference for Vena Solutions, our financial spreadsheet software vendor. The confere Add to Reading List Source URL: venausersconference.com Language: English - Date: 2017-05-23 08:33:27 Vena Xx
78	VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-09-26 11:27:36 Harbourfront PATH Toronto Transit Commission Ontario Yonge Street Union station King station Queens Quay Queen station Gardiner Expressway Bay station
79	Appeared in Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 347–360, San Diego, CA, October 23–25, 2000. Knit: Component Composition for Systems Software Alastair Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2000-10-30 16:55:50 Software engineering Computer programming Computing Object-oriented programming Component-based software engineering Inter-process communication C++ Component Object Model Inline function ECO Scope C standard library
80	Abstract: The EOS.IO software introduces a new blockchain architecture designed to enable vertical and horizontal scaling of decentralized applications. This is achieved by creating an operating system-like construct upo Add to Reading List Source URL: icorating.com Language: English - Date: 2018-03-19 09:30:15 Cryptocurrencies Blockchains Concurrent computing Alternative currencies Computing Distributed computing Decentralization Cross-platform software EOS.IO Ethereum Smart contract Bitcoin

UPDATE