Critical Software

Results: 1293



#Item
1A Critical Review of Gene Prediction Software Mark McElwain Bioc 218 Final Paper March 19, 2007

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
    2Press 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

    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
      3JuneCommonly exploited software vulnerabilities targeting critical networks Introduction 1.

      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
        4Machine 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

        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
          5A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES,

          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
            6Verified squared: does critical software deserve verified tools? Xavier Leroy INRIA Paris-Rocquencourt POPL 2011

            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
              7Quantum 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

              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
                8Progress 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®

                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
                9SAFETY-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

                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
                  101 Domain Engineering A Basis for Safety Critical Software Dines Bjørner

                  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