Вы здесь

Главная

анализ

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

Advances in Web-Based Learning - ICWL 2012: Proc./11th International Conference, Sinaia, Romania, September 2012
Advancing the Impact of Design Science: Moving from Theory to Practice: Proc./9th International Conference, DESRIST 2014, Miami,FL,USA, May 2014
A Dynamic Tracing Mechanism for Performance Analysis of OpenMP Applications
A Faster Earley Parser
A Feedback Mechanism for Query by Navigation
Affix Grammars for Programming Languages
A Financial Information System - Domain Analysis: Formalization
A Financial Information System - Domain Analysis: Narrative
A Flexible Architecture for Building Data Flow Analyzers
A Flexible Framework for Dynamic and Static Slicing of Logic Programs
A Formal Framework for the Analysis of Recursive-Parallel Programs
A FORTRAN Compiling Method for Dataflow Machines and Its Prototype Compiler for the Parallel Processing System -Harray-
A Fortran Parallelizing Compilation Scheme for OSCAR Using Dependence Graph Analysis
A Four Russians Algorithm for Regular Expression Pattern Matching
A Framework for Analysis of Typed Logic Programs
A Framework for Combining Analysis and Verification
A Framework for Decentralized Ranking in Web Information Retrieval
A Framework for Developing and Analyzing Software Architecture Specifications in SAM
A Framework for Dynamic Program Analyzers
A Framework for Exploiting Data Availability to Optimize Communication
A Frame work for Generalized Control Dependence
A Framework for Requirements Analysis Using Automated Reasoning
A Framework for the Analysis of Security Protocols
A Functional-Logic Perspective of Parsing
A General Algorithm for Data Dependence Analysis
A General Framework for Semantics-Based Bottom-Up Abstract Interpretation of Logic Programs
A General Framework for Variable Aliasing Towards Optimal Operators for Sharing Properties
A Generic Abstract Interpretation Algorithm and Its Complexity Analysis
A Generic Framework for Context-Sensitive Analysis of Modular Programs
A Generic Worklist Algorithm for Graph Reachability Problems in Program Analysis
Agent-Oriented Analysis and Modeling
Agent-Oriented Information Systems II: Revised Selected Papers/6th International Bi-Conference Workshop, AOIS 2004. Riga, Latvia, June 2004, and New York, NY, USA, July 2004
Agent-Oriented Software Engineering III: Proc./Third Intern. Workshop, AOSE 2002, Bologna, Italy, July 2002
Agent-Oriented Software Engineering II: Proc./Second Intern. Workshop, AOSE 2001, Montreal, Canada, May 2001
Agent-Oriented Software Engineering: Revised Papers/ First International Workshop, AOSE 2000. Limerick, Ireland, June 10, 2000
A Global Communication Optimization Technique Based on Data-Flow Analysis and Linear Algebra
A Grammatical Approach to DCG Parsing
A Graph-Free Approach to Data-Flow Analysis
A "Half-Perspective" Approach to Robust Ego-Motion Estimation for Calibrated Cameras
A Hardest Attacker for Leaking References
A Heuristic Algorithm FSDC Based on Avoidance of Deadlock Components in Finding Legal Firing Sequences of Petri Nets
A Hybrid Top-Down Parsing Technique
AI 2012: Advances in Artificial Intelligence: Proc./25th Australasian Joint Conference, Sydney, Australia, December 2012
A Kleene Analysis of Mobile Ambients
A Knowledge Level Characterisation of Multi-Agent Systems
A Language for the Complexity Analysis of Parallel Programs
Algebraic Methods in the Compositional Analysis of Logic Programs
Algorithmic Analysis of Nonlinear Hybrid Systems
Algorithmic Aspects in Information and Management: Proc./10th International Conference, AAIM 2014, Vancouver,BC,Canada, July 2014
Algorithmics of Large and Complex Networks: Design, Analysis and Simulation