S-SETA: Selective Software-Only Error-Detection Technique Using Assertions

Software-based techniques offer several advantages to increase the reliability of processor-based systems at very low cost, but they cause performance degradation and an increase of the code size. To meet constraints in performance and memory, we propose SETA, a new control-flow software-only technique that uses assertions to detect errors affecting the program flow. SETA is an independent technique, but it was conceived to work together with previously proposed data-flow techniques that aim at reducing performance and memory overheads. Thus, SETA is combined with such data-flow techniques and submitted to a fault injection campaign. Simulation and neutron induced SEE tests show high fault coverage at performance and memory overheads inferior to the state-of-the-art.

Josephi Aurelii de Januario... Respublica Jurisconsultorum.

Grabado alegórico calcográfico firmado: "Ant. Baldi inv. et sculp. Neap."

Saggio d'ecraxis o Particolari di talune operazioni di cateratte, seguite dal modo di curar le ulceri della cornea e la procidenza dell'iride, indi la demolizione di un tumore fungoso della cornea /

Mode of access: Internet.

Della storia naturale delle Gemme, delle Pietre e di tutti minerali, ovvero della fisica sotterranea /

Mode of access: Internet.

La mitologia, e le favole spiegate colla storia /

Mode of access: Internet.

Lo spirito della giuridizion ecclesiastica sull'ordinazione de'vescovi /

Mode of access: Internet.

Alexii Aurelii Pelliccia De Christianae Ecclesiae primae, mediae et novissimae aetatis politia ...

Mode of access: Internet.

Gli aforismi d'Ippocrate illustrati dagli aforismi... /

T. 3 a 8 Tipografia del Sebeto.

Della storia naturale delle gemme, delle pietre e di tutti minerali, ovvero della fisica sotterranea /

Mode of access: Internet.

Lettera di Pier Antonio Saguas ad Antonio Lampridi, in cui si dimostra, che il suo libro intitolato: De superstitione vitanda, seu Censura voti sanguinarii, &c. troppo si opponga alle leggi del buon gusto, gia con plauso stabilite da Lamindo Pritanio.

ICCU

El obispado : disertacion sobre la potestad de gobernar la Iglesia, en que se demuestra la divina institucion de su gerarquia [sic] /

Parte primera. - Parte segunda: comprende la impugnación del Abate Cestari.

Delle viziose maniere del difender le cause nel foro /

Mode of access: Internet.

Josephi Aurelii de Januario regii consiliari Carmina.

Mode of access: Internet.

Josephi Aurelii De januario regii consiliarii respublica jurisconsultorum.

Mode of access: Internet.

Josephi Aurelii de Januario ... Feriae autumnales post reditum a republica jurisconsultorum

Mode of access: Internet.