About: GREAT C Blueprint   Sponge Permalink

An Entity of Type : owl:Thing, within Data Space : 134.155.108.49:8890 associated with source dataset(s)

General Purpose Computers have a tendency to be unreliable and the software running on them is of relatively poor quality. There is no intrinsic reason that general puprose computers should be like this. JasonCozens 15:28, November 2, 2009 (UTC) Hypothesis: To deliver guaranteed general purpose computing systems a new approach to designing and building such systems is required where the structure of both hardware and software is determined by the ability to prove the correctness, reliability, efficiency and affordability of every part of the system. (C) MMXII E.J.Cozens

AttributesValues
rdfs:label
  • GREAT C Blueprint
rdfs:comment
  • General Purpose Computers have a tendency to be unreliable and the software running on them is of relatively poor quality. There is no intrinsic reason that general puprose computers should be like this. JasonCozens 15:28, November 2, 2009 (UTC) Hypothesis: To deliver guaranteed general purpose computing systems a new approach to designing and building such systems is required where the structure of both hardware and software is determined by the ability to prove the correctness, reliability, efficiency and affordability of every part of the system. (C) MMXII E.J.Cozens
dcterms:subject
abstract
  • General Purpose Computers have a tendency to be unreliable and the software running on them is of relatively poor quality. There is no intrinsic reason that general puprose computers should be like this. JasonCozens 15:28, November 2, 2009 (UTC) To build reliable computing systems, two things are needed a reliable platform on which to build and a process for creating reliable systems based on this platform. This gives rise to the two main areas of this wiki, research into reliable operating systems and the development of a process for creating reliable systems. It is believed that the development of a process for creating reliable systems is largely a matter of education based on existing mathematics and engineering practices. Hypothesis: To deliver guaranteed general purpose computing systems a new approach to designing and building such systems is required where the structure of both hardware and software is determined by the ability to prove the correctness, reliability, efficiency and affordability of every part of the system. (C) MMXII E.J.Cozens
Alternative Linked Data Views: ODE     Raw Data in: CXML | CSV | RDF ( N-Triples N3/Turtle JSON XML ) | OData ( Atom JSON ) | Microdata ( JSON HTML) | JSON-LD    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software