Sciweavers

1713 search results - page 158 / 343
» Analysis of Procedure Splitability
Sort
View
107
Voted
VMCAI
2010
Springer
15 years 10 months ago
Shape Analysis with Reference Set Relations
Tracking subset relations between the contents containers on the heap is fundamental to modeling the semantics of many common programing idioms such as applying a function to a sub...
Mark Marron, Rupak Majumdar, Darko Stefanovic, Dee...
84
Voted
ICCD
2007
IEEE
120views Hardware» more  ICCD 2007»
15 years 9 months ago
Statistical timing analysis using Kernel smoothing
We have developed a new statistical timing analysis approach that does not impose any assumptions on the nature of manufacturing variability and takes into account an arbitrary mo...
Jennifer L. Wong, Azadeh Davoodi, Vishal Khandelwa...
91
Voted
ISSRE
2003
IEEE
15 years 6 months ago
Incremental Dynamic Impact Analysis for Evolving Software Systems
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
James Law, Gregg Rothermel
PPDP
2009
Springer
15 years 7 months ago
Path-sensitive region analysis for mercury programs
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
Quan Phan, Gerda Janssens
89
Voted
ICDM
2006
IEEE
118views Data Mining» more  ICDM 2006»
15 years 6 months ago
GCA: A Coclustering Algorithm for Thalamo-Cortico-Thalamic Connectivity Analysis
The reciprocal connectivity between the cerebral cortex and the thalamus in a human brain is involved in consciousness and related to various brain disorders, thus, in-vivo analys...
Cui Lin, Shiyong Lu, Xuwei Liang, Jing Hua