Sciweavers

1985 search results - page 94 / 397
» Multiresolution Analysis of Connectivity
Sort
View
WWW
2001
ACM
14 years 9 months ago
MCWEB: A Model-Checking Tool for Web Site Debugging
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
Luca de Alfaro, Thomas A. Henzinger, Freddy Y. C. ...
ICPR
2006
IEEE
14 years 10 months ago
Geodesic Curves for Analysis of Continuous Implicit Shapes
A method is proposed for performing shape analysis of m-surfaces, e.g. planar curves and surfaces, with a geometric interpretation. The analysis uses an implicit surface represent...
Jan Erik Solem
DATE
2000
IEEE
113views Hardware» more  DATE 2000»
14 years 1 months ago
Static Timing Analysis of Embedded Software on Advanced Processor Architectures
This paper examines several techniques for static timing analysis. In detail, the first part of the paper analyzes the connection of prediction accuracy (worst case execution tim...
André Hergenhan, Wolfgang Rosenstiel
WETICE
2009
IEEE
14 years 3 months ago
Performance Evaluation of Grid-Enabled Code: A Case Study
—This paper presents the performance analysis of a grid-enabled MIP solver in a grid environment consisting of three clusters on a campus LAN. In particular, the paper focuses on...
Sonya Marcarelli, Emilio Pasquale Mancini, Umberto...
GCB
2004
Springer
88views Biometrics» more  GCB 2004»
14 years 2 months ago
Comparison of Centralities for Biological Networks
: The analysis of biological networks involves the evaluation of the vertices within the connection structure of the network. To support this analysis we discuss five centrality m...
Dirk Koschützki, Falk Schreiber