Matches in SemOpenAlex for { <https://semopenalex.org/work/W2054976601> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2054976601 abstract "Advances in formal software verification has produced an operating system that is guaranteed mathematically to be correct and enforce access isolation. Such an operating system could potentially consolidate safety and security critical software on a single device where previously multiple devices were used. One of the barriers to consolidation on commodity hardware is the lack of hardware dependability features. A hardware fault triggered by cosmic rays, alpha particle strikes, etc. potentially invalidates the strong mathematical guarantees. This paper discusses improving the trustworthiness of commodity hardware to enable a verified microkernel to be used in some situations previously needing separate computers. We explore leveraging multicore processors to provide redundancy, and report the results of our initial performance investigation." @default.
- W2054976601 created "2016-06-24" @default.
- W2054976601 creator A5053338416 @default.
- W2054976601 creator A5073718932 @default.
- W2054976601 date "2013-06-01" @default.
- W2054976601 modified "2023-09-28" @default.
- W2054976601 title "Increasing the trustworthiness of commodity hardware through software" @default.
- W2054976601 cites W1511234963 @default.
- W2054976601 cites W1579215414 @default.
- W2054976601 cites W1850597240 @default.
- W2054976601 cites W197484898 @default.
- W2054976601 cites W1978714022 @default.
- W2054976601 cites W1984733309 @default.
- W2054976601 cites W1991406672 @default.
- W2054976601 cites W1992291252 @default.
- W2054976601 cites W1996523225 @default.
- W2054976601 cites W2016944512 @default.
- W2054976601 cites W2023035194 @default.
- W2054976601 cites W2024993563 @default.
- W2054976601 cites W2094446102 @default.
- W2054976601 cites W2098592421 @default.
- W2054976601 cites W2102362134 @default.
- W2054976601 cites W2106115112 @default.
- W2054976601 cites W2114488210 @default.
- W2054976601 cites W2118338314 @default.
- W2054976601 cites W2118582701 @default.
- W2054976601 cites W2136310957 @default.
- W2054976601 cites W2144620757 @default.
- W2054976601 cites W2152652532 @default.
- W2054976601 cites W2153950928 @default.
- W2054976601 cites W2163592870 @default.
- W2054976601 cites W2170715115 @default.
- W2054976601 cites W2377859122 @default.
- W2054976601 cites W24139812 @default.
- W2054976601 cites W51058944 @default.
- W2054976601 cites W56227605 @default.
- W2054976601 doi "https://doi.org/10.1109/dsn.2013.6575328" @default.
- W2054976601 hasPublicationYear "2013" @default.
- W2054976601 type Work @default.
- W2054976601 sameAs 2054976601 @default.
- W2054976601 citedByCount "0" @default.
- W2054976601 crossrefType "proceedings-article" @default.
- W2054976601 hasAuthorship W2054976601A5053338416 @default.
- W2054976601 hasAuthorship W2054976601A5073718932 @default.
- W2054976601 hasConcept C111919701 @default.
- W2054976601 hasConcept C115903868 @default.
- W2054976601 hasConcept C149635348 @default.
- W2054976601 hasConcept C152124472 @default.
- W2054976601 hasConcept C153701036 @default.
- W2054976601 hasConcept C168065819 @default.
- W2054976601 hasConcept C2777127024 @default.
- W2054976601 hasConcept C2777904410 @default.
- W2054976601 hasConcept C38652104 @default.
- W2054976601 hasConcept C41008148 @default.
- W2054976601 hasConcept C77019957 @default.
- W2054976601 hasConcept C78766204 @default.
- W2054976601 hasConcept C9390403 @default.
- W2054976601 hasConceptScore W2054976601C111919701 @default.
- W2054976601 hasConceptScore W2054976601C115903868 @default.
- W2054976601 hasConceptScore W2054976601C149635348 @default.
- W2054976601 hasConceptScore W2054976601C152124472 @default.
- W2054976601 hasConceptScore W2054976601C153701036 @default.
- W2054976601 hasConceptScore W2054976601C168065819 @default.
- W2054976601 hasConceptScore W2054976601C2777127024 @default.
- W2054976601 hasConceptScore W2054976601C2777904410 @default.
- W2054976601 hasConceptScore W2054976601C38652104 @default.
- W2054976601 hasConceptScore W2054976601C41008148 @default.
- W2054976601 hasConceptScore W2054976601C77019957 @default.
- W2054976601 hasConceptScore W2054976601C78766204 @default.
- W2054976601 hasConceptScore W2054976601C9390403 @default.
- W2054976601 hasLocation W20549766011 @default.
- W2054976601 hasOpenAccess W2054976601 @default.
- W2054976601 hasPrimaryLocation W20549766011 @default.
- W2054976601 hasRelatedWork W1513829456 @default.
- W2054976601 hasRelatedWork W1543161414 @default.
- W2054976601 hasRelatedWork W1976668444 @default.
- W2054976601 hasRelatedWork W1986893050 @default.
- W2054976601 hasRelatedWork W2017523146 @default.
- W2054976601 hasRelatedWork W2030629796 @default.
- W2054976601 hasRelatedWork W2077172521 @default.
- W2054976601 hasRelatedWork W2106334754 @default.
- W2054976601 hasRelatedWork W2114487351 @default.
- W2054976601 hasRelatedWork W2117240396 @default.
- W2054976601 hasRelatedWork W2121686964 @default.
- W2054976601 hasRelatedWork W2138993566 @default.
- W2054976601 hasRelatedWork W2148073520 @default.
- W2054976601 hasRelatedWork W2148190147 @default.
- W2054976601 hasRelatedWork W2184628033 @default.
- W2054976601 hasRelatedWork W2247093607 @default.
- W2054976601 hasRelatedWork W2418441571 @default.
- W2054976601 hasRelatedWork W2466132379 @default.
- W2054976601 hasRelatedWork W2752721821 @default.
- W2054976601 hasRelatedWork W3209827796 @default.
- W2054976601 isParatext "false" @default.
- W2054976601 isRetracted "false" @default.
- W2054976601 magId "2054976601" @default.
- W2054976601 workType "article" @default.