SEDGE: Symbolic Example Data Generation for Dataflow Programs

doi 10.1109/ase.2013.6693083
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Extending Dataflow Programs With Throughput Properties

2013English

Dataflow Testing of Java Programs With DFC

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Symbolic Methodology for Numeric Data Mining

Intelligent Data Analysis
Computer VisionPattern RecognitionArtificial IntelligenceTheoretical Computer Science
2008English

Symbolic Conditioning of Arrays in Probabilistic Programs

Proceedings of the ACM on Programming Languages
2017English

Symbolic Reaching Definitions Analysis of Ada Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Description of an Algorithm and Example Programs for Compression of Digital Files Containing Channelized Data

Open-File Report
2000English

Generation and Verification of Algorithms for Symbolic-Numeric Processing

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1998English

Scaling Data Mining in Massively Parallel Dataflow Systems

2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy