Вы здесь

Главная

анализ

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

An Overview of Computational Complexity
An Overview of Semantics for the Validation of Numerical Programs
A Parametric Analysis of the State Explosion Problem in Model Checking
A Parsing Methodology for the Implementation of Visual Systems
A Performance Analysis of Alternative Multi-Attribute Declustering Stategies
A Performance Evaluation of Several Priority Policies for Parallel Processing Systems
A Per Model of Secure Information Flow in Sequential Programs
A Petri Net Approach for the Analysis of VHDL Descriptions
A Polinomial-time Graph Algorithm to Decide Liveness of some Basic Classes of Bounded Petri Nets
A Polynomial-Cost Non-determinism Analysis
A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets
A Polyvariant Binding Time Analysis Handling Partially Known Values
Applicability of the BLAST Model Checker: An Industrial Case Study
Application and Theory of Petri Nets 2002: Proc./23rd Intern. Conf., ICATPN 2002, Adelaide, Australia, June 2002
Application of Domain Analysis to Object-Oriented Systems
Application of Petri Nets to Communication Networks: Advances in Petri Nets
Applications and Theory of Petri Nets 2005: Proc./26th International Conference, ICATPN 2005. Miami, USA, 2005
Applications and Theory of Petri Nets: Proc./30th International Conference, PETRI NETS 2009. Paris, France, June 2009
Applications of Extended Static Checking
Applying Dimensional Analysis
Applying Domain and Design Knowledge to Requirements Engineering
Applying Formal Methods: Testing, Performance, and M/E-Commerce: Proc./FORTE 2004 Workshops The FormEMC, EPEW, ITM. Toledo, Spain, October 2004
Applying Multiple Views to Information Systems: A Preliminary Framework
Applying Object-Oriented Analysis and Design
Applying Object-Oriented Analysis on a Case Study
Applying OOAD in the Design and Implementation of an Intelligent Geographic Information Systems
Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs
Applying Static Analysis to Software Architectures
Applying Temporal Logic to Analysis of Behavior of Cooperating Logic Programs
Applying Theory to Practice Airworthy Software measured and Analysed
Approximated Trial and Error Analysis in Scientific Databases
Approximate Mean Value Analysis of Client-Server Systems with Multi-class Requests
Approximation and Online Algorithms: Revised Papers/6th International Workshop, WAOA 2008, Karlsruhe, Germany, September 2008
Approximation and Online Algorithms: Revised Papers/7th International Workshop, WAOA 2009, Copenhagen, Danmark, September 2009
Approximation and Online Algorithms: Revised Papers/8th International Workshop, WAOA 2010, Liverpool, UK, September 2010
Approximation and Online Algorithms: Revised Selected Papers/10th International Workshop, WAOA 2012, Ljubljana, Slovenia, September 2012
Approximation and Online Algorithms: Revised Selected Papers/11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 2013
Approximation and Online Algorithms: Revised Selected Papers/12th International Workshop, WAOA 2014, Wroclaw, Poland, September 2014
Approximation and Online Algorithms: Revised Selected Papers/9th International Workshop, WAOA 2011, Saarbrucken, Germany, September 2011
Approximation and Online Algorithms: Revised Selected Papers/Second International Workshop, WAPA 2004. Bergen, Norway, September 2004
A Practical Algorithm for Exact Array Dependence Analysis
A Practical Application of Sharing and Freeness Inference
A Practical Approach to the Global Analysis of CLP Programs
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations
A Prefetching Technique for Object-Oriented Databases
A Preliminary Annotated Bibliography on Domain Engineering
A Procedure for Analyzing Unbalanced Datasets
A Program Integration Algorithm that Accomodates Semantics-Preserving Transformations
A Program Transformaton for Backwards Analysis of Logic Programs
A Proof Method for Run-Time Properties of Prolog Programs