Sciweavers

2673 search results - page 5 / 535
» Guided Static Analysis
Sort
View
DATE
2008
IEEE
111views Hardware» more  DATE 2008»
14 years 1 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...
FOSAD
2009
Springer
13 years 11 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...
SC
2009
ACM
14 years 2 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...
SIAMAM
2002
67views more  SIAMAM 2002»
13 years 7 months 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
SPAA
1998
ACM
13 years 11 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