Вы здесь

Главная

динамический

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

Programming Languages and Systems: Proc./20th European Symposium on Programming, ESOP 2011 Held as Part of the Joint European Conferences ETAPS 2011, Saabrucken, Germany, March 2011
Programming Languages and Systems: Proc./ 5th Asian Symposium, APLAS 2007. Singapore, November/December 2007
Program schemata technique for decidability of propositional dynamic logic variants
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part II - Homeostaticity
Properties of Steady Behavior of Dynamic Deductive Data Bases. Part I. -stability and Promise
Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State Machines
Propositional Dynamic Logic with Fixed Points as a Tool for Verification of Finite State Machines
Reconfigurable Computing: Architectures, Tools, and Applications: Proc./9th International Symposium, ARC 2013, Los Angeles,CA,USA, March 2013
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
Register Renaming and Dynamic Speculation: An Alternative Approach
Rule Mining for Dynamic Databases
Run-Time Check Elimination for Ada 9X
Runtime Support for Type-Safe Dynamic Java Classes
Runtime Verification: Proc./4th International Conference, RV 2013, Rennes, France, September 2013
Runtime Verification: Proc./5th International Conference, RV 2014, Toronto,ON,Canada, September 2014
Runtime Verification: Proc./First International Conference, RV 2010, St.Julians, Malta, November 2010
Safe Run-time Overloading
Satisfiability of Viability Constraints for Pfaffian Dynamics
Schema Evolution in Object-oriented database systems
Self-Organizing Qualitative Multimodel Control
Sensitivity Evaluation of Dynamic Load Sharing in Distributed Systems
Sifting Out the Gold: Delivering Compact Applications from an Exploratory Object-Oriented Programming Environment
Slim-Trees: High Performance Metric Trees Minimizing Overlap Between Nodes
Smart Homes and Health Telematics: Revised Papers/12th International Conference, ICOST 2014, Denver,CO,USA, June 2014
Software Architecture: Proc./11th European Conference, ECSA 2017, Canterbury, UK, September 2017
Software Architecture: Proc./4th European Conference, ECSA 2010, Copenhagen, Denmark, August 2010
Software Engineering for Self-Adaptive Systems II: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, October 2010
Software Evolution through Dynamic Adaptation of Its OO Design
Some Results on Propositional Dynamic Logic with Fixed Points
Space-Efficient Implementation of Nested Parallelism
Specification and Verification of Constraint-Based Dynamic Systems
Specifying and Analyzing Dynamic Software Architectures
SPIDER: A Multiuser Information Retrieval System for Semistructured and Dynamic Data
Stack Management of Runtime Structures in Distributed Implementations
Static and Dynamic Processor Allocation for Higher-Order Concurrent Languages
Static Detection of Dynamic Memory Errors
Static Head Nodes in the Operations on Dynamic Structures
Static Typing for Dynamic Messages
Stating Quality in Dynamic Information Systems
Statistical Network Analysis: Models, Issues, and New Directions: Revised Selected Papers/ICML 2006 Workshop. Pittsburgh, PA, USA, June 2006
Structuring Sets in Declarative Languages
Supporting SPMD Execution for Dynamic Data Structures
Symbolic and Quantitative Approaches to Reasoning with Uncertainty: Proc./12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 2013
Synchronization of Logics with Mixed Rules: Completeness Preservation
System Dynamic Modeling of an Inspection-Based Process
Systolic Parsing of Context-free Languages
tcc: A System for Fast, Flexible, and High-level Dynamic Code Generation
Techniques for Partial Evaluation of Imperative Languages
Temporal Logic Verification Using Simulation
Testing - Practice and Research Techniques: Proc./5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 2010