Вы здесь

Главная

трансформация

Связанные издания:

A Bounds Inference Method for Vector-Based Memoization
Abstraction and Performance in the Design of Parallel Programs: An Overview of the SAT Approach
Abstraction-Based Partial Deduction for Solving Inverse Problems - A Transformational Approach to Software Verification
Access Normalization: Loop Restructuring for NUMA Computers
Achieving Milti-level Parallelization
A Comparative Revisitation of Some Program Transformation Techniques
A Comparison of Locality Transformations for Irregular Codes
A Compiler Approach to Scalable Concurrent-Program Design
A Complete Characterization of Termination of 0 1 - 1 0
A Correspondence between Continuation Passing Style and Static Single Assignment Form
Advanced Functional Programming: Revised Lectures/ Third International School, AFP 98, Braga, Portugal, September 1998
Advanced Logic Program Specialisation
Advances in Conceptual Modeling: Proc./ER 2014 Workshops, ENMO, MoBiD,MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta,GA,USA, October 2014
Advances in Databases: Revised Selected Papers/28th British National Conference on Databases, BNCOD 28, Manchester, UK, July 2011
A Family of Data-Parallel Derivations
A First-Order One-Pass CPS Transformation
A Formal Framework for ER Schema Transformation
A Framework for Bottom Up Specialisation of Logic Programs
A Fusion-Embedded Skeleton Library
A Generic Framework for Specialization
Aggressive Loop Unrolling in a Retargetable, Optimizing Compiler
A graph transformation algorithms for concurrency control in a partitioned database
A Hierarchy of Deterministic Top-down Tree Transformations
A High Level Language for Conventional Access Control Models
A High-Level Language for Specifying XML Data Transformations
A History Concept for Design Recovery Tools
A Knowledge-based Program Transformation System
Algebraic Transformation and Optimization for XQuery
A Logic-Based Transformation System
A Logic for Analyzing Abstractions of Graph Transformation Systems
A Loop Transformation Algorithm Based on Explicit Data Layout Representation for Optimizing Locality
A Meta Model for Structured Worlflows Supporting Workflow Transformations
An Action System Specification of the Caltech Asynchronous Microprocessor
Analysing Definitional Trees: Looking for Determinism
Analysis of Logic Programs with Delay
An Argumentation-Theoretic Approach to Logic Program Transformation
An Automatic Class Generation Mechanism by Using Method Integration
An Environment for an Animated Simulation by Fast Graph Transformation
A Neural Network Based Tool for Semi-automatic Code Transformation
A New One-Pass Transformation into Monadic Normal Form
A New Transformation Based on Process-Message Duality for Concurrent Logic Programming
An Extended Transformation System for CLP Programs
An Implementation of Static Functional Process Networks
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
Annotated Revision Specification Programs
An Operational Investigation of the CPS Hierarchy
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs
A Pattern Matching Compiler for Multiple Target Languages
A Polyhedral Approach to Ease the Composition of Program Transformations