Please use this identifier to cite or link to this item: http://repositorio.inesctec.pt/handle/123456789/6653
Full metadata record
DC FieldValueLanguage
dc.contributor.authorJosé Nuno Oliveiraen
dc.date.accessioned2018-01-17T11:30:12Z-
dc.date.available2018-01-17T11:30:12Z-
dc.date.issued2014en
dc.identifier.urihttp://repositorio.inesctec.pt/handle/123456789/6653-
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-319-06251-8_8en
dc.description.abstractDevice miniaturization is pointing towards tolerating imperfect hardware provided it is "good enough". Software design theories will have to face the impact of such a trend sooner or later. A school of thought in software design is relational: it expresses specifications as relations and derives programs from specifications using relational algebra. This paper proposes that linear algebra be adopted as an evolution of relational algebra able to cope with the quantification of the impact of imperfect hardware on (otherwise) reliable software. The approach is illustrated by developing a monadic calculus for component oriented software construction with a probabilistic dimension quantifying (by linear algebra) the propagation of imperfect behaviour from lower to upper layers of software systems. © 2014 Springer International Publishing.en
dc.languageengen
dc.relation5601en
dc.rightsinfo:eu-repo/semantics/openAccessen
dc.titlePreparing relational algebra for "just good enough" hardwareen
dc.typeconferenceObjecten
dc.typePublicationen
Appears in Collections:HASLab - Articles in International Conferences

Files in This Item:
File Description SizeFormat 
P-009-H16.pdf332.26 kBAdobe PDFThumbnail
View/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.