Вы здесь

Главная

анализ

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

Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010
Testing Software and Systems: Proc./23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 2011
Tests and Proofs: Proc./Second International Conference, TAP 2008. Prato, Italy, April 2008
Text-and Speech-Triggered Information Access: Revised Lectures/8th ELSNET Summer School, Chios Island, Greece, July 2000
Text Categorization for Multiple Users Based on Semantic Features from a Machine-Readable Dictionary
Text, Speech, and Dialogue: Proc./10th International Conference, TSD 2007. Pilsen, Czech Republic, September 2007
Text, Speech, and Dialogue: Proc./9th International Conference, TSD 2006. Brno, Czech Republic, September 2006
Texture analysis by accurate identification of simple markovian models
The Access Region Test
The analysis of heuristics for search trees
The ANALYZE Rulebase for Supporting LP Analysis
The Application of Dependence Analysis to Software Architecture Descriptions
The Automated Analysis, Cataloging, and Searching of Digital Image Libraries: A Machine Learning Approach
The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler
The BLAST Query Language for Software Verification
The Chaining Approach for Software Test Data Generation
The Complexity of Simple Computer Architectures
The Complexity of Type Analysis of Object-Oriented Programs
The Concept of Dynamic Analysis
The Cost of Selective Recompilation and Environment Processing
The Def-inite Approach to Dependency Analysis
The Definition of Dependence Distance
The Design and Implementation of the GILENA Natural Language Interfaces Specification System
The Design of Whole-Program Analysis Tools
The Effectiveness of Flow Analysis for Inlining
The Effect of Expertise on Software Selection
The Essence of Compiling with Continuations
The Essence of Computation - Complexity, Analysis, Transformation
The Essential System Model
The Evaluation Transformer Model of Reduction and Its Correctness
The Feasibility of CASE Structured Analysis Methodology Support
The Fixpoint-Analysis Machine
The Impact on Retrieval Effectiveness of Skewed Frequency Distributions
The Integrated CWS-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems
The Interprocedural Coincidence Theorem
The Introduction of an Object Oriented Analysis/Design Method and Object Oriented Metrics in the Software Development Life-Cycle
The KLYDE Workbench for Studying Experimental Algorithm Analysis
The Limits of Alias Analysis for Scalar Optimizations
The Measured Cost of Copying Garbage Collection Mechanisms
The Modeling and Analysis of IEEE 802.6 s Configuration Control Protocol with Coloured Petri Nets
The Object Oriented Model and its Advantages
Theoretical Aspects of Computing - ICTAC 2006: Proc./Third International Colloquium. Tunis, Tunisia, November 2006
Theoretical Aspects of Computing - ICTAC 2014: Proc./11th International Colloquium, Bucharest, Romania, September 2014
Theoretical Computer Science: Proc./8th Italian Conf., ICTCS 2003, Bertinoro, Italy, October 2003
Theoretical Tools for Ada Semantics Analysis
Theory and Applications of Models of Computation: Proc/7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 2010
Theory and Applications of Satisfiability Testing: Proc./6th Intern. Conf., SAT 2003, Santa Margherita Ligure, Italy, May 2003
Theory and Applications of Satisfiability Testing - SAT 2006: Proc./9th International Conference. Seattle, WA, USA, August 2006
Theory and Applications of Satisfiability Testing - SAT 2007: Proc./10th International Conference. Lisbon, Portugal, May 2007
Theory and Practice of Model Transformations: Proc./First International Conference, ICMT 2008. Zuerich, Switzerland, July 2008