Sciweavers

2826 search results - page 171 / 566
» A resource-based analysis of IT sourcing
Sort
View
ICSE
2008
IEEE-ACM
16 years 1 months ago
Celadon: a change impact analysis tool for aspect-oriented programs
To reduce the manual effort of assessing potential affected program parts during software evolution, we develop a tool, called Celadon, which automates the change impact analysis ...
Sai Zhang, Zhongxian Gu, Yu Lin, Jianjun Zhao
111
Voted
ICCAD
2007
IEEE
125views Hardware» more  ICCAD 2007»
15 years 10 months ago
A methodology for timing model characterization for statistical static timing analysis
While the increasing need for addressing process variability in sub-90nm VLSI technologies has sparkled a large body of statistical timing and optimization research, the realizati...
Zhuo Feng, Peng Li
131
Voted
RTSS
2009
IEEE
15 years 8 months ago
Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores
—Memory accesses form an important source of timing unpredictability. Timing analysis of real-time embedded software thus requires bounding the time for memory accesses. Multipro...
Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Ab...
93
Voted
COMPLEX
2009
Springer
15 years 8 months ago
Comparing Networks from a Data Analysis Perspective
To probe network characteristics, two predominant ways of network comparison are global property statistics and subgraph enumeration. However, they suffer from limited information...
Wei Li, Jing-Yu Yang
112
Voted
SCAM
2008
IEEE
15 years 8 months ago
Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
Lei Wang, Qiang Zhang, PengChao Zhao