Formal analysis of SEU mitigation for early dependability and performability analysis of FPGA-based space applications

, &
Journal of Applied Logic 25:47-68 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2017.03.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,261

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Argument Representation for Dependable Computer-Based Systems.C. Gurr - 2002 - Informal Logic 22 (3):293-321.
Linguistic applications of formal concept analysis.Uta Priss - unknown
An efficient serial distributed arithmetic algorithm for FPGA implementation of digital up conversion.T. Salim, J. Devlin, J. Whittington & M. I. Bhatti - 2005 - Complexity 11 (1):24-29.
The logic of 'being informed' revisited and revised.Patrick Allo - 2011 - Philosophical Studies 153 (3):417-434.
Analysis as Translation.Diego Marconi - 2019 - Topoi 38 (2):347-360.
Determining public policy and resource allocation priorities for mitigating natural hazards: A capabilities-based approach.Colleen Murphy & Paolo Gardoni - 2007 - Science and Engineering Ethics 13 (4):489-504.
Applications of squares of oppositions and their generalizations in philosophical analysis.Jan Woleński - 2008 - Logica Universalis 2 (1):13-29.
Hierarchical pointer analysis for distributed programs.A. Kamil & K. Yelick - unknown
Pretty Connected.Nick Crossley - 2008 - Theory, Culture and Society 25 (6):89-116.
Close encounters of the virtual kind: a study on place-based presence. [REVIEW]G. Henri ter Hofte, Ingrid Mulder & Carla Verwijs - 2006 - AI and Society 20 (2):151-168.
A dynamically reconfigurable system for closed-loop measurements of network traffic.F. Khan, S. Ghiasi & C. N. Chuah - unknown
Meinong's Analysis of Lying.Ursula Zegleń - 1995 - Grazer Philosophische Studien 50 (1):549-557.
Some applications of Kripke models to formal systems of intuitionistic analysis.Scott Weinstein - 1979 - Annals of Mathematical Logic 16 (1):1.
The conceptual analysis (CA) method in theories of microchannels: Application to quantum theory. Part I. Fundamental concepts. [REVIEW]F. Jenč - 1979 - Foundations of Physics 9 (7-8):589-608.
Real Analysis with Economic Applications.Efe A. Ok - 2007 - Princeton University Press.

Analytics

Added to PP
2017-12-19

Downloads
17 (#872,959)

6 months
2 (#1,206,802)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references