Automatic Programs Generating From Non-Procedural Specifications for Gpus

Bulletin of the South Ural State University. Series "Computational Mathematics and Software Engineering"
doi 10.14529/cmse140101
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

FSAEIHE South Ural State University (National Research University)

Related search

Generating XTAG Parsers From Algebraic Specifications

2006English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Generating Maude Specifications From UML Use Case Diagrams.

Journal of Object Technology
Software
2009English

Generating Hardware From OpenMP Programs

2006English

Automatic Creation of Interface Specifications From Ontologies

2003English

Deriving Real-Time Programs From Duration Calculus Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

A Tutorial on Synthesis of Logic Programs From Specifications

1994English

AutoBayes: A System for Generating Data Analysis Programs From Statistical Models

Journal of Functional Programming
Software
2003English

A Methodology for Automatic Generation of Executable Communication Specifications From Parallel MPI Applications

ACM Transactions on Parallel Computing
MathematicsSimulationHardwareComputer Science ApplicationsArchitectureModelingComputational TheorySoftware
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy