Search Sciweavers | Sciweavers

503 search results - page 12 / 101

» Data Flow Analysis for CCS

click to vote

SCP
1998

138views more SCP 1998»

A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages

13 years 7 months ago

Download www.cs.unipr.it

Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...

Roberto Bagnara

claim paper

Read More »

click to vote

RECOMB
2010
Springer

180views Computational Biology» more RECOMB 2010»

Automated High-Dimensional Flow Cytometric Data Analysis

14 years 2 months ago

Download www.maths.uq.edu.au

Saumyadipta Pyne, Xinli Hu, Kui Wang, Elizabeth Ro...

claim paper

Read More »

click to vote

FSTTCS
2007
Springer

121views Software Engineering» more FSTTCS 2007»

Acceleration in Convex Data-Flow Analysis

14 years 1 months ago

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

click to vote

SAS
2007
Springer

95views Formal Methods» more SAS 2007»

Accelerated Data-Flow Analysis

14 years 1 months ago

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

click to vote

ADAEUROPE
2000
Springer

75views Software Engineering» more ADAEUROPE 2000»

Symbolic Data Flow Analysis for Detecting Deadlocks in Ada Tasking Programs

14 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers