Search Sciweavers | Sciweavers

1067 search results - page 3 / 214

» Analysis of BPEL Data Dependencies

142

click to vote

ATVA
2009
Springer

125views Hardware» more ATVA 2009»

Automated Analysis of Data-Dependent Programs with Dynamic Memory

16 years 6 days ago

Download www.cse.chalmers.se

We present a new approach for automatic veriﬁcation 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...

claim paper

Read More »

128

Voted

IPPS
2006
IEEE

87views Distributed And Parallel Com...» more IPPS 2006»

A general data dependence analysis to nested loop using integer interval theory

15 years 11 months ago

Download www.cecs.uci.edu

Jing Zhou, Guosun Zeng

claim paper

Read More »

142

click to vote

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

15 years 9 months ago

Download www.cse.iitb.ac.in

Vadim Maslov

claim paper

Read More »

117

click to vote

ICS
1992
Tsinghua U.

92views Distributed And Parallel Com...» more ICS 1992»

A general algorithm for data dependence analysis

15 years 9 months ago

Download www.iis.nsk.su

Christine Eisenbeis, Jean-Claude Sogno

claim paper

Read More »

106

click to vote

JSS
2000

50views more JSS 2000»

Data dependence analysis for array references

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers