Вы здесь

Главная

анализ

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

Automatic Program Synthesis on the Basis of Data Semantics Analysis
Automatic Scalability Analysis of Parallel Programs Based on Modeling Techniques
Automatic Support for Data Distribution on Distributed Memory Multiprocessor Systems
Automatic System File Generator
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings
Automatic Termination Analysis of Logic Programs
Average-Case Complexity for the Execution of Recursive Definitions on Relational Databases
Average-Case Performance Analysis of Online Non-Clairvoyant Scheduling of Parallel Tasks With Precedence Constraints
A Web-based Object-Oriented Design Tool
A "yo-yo" Parsing Algorithm for a Large Class of van Wijngaarden grammars
Backwards Abstract Interpretation of Probabilistic Programs
Backward Type Inference Generalises Type Checking
Balancing Runtime and Replay Costs in a Trace-and-Replay System
Banana - A Tool for Boudary Ambients Nesting ANAlysis
Basic-block Graphs: Living Denosaurs?
BATCES Solution #2: A Similated SA/OOD Approach
Bayesian Analysis of Empirical Software Engineering Cost Models
Bead: Explorations in Information Visualization
Behavior and Social Computing: Recised Selected Papers/ International Workshop, BSI 2013, Gold Coast,QLD,Australia, April 2013 and International Workshop BSIC 2013, Beijing, China, August 2013
Behaviour Analysis and Safety Conditions: A Case Study in CML
Beyond Prototype Implementations: Polymorphic Projection Analysis for Glasgow Haskell
Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
Binding-Time Analysis for Both Static and Dynamic Expressions
Binding-Time Analysis for Mercury
Binding-Time Analysis in Partial Evaluation: One Size Does Not Fit All
Bioinformatics Research and Applications: Proc./5th International Symposium, ISBRA 2009, Fort Lauderdale,FL,USA,May 2009
Bioinformatics Research and Applications: Proc./Fourth International Symposium, ISBRA 2008. Atlanta, GA, USA, May 2008
Bioinformatics Research and Development: Proc./First International Conference, BIRD 2007. Berlin, Germany, March 2007
Biological and Medical Data Analysis: Proc./5th International Symposium, ISBMDA 2004. Barcelona, Spain, November 2004
Biological and Medical Data Analysis: Proc./6th International Symposium, ISBMDA 2005. Aveiro, Portugal, November 2005
Biological and Medical Data Analysis: Proc./7th Intl Symp.ISBMDA 2006. Thessaloniki,Greece,December 2006
Biometrics and ID Management: Proc./COST 2101 European Workshopo, BioID 2011, Brandenburg (Havel), Germany, March 2011
Black and White Diamonds
Black-Box Test Reduction Using Input-Output Analysis
Block Loss Reduction in ATM Networks
Boolean Algebra of Shape Analysis Constraints
Boolean Constraints for Binding-Time Analysis
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation
Bottom-Up and Top-Down Context-Sensitive Summary Based Pointer Analysis
Bottom-up Grammar Analysis - A Functional Formulation
Bounded Model Checking in Software Using SMT Solvers Instead of SAT Solvers
Brain, Vision, and Artificial Intelligence: Proc./First International Symposium, BVAI 2005. Naples, Italy, October 2005
Branch Prediction For Free
Bridging the Gap Between Place- and Floyd-Unvariants with Applications to Preemptive Scheduling
Bug Analysis of Pascal Programs
Build a Tree - Save a Parse
Building and Maintaining Analysis-Level Class Hierarchies Using Galois Lattices
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions
Business Processes Management Workshops: Revised Selected Papers/BPM 2007 International Workshops BPI, BPD, CBP, ProHealth, RefMod, Semantics4ws. Brisbane, Australia, September 2007
Business Process Management: Models, Techniques, and Empirical Studies