Вы здесь

Главная

анализ

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

Static Analysis: Proc./First Intern. Static Analysis Symp., SAS 94. Namur, Belgium, September 1994
Static Analysis: Proc./Second International Symposium, SAS 95. Glasgow,UK,September 1995
Static Analysis: Proc./Third International Symposium, SAS 96. Aachen,Germany,September 1996
Static Analysis: Proc./Third Intern. Workshop, WSA 93. Padova, Italy, September 1993
Static Analysis versus Software Model Checking for Bug Finding
Static Caching for Incremental Computation
Static Data Analysis of Gated Data Dependence Graphs
Static dependence analysis and control for loop scheduling
Static Dependency Analysis for Concurrent Ada 95 Programs
Static Detection of Pointer Errors: An Axiomatisation and a Cheking Algorithm
Static Program Analysis via 3-Valued Logic
Static semantics, types, and binding time analysis
Static Slicing in the Presence of Goto Statements
Static Slicing of Threaded Programs
Static Timing Analysis of Real-Time Systems
Stationary Detection in the Initial Transient Problem
Statistical Analysis of a P2P Query Graph Based on Degrees and Their Time-Evolution
Statistical Analysis of Generalized Processor Sharing Scheduling Discipline
Statistical Analysis of NAS Parallel Benchmarks and LINPACK Results
Statistical Methods in Video Processing: Revised Selected Papers/ ECCV 2004 Workshop, SMVP 2004. Prague, Czech Republic, May 2004
Statistical Network Analysis: Models, Issues, and New Directions: Revised Selected Papers/ICML 2006 Workshop. Pittsburgh, PA, USA, June 2006
Statistics on Random Trees
Steady-State Simulation of Queueing Processes: A Survey of Problems and Solutions
Stochastic Algorithms: Foundations and Applications: Proc./4th International Symposium, SAGA 2007. Zurich, Switzerland, September 2007
Stochastic Algorithms: Foundations and Applications: Proc./Third International Symposium, SAGA 2005. Moscow, Russia, October 2005
Stochastic Dependability Analysis of System Architecture Based on UML Models
Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer
Storage Use Analysis and its Applications
Strength Reduction via SSAPRE
Strictness Analysis as Finite-Domainn Constraint Solving
Strictness Analysis by Abstract Reduction Using a Tableau Calculus
Strictness Analysis for Attribute Grammars
Strictness and Totality Analysis
Strictness and Totality Analysis with Conjunction
Strictness Properties of Lazy Algebraic Datatypes
Structural Analysis of Hypertexts: Identifying Hierarchies and Useful Metrics
Structural Methods to Improve the Symbolic Analysis of Petri Nets
Structural, Syntactic, and Statistical Pattern Recognition: Proc./Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 2014
Structure and Chance: Melding Logic and Probability for Software Debugging
Structured Analysis and Object-Oriented Development are not Compatible
Structured Solution of Asynchronously Communicating Stochastic Modules
Structure-Preserving Binary Relations for Program Abstraction
Stubborn Sets for Standard Properties
Subject-Oriented Design: Towards Improved Alignment of Requirements, Design and Code
Subspace, Latent Structure and Feature Selection: Revised Selected Papers/Statistical and Optimization Perspectives Workshop, SLSFS 2005. Bohinj, Slovenia, February 2005
Success in Logic Programs
SUIF Explorer: An Interactive and Interprocedural Parallelizer
Summarizing Procedures in Concurrent Programs
Superblock Formation Using Static Program Analysis
Supporting Systems Analysis and Design through Fisheye Views