Sciweavers

1377 search results - page 116 / 276
» Flit-Reservation Flow Control
Sort
View
ICFEM
2005
Springer
15 years 9 months ago
A Theory of Secure Control Flow
Martín Abadi, Mihai Budiu, Úlfar Erl...
ICLP
2004
Springer
15 years 9 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
COMPSAC
2003
IEEE
15 years 9 months ago
Tolerance of Control-Flow Testing Criteria
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...
Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bo...
DFT
2003
IEEE
151views VLSI» more  DFT 2003»
15 years 9 months ago
Soft-Error Detection Using Control Flow Assertions
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
O. Goloubeva, Maurizio Rebaudengo, Matteo Sonza Re...