Вы здесь

Главная

анализ

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

Shape Analysis of Functional Programs with Algebraic Data Types
Shape Analysis of Single-Parent Heaps
Shape in Medical Imaging: Proc./International Workshop, ShapeML 2018 Held in Conjunction with MICCAI 2018, Granada, Spain, September 2018
Sharing Analysis of Lazy First Order Functional Programs
Sharing and Groundness Dependencies in Logic Programs
Shifting up Reflection from the Implementation to the Analysis Level
Shlaer-Mellor Object-Oriented Analysis Rules
SIGCAS Crisis and Its Role in Advancing Social Analysis in Computer Science
Simple and Effective Analysis of Statically-Typed Object-Oriented Programs
Simple Relational Correctness Proofs for Static Analyses and Program Transformations
Single and Loving It: Must-Alias Analysis for Higher-Order Languages
Sistems Biology and Regulatory Genomics: Revised Selected Papers/Joint Annual RECOMB 2005 Satellite Workshops on Systems Biology and on Regulatory Genomics San Diego,CA USA,December 2005
Slicing Analysis and Indirect Accesses to Distributed Arrays
Smart Card Research and Advances Applications: Revised Selected Papers/12th International Conference, CARDIS 2013, Berlin, Germany, November 2013
Smart Health: Proc./International Conference, ICSH 2013, Beijing, China, August 2013
Social Computing and Social Media: Proc./8th International Conference, SCSM 2016 Held as Part of HCI International 2016, Toronto, Canada, July 2016
Social Computing and Social Media: Proc./International Conference, SCSM 2015, Hald as Part of HCI International 2015, Los Angeles,CA,USA, August 2015
Social Computing, Behavioral-Cultural Modeling and Prediction: Proc./6th International Conference, SBP 2013, Washington,DC,USA, April 2013
Social Informatics: Proc./4th International Conference, SocInfo 2012, Lausanne, Switzerland, December 2012
Social Informatics: Proc./5th International Conference, SocInfo 2013, Kyoto, Japan, November 2013
Social Informatics: Proc./Second International Conference, SocInfo 2010, Laxenburg, Austria, October 2010
SoftFLASH: Analyzing the Performance of Clustered Distributed Virtual Shared Memory
Software Analysis and Model Checking
Software Analysis, Testing, and Evolution: Proc./8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 2018
Software and Compilers for Embedded Systems: Proc./8th International Workshop, SCOPES 2004. Amsterdam, The Netherlands, September 2004
Software Architecture Modeling & Analysis: A Rigorous Approach
Software Architecture of the EPOCA Integrated Environment
Software Architecture: Proc./9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 2015
Software Configuration Management Risk Analysis before Relocating the Porting of Product s Family
Software Construction and Analysis Tools for Future Space Missions
Software Engineering in Europe: A Study of Best Practices
Software Engineering: Revised Tutoreal Lectures/ International Summer Schools, ISSSE 2009-2011, Salerno, Italy
Software engineering tools supporting ADISSA methodology for systems analysis and design
Software Language Engineering: Revised Selected Papers/4th International Conference, SLE 2011, Braga, Portugal, July 2011
Software Overhead in Messaging Layers: Where Does the Time Go?
Software Performance Engineering
Software Process Change: Proc./International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006. Shanghai, China, May 2006
Software Process Dynamics and Agility: Proc./International Conference on Software Process, ICSP 2007. Minneapolis, MN, USA, May 2007
Software Quality/Reliability Measurement and Assessment: Software Reliability Growth Models and Data Analysis
Software Reliability Analysis of Three Successive Generations of a Switching System
Software Reuse: Bridging with Social-Awareness: Proc./15th International Conference, ICSR 2016, Limassol, Cyprus, June 2016
Software smartens up data manipulation
Software Systems Engineering from Domain Analysis via Requirements Capture to Software Architectures
Solving Deductive Planning Problems using Program Analysis and Transformation
Solving Demand Versions of Interprocedural Analysis Problems
Solving Regular Path Queries
Solving Shape-Analysis Problems in Languages with Destructive Updating
Some Comments from a Numerical Analyst
Some DCE Performance Analysis Results
Some issues in parallel processing as encountered on the Denelcor HEP