✦ LIBER ✦

Control-flow checking by software signatures

✍ Scribed by Oh, N.; Shirvani, P.P.; McCluskey, E.J.

Book ID: 114555981
Publisher: IEEE
Year: 2002
Tongue: English
Weight: 395 KB
Volume: 51
Category: Article
ISSN: 0018-9529
DOI: 10.1109/24.994926

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Techniques for Security Checking: Non-In

Techniques for Security Checking: Non-Interference vs Control Flow Analysis

✍ Chiara Bodei; Pierpaolo Degano; Riccardo Focardi; Roberto Gorrieri; Fabio Martin 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 208 KB

Control-flow checking using watchdog ass

Control-flow checking using watchdog assists and extended-precision checksums

✍ Saxena, N.R.; McCluskey, E.J. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 706 KB

Control Flow Regeneration for Software P

Control Flow Regeneration for Software Pipelined Loops with Conditions

✍ Dragan Milicev; Zoran Jovanovic 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 407 KB

On-line control flow error detection usi

On-line control flow error detection using relationship signatures among basic blocks

✍ Aiguo Li; Bingrong Hong 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 714 KB

## a b s t r a c t Computer systems operating in space environment are subject to different radiation phenomena, whose effects may lead to a control flow fault occurring in software system, which can cause unpredictable behaviors of computer-based systems. According to the specialty of space envir

Time Optimal Software Pipelining of Loop

Time Optimal Software Pipelining of Loops with Control Flows

✍ Han-Saem Yun; Jihong Kim; Soo-Mook Moon 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 700 KB

A software package for computer-controll

A software package for computer-controlled flow-injection analysis

✍ L.T.M. Prop; P.C. Thijssen; L.G.G. van Dongen 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 349 KB