'Use daikon' presentation slideshows

Introduction

Introduction. Ever scaling process technology makes embedded systems more vulnerable to soft errors The method of fully duplicating instructions is effective, but has heavy costs in terms of performance, power and memory space Our approach: Checking loop invariants to fight soft errors.

279 views • 14 slides