Search Sciweavers | Sciweavers

407 search results - page 10 / 82

» Thermal-aware data flow analysis

145

click to vote

SCP
1998

138views more SCP 1998»

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

15 years 3 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 »

Voted

RECOMB
2010
Springer

180views Computational Biology» more RECOMB 2010»

Automated High-Dimensional Flow Cytometric Data Analysis

15 years 10 months ago

Download www.maths.uq.edu.au

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

claim paper

Read More »

107

click to vote

FSTTCS
2007
Springer

121views Software Engineering» more FSTTCS 2007»

Acceleration in Convex Data-Flow Analysis

15 years 10 months ago

Download www.labri.fr

Jérôme Leroux, Grégoire Sutre

claim paper

Read More »

109

click to vote

EUROMICRO
1996
IEEE

81views Software Engineering» more EUROMICRO 1996»

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

15 years 8 months ago

Download home.mit.bme.hu

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

claim paper

Read More »

107

Voted

SAS
2007
Springer

95views Formal Methods» more SAS 2007»

Accelerated Data-Flow Analysis

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers