Вы здесь

Главная

анализ

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

An Elimination Algorithm for Bidirectional Data Flow Problems Using Edge Placement
An Empirical Approach to Studying Software Evolution
An Empirical Study of Personal Document Spaces
An Empirical Study of Static Call Graph Extractors
An Engineering Approach to Secure System Analysis, Design, and Integration
An Equational Framework for the Flow Analysis of Higher Order Functional Programs
An Evaluation of Automatic Object Inline Allocation Techniques
An Evaluation of FUNSOFT Nets
A New Approach to Analyse Coupled-Context-Free Languages
A New Approach to Control Flow Analysis
A new, bottom-up, general parsing algorithm
A New Framework for Elimination-Based Data Flow Analysis Using DJ Graphs
A New Framework for Exhaustive and Incremental Data Flow Analysis Using DJ Graphs
A New Iterative Numerical Solution Algorithm for a Class of Stochastic Petri Nets
A New Paradigm for Requirements Specification and Analysis of System-of-Systems
A New Polynomial Time Algorithm for BCNF Relational Database Design
A New Sort Algorithm: Self-Indexed Sort
A New Version of FEAL, Stronger against Differential Cryptanalysis
An Exact Reference Analysis for Data Flow Testing
An Examination of Strategies for Estimating Capacity to Share Among Private Workstations
An Execution Mechanism for Nondeterministic, State-Oriented Programs Based on a Chart Parser
An Expanded View of Messages
An Experience of Using FDOOA Method to Develop a Telecommunications Network Management System
An Experiment in Domain Refinement: Type Domains and Type Representations for Logic Programs
An Exploration of Object-Oriented Methodologies for System Analysis and Design
An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance
An Imperical Study of Software Reuse with Special Attention to Ada
An Implementation and Evaluation of the Refined Triggering Graph Method for Active Rule Termination Analysis
An Improved Disjunctive Strictness Analysis for Lazy Functional Languages
An Integrated Formal Model of Scenarios Based on Statecharts
An integrated methodology for functional analysis, process design and database design
An integrating problem solving framework as an intelligent aid for analyzing and synthesizing technical systems
An Integration of Program Analysis and Automated Theorem Proving
An Interactive Data Analysis System Developed Under APL
An Intermediate Design Language and Its Analysis
An Interprocedural Parallelizing Compiler and Its Support for Memory Hierarchy Research
An Introduction to Cryptanalysis
An Introduction to Online and Offline Partial Evaluation Using a Simple Flowchart Language
An Introduction to Organizational Domain Modelling: A Domain Analysis Process Model
An Investigation of Content Representation Using Text Grammars
Annai Scalable Run-Time Support for Interactive Debugging and Performance Analysis of Large-Scale Parallel Programs
Annotated Structure Shape Graphs for Abstract Analysis of Prolog
An Object-Oriented Dependency Graph for Program Slicing
An OCR System for Document Classification
An Open Implementation Analysis and Design for Lightweight Threads
An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-Based Transformations
An Optimal Distributed Solution to the Dining Philosophers Problem
A note on the subtree isomorphism for order and relate problems
A Novel Probabilistic Data Flow Framework
A Novel Program Representation for Interprocedural Analysis