Вы здесь

Главная

анализ

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

A Systematic Construction of Abstract Domains
A System for Supporting Organizations in Knowledge-Based Document Preparation
A Taxonomy for Real-World Modelling Concepts
A Technique to Eliminate Redundant Inter-Processor Communication on Parallelizing Compiler TIPAR
A Theorem Proved-Based Analysis Tool for Object-Oriented Databases
A Timing Refinement of Intuitionistic Proofs and Its Application to the Timing Analysis of Combinational Circuits
ATOM - A System for Building Customized Program Analysis Tools
Atomic Use Case: A Concept for Precise Modeling of Object-Oriented Information Systems
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs
A Tool for Analysis of Real-Time System Specification Methods
A Tool Kit for Constructing Optimal Interprocedural Data Flow Analyses
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
A Train Set as a Case Study for the Requirements Analysis of Safety-Critical Systems
A Transformational Approach which Combines Size Inference and Program Optimization (Position Paper)
A Two-Stack (Bottom-up) Parser Construction: Beyond LR Parsing Without Backtracking
A Type-Based Algoritm for the Control-Flow Analysis of Higher-Order Concurrent Programs
A Type-based Analysis for Stack Allocation in Functional Languages
A Type-based Framework for Program Analysis
A Type Based Sharing Analysis for Update Avoidance and Bookkeeping Optimization
A Type Based Sharing Analysis for Update Avoidance and Optimisation
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information
A Type System for Reachability and Acyclicity
A Unified Data-Flow Framework for Optimizing Communication
A Uniform Approach for Compile-time and Run-time Specialization
A Uniform Approach for the Definition of Security Properties
A Usage Analysis with Bounded Usage Polymorphism and Subtyping
A User Guide to HyTech
Authorization Analysis of Queries in Object-Oriented Databases
Automata, Languages and Programming: Proc./21st Intern. Colloquium, ICALP 94. Jerusalem, Israel, July 1994
Automated Analysis of Java Message Service Providers
Automated Assistance for Program Restructuring
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms
Automated Technology for Verification and Analysis: Proc./6th International Symposium, ATVA 2008. Seoul, Korea, October 2008
Automated Testing of Classes
Automated Verification of Behavioural Properties of Prolog Programs
Automatic Accurate Time-Bound Analysis for High-Level Languages
Automatic Alignment of Array Data and Processes to Reduce Communication Time on DMPPs
Automatic Analysis of Loops to Exploit Operator Parallelism on Reconfigurable Systems
Automatic Analysis, Verification and Synthesis of Rule-Based Real-Time Decision Making Systems with Machine Learning Assistance
Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism
Automatic Complexity Analysis
Automatic Complexity Analysis of Logic Programs
Automatic Construction of Hoare Proofs from Abstract Interpretation Results
Automatic Construction of Prolog Primitives for Type Checking Analysis
Automatic Detection of Uninitialized Variables
Automatic Document Classification: Natural Language Processing, Statistical Analysis, and Expert System Techniques Used Together
Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming
Automatic Parallelization of Sparse Matrix Computations: A Static Analysis