Sciweavers

15644 search results - page 220 / 3129
» Brittle System Analysis
Sort
View
DSD
2002
IEEE
95views Hardware» more  DSD 2002»
15 years 11 months ago
Reachability Analysis for Formal Verification of SystemC
Rolf Drechsler, Daniel Große
175
Voted
LCN
2002
IEEE
15 years 11 months ago
Performance Analysis of Token-Based Fast TCP in Systems Supporting Large Windows
Since TCP can only detect congestion after packet losses have already happened, various forms of Fast TCP (FTCP) have been proposed to notify congestion early and avoid packet los...
Fei Peng, Victor C. M. Leung
132
Voted
SCAM
2002
IEEE
15 years 11 months ago
VADA: A Transformation-Based System for Variable Dependence Analysis
Mark Harman, Chris Fox, Robert M. Hierons, Lin Hu,...