Sciweavers

2144 search results - page 64 / 429
» Exact Flow Analysis
Sort
View
GLVLSI
2010
IEEE
149views VLSI» more  GLVLSI 2010»
15 years 6 months ago
Lightweight runtime control flow analysis for adaptive loop caching
Loop caches provide an effective method for decreasing memory hierarchy energy consumption by storing frequently executed code in a more energy efficient structure than the level ...
Marisha Rawlins, Ann Gordon-Ross
FORTEST
2008
15 years 5 months ago
From MC/DC to RC/DC: Formalization and Analysis of Control-Flow Testing Criteria
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...
Sergiy A. Vilkomir, Jonathan P. Bowen
CORR
2010
Springer
66views Education» more  CORR 2010»
15 years 4 months ago
Analysis of dependence among size, rate and duration in internet flows
Cheolwoo Park, Félix Hernández-Campo...
79
Voted
ENTCS
2007
85views more  ENTCS 2007»
15 years 3 months ago
On-the-Fly Data Flow Analysis Based on Verification Technology
María-del-Mar Gallardo, Christophe Joubert,...