Sciweavers

1377 search results - page 116 / 276
» Flit-Reservation Flow Control
Sort
View
ICFEM
2005
Springer
15 years 8 months ago
A Theory of Secure Control Flow
Martín Abadi, Mihai Budiu, Úlfar Erl...
95
Voted
ICLP
2004
Springer
15 years 8 months ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...
123
Voted
COMPSAC
2003
IEEE
15 years 7 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...
75
Voted
DFT
2003
IEEE
151views VLSI» more  DFT 2003»
15 years 7 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...