Software

Results: 335388



#Item
71Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1? and Julien Signoles2 TrustInSoft, Paris, France CEA LIST, Software Reliability and Security Laborator

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
72Tackling Large Software Verification Problems with Spin

Tackling Large Software Verification Problems with Spin

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:28:50
73Enabling SDN in old school networks with Software-Controlled Routing Protocols Laurent Vanbever† and Stefano Vissicchio†† ? Princeton University† , Universit´e catholique de Louvain††

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
74Computing / WorldQuant / Software / Finance / Computing platforms / Ns / Simulation / Linux / Motivation / Application software

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
75Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN JuneOlivier Tilmans

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
76Predicate 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

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
77Vena / Xx

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
78VSTTE 2008 Verified Software: Theories, Tools, Experiments October 6 to 9 Toronto All talks, tutorials, and panels take place in the Champagne

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
79Appeared 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

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
80Abstract: 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

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