> Details

Fey, Görschwin [Author]; Fujita, Masahiro [Author]; Miskov-Zivanov, Natasa [Author]; Roy, Kaushik [Author]; Sonza Reorda, Matteo [Author] ; Görschwin Fey and Masahiro Fujita and Natasa Miskov-Zivanov and Kaushik Roy and Matteo Sonza Reorda [Contributor]

Verifying Reliability (Dagstuhl Seminar 12341)

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; E-Article
  • Title: Verifying Reliability (Dagstuhl Seminar 12341)
  • Contributor: Fey, Görschwin [Author]; Fujita, Masahiro [Author]; Miskov-Zivanov, Natasa [Author]; Roy, Kaushik [Author]; Sonza Reorda, Matteo [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
  • Language: English
  • DOI: https://doi.org/10.4230/DagRep.2.8.57
  • Keywords: formal methods ; Reliability ; fault modeling
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: Moore's law has been the driving force behind the increasing computing power of today's devices which is based on shrinking feature sizes. This shrinking process makes future devices extremely susceptible to soft errors due to, e.g., external influences like environmental radiation and internal issues like stress effects, aging and process variation. For future technology nodes "Designing reliable systems from unreliable components".
  • Access State: Open Access