Вы здесь

Главная

анализ

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

Business Process Models: Change Management
Business Rules in Systems Analysis: A Meta-Model and Repository System
Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems
Can you Trust your Data?
CAPPLES - A Capacity Planning and Performance Analysis Method for the Migration of Legacy Systems
Cardinality Analysis of Prolog
CASE Analysis and Design Tools
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus
Cellular Automata: Proc./7th International Conference on Cellular Automata for Research and Industry, ACRI 2006. Perpignan, France, September 2006
Change Analysis and Management in a Reuse-Oriented Software Development Setting
Chaotic Fixed Point Iterations
Chapter 14. A Framework for Global Communication Analysis and Optimizations
Chapter 3. Relevant Existing Practices
Chapter 6. Array Dataflow Analysis
Chapter 7. Interprocedural Analysis Based on Guarded Array Regions
Characterization and Analysis of Software and Computer Systems with Uncertainties and Variabilities
Characterizing Behavioural Semantics and Abstractor Semantics
Checking Safety Properties Using Compositional Reachability Analysis
Checking Subsystem Safety Properties in Compositional Reachability Analysis
CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
Class Analysis of Object-Oriented Programs through Abstract Interpretation
Class-Level Modular Analysis for Object-Oriented Languages
Cleanness Checking of String Manipulations in C Programs via Integer Analysis
Client-Driven Pointer Analysis
Clinical Image-Based Procedures: Revised Selected Papers/3rd International Workshop, CLIP 2014 Held in Conjunction with MICCAI 2014, Boston,MA,USA, September 2014
Clinical Image-Based Procedures. Translational Research in Medical Imaging: Revised Selected Papers/2nd International Workshop, CLIP 2013 Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 2013
Clock Analysis of Synchronous Dataflow Programs
Closing the Loop: The Influence of Code Analysis on Design
Cluster Analysis and Workload Classification
Cluster Analysis for Hypertext Systems
C-Mix: Specialization of Programs
CMPP 98: First International Workshop on Constructive Methods for Parallel Programming
Code Generation for Packet Header Intrusion Analysis on the IXP1200 Network Processor
Code Motion and Code Placement: Just Synonyms?
Code Motion for Explicitly Parallel Programs
Coding Theory and Applications: Proc./Second International Castle Meeting, ICMCTA 2008. Castillo de la Mota, Medina del Campo, Spain, September 2008
Coherent Models for Object-Oriented Analysis
Collaboration and Technology: Proc./19th International Conference, CRIWG 2013, Wellington, New Zealand, October 2013
Collaborative Agents - Research and Development: Revised Selected Papers/ International Worcshops CARE@AI09/CARE@IAT10, Melbourne, Australia, December 2009 and Toronto, Canada, August 2010
Collective Communication Performance Analysis Within the Communication System
Colored Petri Nets Based Modeling and Simulation of the Static and Dynamic Allocation Policies of the Asynchronous Bandwidth in the Fieldbus Protocol
Coloured Petri Nets Extended with Channels for Synchronous Communication
Combinatorial Image Analysis: Proc./10th International Workshop, IWCIA 2004. Auckland, New Zealand, December 2004
Combinatorial Pattern Matching: Proc./25th Annual Symposium, CPM 2014, Moscow, Russia, June 2014
Combinatorics, Algorithms, Probabilistic and Experimental Methodologies: Revised Selected Papers/1st International Symposium, ESCAPE 2007. Hangzhou, China, April 2007
Combined Selection of COTS Components
Combining Conditional Constant Propagation and Interprocedural Alias Analysis
Combining Forward and Backward Analyses of Temporal Properties
Combining Static and Dynamic Views for Architecture Reconstruction
Combining Theorem Proving and Model Checking through Symbolic Analysis