Critical Software - PDFSEARCH.IO - Document Search Engine

Critical Software
Results: 1293

#	Item
1	A Critical Review of Gene Prediction Software Mark McElwain Bioc 218 Final Paper March 19, 2007 Add to Reading List Source URL: biochem218.stanford.edu Language: English - Date: 2007-03-19 15:04:03
2	Press Release Orsay, France, July 8th 2015 KRONO-SAFE achieves a 3.9 million euros ($4.3 million) fundraising to strengthen its innovative offer ASTERIOS KRONO-SAFE, a French software editor in the safety-critical real-t Add to Reading List Source URL: krono-safe.com Language: English - Date: 2017-02-17 05:07:29
3	JuneCommonly exploited software vulnerabilities targeting critical networks Introduction 1. Add to Reading List Source URL: www.acsc.gov.au Language: English - Date: 2015-06-12 02:38:29
4	Machine Learning Researcher Zapata computing is a quantum software, services, and applications company developing quantum algorithms to solve critical problems. A vital part of our mission at Zapata is to create an envir Add to Reading List Source URL: zapatacomputing.com Language: English - Date: 2018-05-14 11:21:02
5	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
6	Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011 Add to Reading List Source URL: xavierleroy.org Language: English - Date: 2018-08-01 14:49:25
7	Quantum Algorithms Researcher Zapata computing is a quantum software, services, and applications company developing quantum algorithms to solve critical problems. A vital part of our mission at Zapata is to create an Add to Reading List Source URL: zapatacomputing.com Language: English - Date: 2018-05-14 11:21:04
8	Progress Software Corporation Case Study “Progress partners and customers realize that mobility is a critical part of a modern enterprise business application. By integrating capabilities of Tiggzi into the Progress® Add to Reading List Source URL: appery.io Language: English - Date: 2013-07-15 05:49:14 Computing Data management Software 4GL OpenEdge Advanced Business Language Cloud infrastructure Progress Software Cloud computing Corticon Software as a service ABL Draft:Roundtable TSMS
9	SAFETY-CRITICAL VERSUS SECURITY-CRITICAL SOFTWARE Findings in this area from research work with leading Professionals and Academics and in conjunction with BCS, Resource Engineering Projects and SCSC Dr Adele-Louise Car Add to Reading List Source URL: www.bcs.org - Date: 2011-01-10 14:17:18
10	1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-04-30 21:31:39

UPDATE