Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

PASTE
1999
ACM

favoriteEmaildiscussreport

100views Software Engineering» more PASTE 1999»

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

13 years 8 months 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

Real-time Traffic

PASTE 1999 | Software Engineering |

claim paper

Related Content

» Partial Order Reduction for Verification of RealTime Components

» Fast SecondOrder Statistical Static Timing Analysis Using Parameter Dimension Reduction

» Efficient Composite Data Flow Analysis Applied to Concurrent Programs

» ARCube supporting ranking aggregate queries in partially materialized data cubes

» Advanced Timing Analysis Based on PostOPC Extraction of Critical Dimensions

» DataFlow Analysis for MPI Programs

» DataFlowBased Unit Testing of AspectOriented Programs

» An Evaluation of the Effectiveness of Measurementbased Anomaly Detection Techniques

» Refining the SAT decision ordering for bounded model checking

Post Info
More Details (n/a)

Added	03 Aug 2010
Updated	03 Aug 2010
Type	Conference
Year	1999
Where	PASTE
Authors	Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh

Comments (0)