Вы здесь

Главная

стохастический

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

Geometric Science of Information: Proc./1st International Conference, GSI 2013, Paris, France, August 2013
Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes
Hierarchies in Colored GSPNs
Hybrid Systems: Computation and Control: Proc./8th International Workhshop, HSCC 2005. Zurich, Switzerland, March 2005
Introducing a Color Formalism into Generalized Stochastic Petri Nets
Introducing the Iteration in sPBC
Investigating equivalence relations in dtsPBC
Iteration in discrete time stochastic Petri box calculus
Iterative Decomposition and Aggregation of Labeled GSPNs
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets
It Usually Works: The Temporal Logic of Stochastic Systems
Large-Scale Scientific Computing: Revised Selected Papers/8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 2011
Learning and Intelligent Optimization: Selected Papers/Third International Conference, LION 3, Trento, Italy, January 2009
Logical Characterization of Probablistic theta-Bisimulation Equivalents
Manual and Automatic Exploitation of Symmetries in SPN Models
Markov Regenerative Stochatic Petri Nets with Age Type General Transitions
Mathematical and Engineering Methods in Computer Science: Revised Selected Papers/8th Iternational Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 2012
Mathematical Foundations of Computer Science 2009: Proc./34th International Symposium, MFC 2009. Novy Smokovec, High Tatras, Slovakia, August 2009
Mathematical Foundations of Computer Science 2010: Proc./35th International Symposium, MFCS 2010, Brno, Czech Republic, August 2010
Model Checking Software: Proc./13th International SPIN Workshop. Vienna, Austria, March/April 2006
Modelling and Analysis of a Scheduled Maintenance System: A DSPN Approach
Numerical Analysis and Its Applications: Revised Selected Papers/5th Unternational Conference, NAA 2012, Lozenetz, Bulgaria, June 2012
Numerical Analysis of Superposed GSPNs
Numerical Software Verification: Revised Selected Papers/9th International Workshop, NSV 2016, Toronto,ON,Canada, July 2016
On the Product Form Solution for Stochastic Petri Nets
On the Use of Structural Petri Net Analysis for Studying Product Form Equilibrium Distributions of Queueing Networks with Blocking
Parallel State Space Exploration for GSPN Models
Performance Bounds for Stochastic Timed Petri Nets
Performance evaluation of the generalized shared memory system in dtsPBC
Performance preserving equivalences for dtsPBC
Problems in Combining Qualitative and Quantitative Analysis Using Generalized Stochastic Petri Nets
Protocol Optimization for a Packet-Switched Bus in Case of Burst Traffic by Means of GSPN
Quantitative Evaluation of Systems: Proc./10th International Conference, QEST 2013, Buenos Aires, Argentina, August 2013
Quantitative Evaluation of Systems: Proc./11th International Conference, QEST 2014, Florence, Italy, September 2014
Queueing Theory and Network Applications; Proc./13th International Conference, QTNA 2018, Tsukuba, Japan, July 2018
Random sprouts as Internet models. and Polya processes
Saturation Conditions for Stochastic Petri Nets
Social Computing, Behavioral-Cultural Modeling and Prediction: Proc./4th International Conference, SBP 2011, College Park,MD,USA, March 2011
Software Reliability Measurement and Assessment with Stochastic Differential Equations
Stochastic Algorithms: Foundations and Applications: Proc./4th International Symposium, SAGA 2007. Zurich, Switzerland, September 2007
Stochastic Algorithms - Foundations and Applications: Proc./Second Intern. Symp., SAGA 2003, Hatfield, UK, September 2003
Stochastic Algorithms: Foundations and Applications: Proc./Third International Symposium, SAGA 2005. Moscow, Russia, October 2005
Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 2012
Stochastic Petri Nets Models for the Performance Analysis of TCP Connections Supporting Finite Data Transfer
Stochastic Scheduling With Variable Profile and Precedence Constraints
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Structural Techniques and Performance Bounds of Stochastic Petri Net Models
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
Symbolic Model Checking of Stochastic Systems: Theory and Implementation