Sciweavers

Share
275 search results - page 1 / 55
» Automated Analysis of Data-Dependent Programs with Dynamic M...
Sort
View
ATVA
2009
Springer
125views Hardware» more  ATVA 2009»
9 years 10 months ago
Automated Analysis of Data-Dependent Programs with Dynamic Memory
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
Parosh Aziz Abdulla, Muhsin Atto, Jonathan Cederbe...
MICRO
2010
IEEE
143views Hardware» more  MICRO 2010»
8 years 10 months ago
SD3: A Scalable Approach to Dynamic Data-Dependence Profiling
Abstract--As multicore processors are deployed in mainstream computing, the need for software tools to help parallelize programs is increasing dramatically. Data-dependence profili...
Minjang Kim, Hyesoon Kim, Chi-Keung Luk
ICS
1993
Tsinghua U.
9 years 8 months ago
Static and Dynamic Evaluation of Data Dependence Analysis
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
Paul Petersen, David A. Padua
APSEC
1999
IEEE
9 years 8 months ago
Slicing Methods Using Static and Dynamic Analysis Information
In this paper, we propose four slicing methods using both static and dynamic analysis information. (1) StatementMark Slice : removes the unnecessary statements using an execution ...
Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue
APPT
2013
Springer
5 years 11 months ago
Inference and Declaration of Independence in Task-Parallel Programs
The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel...
Foivos S. Zakkak, Dimitrios Chasapis, Polyvios Pra...
books