Search Results for "design analysis algorithm"

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. ...

directed graph layout program for GML (Graph-Markup-Language) graph or partial graphviz DOT graph

HIPAcc development has moved to github: https://github.com/hipacc HIPAcc allows to design image processing kernels and algorithms in a domain-specific language (DSL). From this high-level description, low-level target code for GPU accelerators is generated using source-to-source translation. As back ends, the framework supports CUDA, OpenCL, and Renderscript. HIPAcc allows programmers to develop imaging applications while providing high productivity, flexibility and portability as well as competitive performance: the same algorithm description serves as basis for targeting different GPU accelerators and low-level languages.

This project contains a set of tools for formal verification and static analysis of VHDL design.

I want to build a Compiler that will compile C programs. compiler consists of lexical analysis stage,parser,syntax analysis,code generation stage. code for lexical analysis, parser is written in linux using lex and yacc tool.