FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4249591832> ?p ?o ?g. }

• W4249591832 endingPage "53" @default.
• W4249591832 startingPage "42" @default.
• W4249591832 abstract "A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. Although transient faults do not permanently damage the hardware, they may corrupt computations by altering stored values and signal transfers. In this paper, we propose a new scheme for provably safe and reliable computing in the presence of transient hardware faults. In our scheme, software computations are replicated to provide redundancy while special instructions compare the independently computed results to detect errors before writing critical data. In stark contrast to any previous efforts in this area, we have analyzed our fault tolerance scheme from a formal, theoretical perspective. To be specific, first, we provide an operational semantics for our assembly language, which includes a precise formal definition of our fault model. Second, we develop an assembly-level type system designed to detect reliability problems in compiled code. Third, we provide a formal specification for program fault tolerance under the given fault model and prove that all well-typed programs are indeed fault tolerant. In addition to the formal analysis, we evaluate our detection scheme and show that it only takes 34% longer to execute than the unreliable version." @default.
• W4249591832 created "2022-05-12" @default.
• W4249591832 creator A5008319090 @default.
• W4249591832 creator A5018151279 @default.
• W4249591832 creator A5031711886 @default.
• W4249591832 creator A5040341202 @default.
• W4249591832 creator A5049454219 @default.
• W4249591832 creator A5071104685 @default.
• W4249591832 date "2007-06-10" @default.
• W4249591832 modified "2023-09-25" @default.
• W4249591832 title "Fault-tolerant typed assembly language" @default.
• W4249591832 cites W1968456054 @default.
• W4249591832 cites W1981514768 @default.
• W4249591832 cites W2021548867 @default.
• W4249591832 cites W2034593585 @default.
• W4249591832 cites W2053578304 @default.
• W4249591832 cites W2069107692 @default.
• W4249591832 cites W2102480715 @default.
• W4249591832 cites W2102863623 @default.
• W4249591832 cites W2116991991 @default.
• W4249591832 cites W2118582701 @default.
• W4249591832 cites W2125169487 @default.
• W4249591832 cites W2125369517 @default.
• W4249591832 cites W2131529479 @default.
• W4249591832 cites W2145064068 @default.
• W4249591832 cites W2153554709 @default.
• W4249591832 cites W2161549238 @default.
• W4249591832 cites W2169596872 @default.
• W4249591832 cites W4230735214 @default.
• W4249591832 cites W4248251197 @default.
• W4249591832 cites W4289257211 @default.
• W4249591832 doi "https://doi.org/10.1145/1273442.1250741" @default.
• W4249591832 hasPublicationYear "2007" @default.
• W4249591832 type Work @default.
• W4249591832 citedByCount "5" @default.
• W4249591832 countsByYear W42495918322013 @default.
• W4249591832 countsByYear W42495918322016 @default.
• W4249591832 countsByYear W42495918322020 @default.
• W4249591832 countsByYear W42495918322022 @default.
• W4249591832 crossrefType "journal-article" @default.
• W4249591832 hasAuthorship W4249591832A5008319090 @default.
• W4249591832 hasAuthorship W4249591832A5018151279 @default.
• W4249591832 hasAuthorship W4249591832A5031711886 @default.
• W4249591832 hasAuthorship W4249591832A5040341202 @default.
• W4249591832 hasAuthorship W4249591832A5049454219 @default.
• W4249591832 hasAuthorship W4249591832A5071104685 @default.
• W4249591832 hasBestOaLocation W42495918322 @default.
• W4249591832 hasConcept C111919701 @default.
• W4249591832 hasConcept C116253237 @default.
• W4249591832 hasConcept C119599485 @default.
• W4249591832 hasConcept C120314980 @default.
• W4249591832 hasConcept C126953365 @default.
• W4249591832 hasConcept C127413603 @default.
• W4249591832 hasConcept C134146338 @default.
• W4249591832 hasConcept C134306372 @default.
• W4249591832 hasConcept C152124472 @default.
• W4249591832 hasConcept C199360897 @default.
• W4249591832 hasConcept C2777904410 @default.
• W4249591832 hasConcept C2780799671 @default.
• W4249591832 hasConcept C33923547 @default.
• W4249591832 hasConcept C41008148 @default.
• W4249591832 hasConcept C45374587 @default.
• W4249591832 hasConcept C50712370 @default.
• W4249591832 hasConcept C50831359 @default.
• W4249591832 hasConcept C63540848 @default.
• W4249591832 hasConcept C75606506 @default.
• W4249591832 hasConcept C77618280 @default.
• W4249591832 hasConceptScore W4249591832C111919701 @default.
• W4249591832 hasConceptScore W4249591832C116253237 @default.
• W4249591832 hasConceptScore W4249591832C119599485 @default.
• W4249591832 hasConceptScore W4249591832C120314980 @default.
• W4249591832 hasConceptScore W4249591832C126953365 @default.
• W4249591832 hasConceptScore W4249591832C127413603 @default.
• W4249591832 hasConceptScore W4249591832C134146338 @default.
• W4249591832 hasConceptScore W4249591832C134306372 @default.
• W4249591832 hasConceptScore W4249591832C152124472 @default.
• W4249591832 hasConceptScore W4249591832C199360897 @default.
• W4249591832 hasConceptScore W4249591832C2777904410 @default.
• W4249591832 hasConceptScore W4249591832C2780799671 @default.
• W4249591832 hasConceptScore W4249591832C33923547 @default.
• W4249591832 hasConceptScore W4249591832C41008148 @default.
• W4249591832 hasConceptScore W4249591832C45374587 @default.
• W4249591832 hasConceptScore W4249591832C50712370 @default.
• W4249591832 hasConceptScore W4249591832C50831359 @default.
• W4249591832 hasConceptScore W4249591832C63540848 @default.
• W4249591832 hasConceptScore W4249591832C75606506 @default.
• W4249591832 hasConceptScore W4249591832C77618280 @default.
• W4249591832 hasIssue "6" @default.
• W4249591832 hasLocation W42495918321 @default.
• W4249591832 hasLocation W42495918322 @default.
• W4249591832 hasOpenAccess W4249591832 @default.
• W4249591832 hasPrimaryLocation W42495918321 @default.
• W4249591832 hasRelatedWork W2015492859 @default.
• W4249591832 hasRelatedWork W2048385336 @default.
• W4249591832 hasRelatedWork W2089451342 @default.
• W4249591832 hasRelatedWork W2099560402 @default.
• W4249591832 hasRelatedWork W2121194134 @default.
• W4249591832 hasRelatedWork W2366653648 @default.

• next