|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 193 occurrences of 142 keywords
|
|
|
Results
Found 648 publication records. Showing 648 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Peter Buchholz 0001, Jan Kriege |
Aggregation of Markovian Models - An Alternating Least Squares Approach. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale, Francesca Pampaloni |
Quantitative Multirun Security under Active Adversaries. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Rastislav Lenhardt, James Worrell 0001 |
Verification of Two-Variable Logic Revisited. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund |
Static Partial Order Reduction for Probabilistic Concurrent Systems. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yang Zhao 0011, Gianfranco Ciardo |
A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou |
Interference-Sensitive Preorders for MANETs. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vinodh Venkatesan, Ilias Iliadis |
A General Reliability Model for Data Storage Systems. |
QEST |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001 |
Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis |
1 | Laura Aspirot, Ernesto Mordecki, Gerardo Rubino |
Fluid Limits Applied to Peer to Peer Network Analysis. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
BitTorrent, fluid limits, mean fields |
1 | Peter Buchholz 0001, Miklós Telek |
Composition and Equivalence of Markovian and Non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Rational Processes, Aggregation, Markov Models, Equivalence, Compositional Modeling |
1 | |
Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011 |
QEST |
2011 |
DBLP BibTeX RDF |
|
1 | Rena Bakhshi, Daniela Gavidia, Wan J. Fokkink, Maarten van Steen |
A Modeling Framework for Gossip-based Information Spread. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
dependable gossiping, performance evaluation, formal modelling, large-scale networks, gossip protocols, experimental validation |
1 | Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson |
Controlling Modelling Artifacts. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Wireless Sensor Networks, Abstraction, Performance Modelling, Model Validation |
1 | Benny Van Houdt |
Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chunyan Mu, David Clark 0001 |
A Tool: Quantitative Analyser for Programs. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
security, measurement, tool, language, flow |
1 | Raluca Halalai, Thomas A. Henzinger, Vasu Singh |
Quantitative Evaluation of BFT Protocols. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
BFT protocols, performance evaluation, model checking |
1 | Luca Bortolussi |
Hybrid Limits of Continuous Time Markov Chains. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Fluid Approximation, Piecewise Smooth Dynamical Systems, Discontinuous Rate Functions, Hybrid Systems, Mean Field |
1 | Giuliano Casale, Mirco Tribastone |
Fluid Analysis of Queueing in Two-Stage Random Environments. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mark Timmer |
SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
SCOOP, probabilistic process algebra, data-dependent probabilistic choice, symbolic optimisations, state space reduction, linearisation |
1 | Axel Schröpfer, Florian Kerschbaum |
Forecasting Run-Times of Secure Two-Party Computation. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Security, Performance Model, Multi-party Computation |
1 | Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley |
GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Fluid analysis, Scalability, Optimisation, Tool |
1 | Polyvios Tsirimpas, William J. Knottenbelt |
SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
betting exchange, strategy, trading |
1 | Jeremy Sproston |
Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Markov decision processes, probabilistic model checking, hybrid automata, stochastic games, controller synthesis |
1 | Geoffrey Smith 0001 |
Quantifying Information Flow Using Min-Entropy. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schwarick, Monika Heiner, Christian Rohr |
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Interval Decision Diagram, Continuous Stochastic Logic, Fast Adaptive Uniformization, Model Checking, Stochastic Simulation, Continuous Time Markov Chain, Generalized Stochastic Petri Net, Rewards, Computation Tree Logic |
1 | Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate |
Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Stochastic Hybrid Systems, Reachability and Safety, Approximations, Markov Chains, Abstractions |
1 | Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis |
Probe Automata for Passage Time Specification. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
passage time, Markov chains, GSPN |
1 | David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang 0002 |
A Hybrid Approach for Large Cache Performance Studies. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
large caches, traces, counters, analytical performance modeling |
1 | Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon |
Model Checking MDPs with a Unique Compact Invariant Set of Distributions. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Model Checking, Semantics, Markov Decision Processes, Probability Distributions |
1 | Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen |
Learning Probabilistic Automata for Model Checking. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata |
1 | Lothar Thiele |
Temperature-aware Real-Time Scheduling - Extended Abstract. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
temperature analysis, temperature guarantee, real-time systems, multiprocessor systems |
1 | Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
APAC: A Tool for Reasoning about Abstract Probabilistic Automata. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Compositional Abstractions for Long-Run Properties of Stochastic Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Stochastic Bounds, Compositional Abstraction, Performance Evaluation, Stochastic Process Algebra |
1 | Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu 0001 |
Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
unconditional fairness, Markov decision processes, partial order reduction, Probabilistic model checking |
1 | András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario |
Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Generalized Semi-Markov Process, Non-Markovian Stochastic Petri net, stochastic state class, DBM zones, probabilistic model checking |
1 | Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke |
Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Metrics, State-based Security Model, Adversary Attack Decisions |
1 | Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin |
COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Statistical Model Checking, Discrete Event Stochastic Processes, Stochastic Logic, Hybrid Automata |
1 | Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson 0001, Li Zhang 0002, Yuqing Gao |
A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Java native, light weight tracing, thread management, commercial benchmarks, memory management |
1 | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
symbolic state-space enumeration, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, quantitative evaluation, Correctness verification, stochastic Time Petri Net |
1 | Douglas Eskins, William H. Sanders |
The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems. |
QEST |
2011 |
DBLP DOI BibTeX RDF |
Quantitative Security Model, State-based Security Model, Cyber-Human Systems, Human Decision Points |
1 | Adetokunbo Makanju, Nur Zincir-Heywood, Evangelos E. Milios |
An Evaluation of Entropy Based Approaches to Alert Detection in High Performance Cluster Logs. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joseph L. Hellerstein |
The Role of Quantitative Models in Building Scalable Cloud Infrastructures. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin R. Neuhäußer, Lijun Zhang 0001 |
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jayanand Asok Kumar, Shobha Vasudevan |
Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Busic, Bruno Gaujal, Gaël Gorgo, Jean-Marc Vincent |
PSI2: Envelope Perfect Sampling of Non Monotone Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | András Horváth, Lorenzo Ridi, Enrico Vicario |
Transient Analysis of Generalised Semi-Markov Processes Using Transient Stochastic State Classes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jasper Berendsen, David N. Jansen, Frits W. Vaandrager |
Fortuna: Model Checking Priced Probabilistic Timed Automata. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. A. Smith |
Abstraction and Model Checking in the PEPA Plug-In for Eclipse. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | William H. Sanders |
Quantitative Evaluation of Security Metrics. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jens Happe, Henning Groenda, Michael Hauck 0001, Ralf H. Reussner |
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Wimmer 0001, Bettina Braitling, Bernd Becker 0001, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel |
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang, Franck van Breugel |
Model Checking Randomized Algorithms with Java PathFinder. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Pinzger 0002, Gabriele Kotsis |
AWPS - Simulation Based Automated Web Performance Analysis and Prediction. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Trivedi 0001, Dominik Wojtczak |
Timed Branching Processes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt, Boudewijn R. Haverkort |
Rare Event Simulation for Highly Dependable Systems with Fast Repairs. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Vijay Anand Korthikanti, Mahesh Viswanathan 0001, Gul Agha, YoungMin Kwon |
Reasoning about MDPs as Transformers of Probability Distributions. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Marin, Maria Grazia Vigliotti |
From Systems to Components: Constructive Methods for Product-Form Solutions. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski |
Compositional Design Methodology with Constraint Markov Chains. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ana Busic, Jean-Michel Fourneau |
A Toolbox for Component-Wise Bounds for Steady-State Distribution of a DTMC. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause, Peter Buchholz 0001, Jan Kriege |
ProFiDo - The Processes Fitting Toolkit Dortmund. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Derek Doran, Swapna S. Gokhale |
Searching for Heavy Tails in Web Robot Traffic. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lu Feng 0001, Marta Z. Kwiatkowska, David Parker 0001 |
Compositional Verification of Probabilistic Systems Using Learning. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Elvio Gilberto Amparore, Susanna Donatelli |
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar 0016, Dean Glazeski |
On the Theory of Stochastic Processors. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rena Bakhshi, Jörg Endrullis, Stefan Endrullis, Wan J. Fokkink, Boudewijn R. Haverkort |
Automating the Mean-Field Method for Large Dynamic Gossip Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Junaid Babar, Andrew S. Miner |
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Ana Sokolova |
Information Hiding in Probabilistic Concurrent Systems. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | William J. Stewart 0001 |
Reflections on the Numerical Solution of Markov Chains. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Didier, Thomas A. Henzinger, Maria Mateescu, Verena Wolf |
SABRE: A Tool for Stochastic Analysis of Biochemical Reaction Networks. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence Leemis |
Reliability Models. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli, Radu Mardare |
The Measurable Space of Stochastic Processes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erika Ábrahám, Nils Jansen 0001, Ralf Wimmer 0001, Joost-Pieter Katoen, Bernd Becker 0001 |
DTMC Model Checking by SCC Reduction. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benny Van Houdt |
A Phase-Type Representation for the Queue Length Distribution of a Semi-Markovian Queue. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Nir Piterman, Daniel Wagner 0002 |
p-Automata: New Foundations for Discrete-Time Probabilistic Verification. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mirco Tribastone |
Scalable Differential Analysis of Large Process Algebra Models. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Luca Bortolussi, Vashti Galpin, Jane Hillston, Mirco Tribastone |
Hybrid Semantics for PEPA. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Béatrice Bérard, John Mullins, Mathieu Sassolas |
Quantifying Opacity. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause, Gábor Horváth 0002 |
Fitting Markovian Arrival Processes by Incorporating Correlation into Phase Type Renewal Processes. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | |
QEST 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010 |
QEST |
2010 |
DBLP BibTeX RDF |
|
1 | Bo Friis Nielsen, Flemming Nielson, Hanne Riis Nielson |
Model Checking Multivariate State Rewards. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Levente Bodrog, Peter Buchholz 0001, Jan Kriege, Miklós Telek |
Canonical Form Based MAP(2) Fitting. |
QEST |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Max Walter, Sebastian Esch, Philipp Limbourg |
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
reliability block diagrams, dependent basic events, reliability, software tool, availability, copula, fault trees |
1 | Martin Schoeberl, Walter Binder, Philippe Moret, Alex Villazón |
Design Space Exploration for Java Processors with Cross-Profiling. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
processor architecture evaluation, cross-profiling, embedded systems, Java virtual machine |
1 | Hiroyuki Okamura, Tadashi Dohi |
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
continuous hidden Markov model, EM algorithm, Maximum likelihood estimation, Markovian arrival process |
1 | Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston |
The Bio-PEPA Tool Suite. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Juan F. Pérez, Benny Van Houdt |
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Structured Markov Chains, Quasi-Birth-and-Death processes |
1 | Antonius Erdmann, Dietmar Weber |
PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
unix-like software architecture, evaluation, performance measurement, IMS, data collection |
1 | Afonso Sales, Brigitte Plateau |
Reachable State Space Generation for Structured Models which Use Functional Transitions. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Decision Diagrams, Kronecker Algebra, Stochastic Automata Networks, State Space Generation |
1 | Reza Pulungan, Holger Hermanns |
Acyclic Minimality by Construction---Almost. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Acyclic phase-type distributions, minimality, minimal representation |
1 | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen |
The Ins and Outs of the Probabilistic Model Checker MRMC. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
none |
1 | Andras Farago |
Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
random network topology, scalability, connectivity |
1 | Melinda Magyar, István Majzik |
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
UML based modeling, modular model construction, dependability evaluation, Stochastic Activity Networks |
1 | Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes |
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
logical characterization, measurable, bisimulation, nondeterminism |
1 | Peter Buchholz 0001, Jan Kriege |
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Acyclic Phase Type Distributions, Fitting Procedures, Markovian Arrival Processes, Moments |
1 | Axel Legay, Mahesh Viswanathan 0001 |
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
simulation, Probability, hypothesis testing |
1 | Qi Zhang 0012, Armin Heindl, Evgenia Smirni, Andreas Stathopoulos |
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
departure process, BMAP/MAP/1 queue, Matrix-Exponential Processes (MEPs), Markovian Arrival Processes(MAPs) |
1 | Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders |
Remote Job Management in the Mobius Modeling Framework. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
parallel simulation execution, Simulation, modeling, discrete-event systems, compute clusters |
1 | Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni, Martin Schoeberl |
Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
cross-profiling, cross-profiles visualization, Java Virtual Machine, Embedded software, calling-context |
1 | Ricardo M. Czekster, Paulo Fernandes 0001, Thais Webber |
GTAexpress: A Software Package to Handle Kronecker Descriptors. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Kronecker descriptors, Numerical solution |
Displaying result #301 - #400 of 648 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|