Sciweavers

2673 search results - page 5 / 535
» Guided Static Analysis
Sort
View
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
15 years 7 months ago
Incremental Criticality and Yield Gradients
— Criticality and yield gradients are two crucial diagnostic metrics obtained from Statistical Static Timing Analysis (SSTA). They provide valuable information to guide timing op...
Jinjun Xiong, Vladimir Zolotov, Chandu Visweswaria...
98
Voted
FOSAD
2009
Springer
15 years 4 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...
112
Voted
SC
2009
ACM
15 years 7 months ago
Scalable temporal order analysis for large scale debugging
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
Dong H. Ahn, Bronis R. de Supinski, Ignacio Laguna...
81
Voted
SIAMAM
2002
67views more  SIAMAM 2002»
15 years 10 days ago
Stability of the Static Spike Autosolitons in the Gray--Scott Model
We performed an asymptotic linear stability analysis of the static spike autosolitons (ASs)--self-sustained solitary inhomogeneous states--in the Gray
C. B. Muratov, V. V. Osipov
85
Voted
SPAA
1998
ACM
15 years 5 months ago
Elimination Forest Guided 2D Sparse LU Factorization
Sparse LU factorization with partial pivoting is important for many scienti c applications and delivering high performance for this problem is di cult on distributed memory machin...
Kai Shen, Xiangmin Jiao, Tao Yang