3507 search results - page 533 / 702 » Slicing for architectural analysis |
216
click to vote
NAR
2002
15 years 6 months ago
2002
SMART (Simple Modular Architecture Research Tool, http://smart.embl-heidelberg.de) is a web-based resource used for the annotation of protein domains and the analysis of domain ar...
249
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
178
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
timing analysis tools to replace standard deterministic static timing analyzers whereas [8,27] develop approaches for the statistical estimation of leakage power considering within...
170
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In this paper we describe preliminary work that examines whether statistical properties of the structure of websites can be an informative measure of their quality. We aim to deve...
229
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...