Вы здесь

Главная

анализ

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

Some observations on skip-lists
Some Results on Exact Data Dependence Analysis
Sparse Functional Stores for Imperative Programs
Spatial Coherence for Visual Motion Analysis: Revised Papers/First International Workshop, SCVMA 2004. Prague, Czech Republic, May 2004
Spatial Information Theory: Proc./8th International Conference, COSIT 2007. Melbourne, Australia, September 2007
Speaker Classification I: Fundamentals, Features, and Methods
Speaker Classification II: Selected Projects
Specialization/Generalization in Object-Oriented Analysis: Strengthening and Multiple Partitioning
Specialization of Imperative Programs Through Analysis of Relational Expressions
Specification and Analysis of Fault Behaviours Using Graph Grammars
Specification and Analysis of Real-Time Systems Using Real-Time Maude
Specification-Level Integration of Simulation and Dependability Analysis
Specifying and Analyzing Dynamic Software Architectures
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
Spelling Correction for the Telecommunications Network for the Deaf
Spezifikation und Abstrakte Implementierung des Aufbereitungsteils von INTAKT
Splice: Aspects that Analyze Programs
Splitsort- An adaptive sorting algorithm
STACS 2006: Proc./23rd Annual Symposium on Theoretical Aspects of Computer Science. Marseille, France, February 2006
Staging Static Analyses Using Abstraction-Based Program Specialization
Statically Safe Speculative Execution for Real-Time Systems
Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
Static Analysis: 4th Intern Symp., SAS 97. Paris, France, September 1997
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs
Static Analysis for Guarded Code
Static Analysis of Ada Programs
Static Analysis of CLP Programs over Numeric Domains
Static Analysis of Communication for Asynchronous Concurrent Programming Languages
Static Analysis of Digital Filters
Static Analysis of Interaction Nets for Distributed Implementations
Static Analysis of Linear Congruence Equalities among Variables of a Program
Static Analysis of Linear Congruence Equalities Among Variables of a Program
Static Analysis of Parallel Logic Programs
Static Analysis of Processes for No Read-Up and No Write-Down
Static Analysis of Prolog with Cut
Static Analysis of Real-Time Component-Based Systems Configurations
Static Analysis of Term Graph Rewriting Systems
Static Analysis of Transactions for Conservative Multigranularity Locking
Static Analysis of Upper and Lower Bounds on Dependences and Parallelism
Static Analysis: Proc./10th Intern. Symp., SAS 2003, San Diego, CA, USA, June 2003
Static Analysis: Proc./11th International Symposium, SAS 2004. Vernona, Italy, August 2004
Static Analysis: Proc./12th International Symposium, SAS 2005. London, UK, September 2005
Static Analysis: Proc./13th International Symposium, SAS 2006. Seoul, Korea, August 2006
Static Analysis: Proc./17th International Symposium, SAS 2010, Perpignan, France, September 2010
Static Analysis: Proc./23rd International Symposium, SAS 2016, Edinburgh, UK, September 2016
Static Analysis: Proc./5th Intern. Symp., SAS 98. Pisa, Italy, September 1998
Static Analysis: Proc./6th Intern. Symp., SAS 99. Venice, Italy, September 1999
Static Analysis: Proc./ 7th International Symposium, SAS 2000. Santa Barbara, CA, USA, June/July 2000
Static Analysis: Proc./8th Intern. Symp., SAS 2001, Paris, France, July 2001
Static Analysis: Proc./9th Intern. Symp., SAS 2002, Madrid, Spain, September 2002