Вы здесь

Главная

анализ

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

Analyzing and Refining an Architectural Style
Analyzing Communication Latency using the Nectar Communication Processor
Analyzing Direct Non-Local Dependencies in Attribute Grammars
Analyzing Errors and Referral Pairs to Characterize Common Problems and Improve Web Reliability
Analyzing Exception Flow in JavaTM Programs
Analyzing Fair Parametric Extended Automata
Analyzing Information Systems Development: A Comparison and Analysis of Eight Is Development Approaches
Analyzing Logic Programs by Reasoning Backwards
Analyzing Memory Accesses in x86 Executables
Analyzing Mobile Code Languages
Analyzing PICL Trace Data with MEDEA
Analyzing Refinements of State Based Specifications: The Case of TB Nets
Analyzing Stores and References in a Parallel Symbolic Language
Analyzing the Communication Topology of Concurrent Programs
An Analisys of Loop Latency in Dataflow Execution
An Analog Characterization of Elementary Computable Functions over the Real Numbers
An Analysis of Consistency Properties in Existing Spatial and Spatiotemporal Data Models
An Analysis of Dynamic Page Placement on a NUMA Multiprocessor
An Analysis of Dynamic Scheduling Techniques for Symbolic Applications
An Analysis of the Longest Match and the Greedy Heuristics in Text Encoding
An Analysis of Universal Multimedia Switching Architectures
An Analysis of Wide-Area Name Server Traffic
An Analysis of Zero-Clairvoyant Scheduling
An Analysis on Main-Memory and Log Space Usage in Extended Ephemeral Logging
An Analysis/Synthesis Language with Learning Strategies
An Analysis Technique for Examining Integration in a Project Support Environment
An Analytical Comparison of Two Secondary Index Schemes: Physical Versus Logical Addresses
An Analytic Framework for Specifying and Analyzing Imprecise Requirements
An Analyzer for Message Sequence Charts
Anaphora: Analysis, Algorithms, and Applications: Selected Papers/6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007. Lagos, Portugal, March 2007
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
An Approach for Hierarchical System Level Diagnosis of Massively Parallel Computers Combined with a Simulation-Based Method for Dependability Analysis
An Approach to Reducing Delays in Recognizing Distributed Event Occurrences
An Approximate Analysis of a Real-Time Database Concurrency Control Protocol via Markov Modeling
An Array Data Flow Analysis Based Communication Optimizer
An Array Partitioning Analysis for Parallel Loop Distribution
An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis
An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
An Automatic Class Generation Mechanism by Using Method Integration
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
An Automaton-Driven Frame Disposal Algorithm and its Proof of Correctness
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
An Efficient Abductive Reasoning System Based on Program Analysis
An Efficient Algorithm to Compute Delay Set in SPMD Programs
An Efficient All-Parses Systolic Algorithm for General Context-free Parsing
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages
An Efficient One-Pass Search Algorithm for Parsing Spoken Language
An Efficient Slicing Method for Library Functions and Its Implementation LibSlicer
An Efficient State Space Generation for the Analysis of Real-Time Systems
An Efficient Verifier of Truly Concurrent Properties