Search Sciweavers | Sciweavers

3736 search results - page 19 / 748

» Generative Programming

click to vote

SBACPAD
2005
IEEE

177views Hardware» more SBACPAD 2005»

Automatic Data-Flow Graph Generation of MPI Programs

14 years 2 months ago

Download pagode.tuxfamily.org

The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...

Rafael Ennes Silva, Guilherme P. Pezzi, Nicolas Ma...

claim paper

Read More »

click to vote

PTS
2010

175views Hardware» more PTS 2010»

Test Data Generation for Programs with Quantified First-Order Logic Specifications

13 years 6 months ago

Download www.uni-koblenz.de

We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...

Christoph Gladisch

claim paper

Read More »

click to vote

FLOPS
2010
Springer

330views Automated Reasoning» more FLOPS 2010»

Applying Constraint Logic Programming to SQL Test Case Generation

14 years 3 months ago

Download www.fdi.ucm.es

We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view deﬁned in terms of other views and s...

Rafael Caballero, Yolanda García-Ruiz, Fern...

claim paper

Read More »

click to vote

SIGMOD
2009
ACM

132views Database» more SIGMOD 2009»

Generating example data for dataflow programs

14 years 8 months ago

Download www.cs.cmu.edu

Christopher Olston, Shubham Chopra, Utkarsh Srivas...

claim paper

Read More »