Sciweavers

805 search results - page 50 / 161
» Modeling and Analyzing Periodic Distributed Computations
Sort
View
HASE
1998
IEEE
14 years 1 months ago
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
Ragavan Manian, Joanne Bechta Dugan, David Coppit,...
CCR
2002
133views more  CCR 2002»
13 years 9 months ago
Crossover scaling effects in aggregated TCP traffic with congestion losses
We critically examine the claims that TCP congestion control contributes to the observed self-similar traffic rate correlations. A simulation model is designed to analyze aggregat...
Michael Liljenstam, Andrew T. Ogielski
IPPS
2006
IEEE
14 years 3 months ago
Timed automata based analysis of embedded system architectures
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
Martijn Hendriks, Marcel Verhoef
IPPS
2009
IEEE
14 years 3 months ago
Performance modeling in action: Performance prediction of a Cray XT4 system during upgrade
We present predictive performance models of two of the petascale applications, S3D and GTC, from the DOE Office of Science workload. We outline the development of these models and...
Kevin J. Barker, Kei Davis, Darren J. Kerbyson
ECCV
2006
Springer
14 years 11 months ago
An Integrated Model for Accurate Shape Alignment
In this paper, we propose a two-level integrated model for accurate face shape alignment. At the low level, the shape is split into a set of line segments which serve as the nodes ...
Lin Liang, Fang Wen, Xiaoou Tang, Ying-Qing Xu