Sciweavers

503 search results - page 13 / 101

» Data Flow Analysis for CCS

20

PASTE
1999
ACM

100views Software Engineering» more PASTE 1999»

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

14 years 2 days ago

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification

Download www.cs.umass.edu

Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...

claim paper

Read More »

21

LCPC
1997
Springer

109views System Software» more LCPC 1997»

An Array Data Flow Analysis Based Communication Optimizer

13 years 12 months ago

An Array Data Flow Analysis Based Communication Optimizer

Download www.cs.fsu.edu

Xin Yuan, Rajiv Gupta, Rami G. Melhem

claim paper

Read More »

17

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

Reachability and Timing Analysis in Data Flow Networks: A Case Study

13 years 12 months ago

Reachability and Timing Analysis in Data Flow Networks: A Case Study

Download home.mit.bme.hu

B. Antal, György Csertán, Istvá...

claim paper

Read More »

24

POPL
1994
ACM

103views Programming Languages» more POPL 1994»

Lazy Array Data-Flow Dependence Analysis

13 years 12 months ago

Lazy Array Data-Flow Dependence Analysis

Download www.cse.iitb.ac.in

Vadim Maslov

claim paper

Read More »

25

DEXAW
2004
IEEE

132views Database» more DEXAW 2004»

Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations

13 years 11 months ago

Using Data-Flow Analysis for Resilience and Result Checking in Peer-To-Peer Computations

Download varrette.gforge.uni.lu

To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...

Samir Jafar, Sébastien Varrette, Jean-Louis...

claim paper

Read More »

« Prev « First page 13 / 101 Last » Next »