Search results for "GSMP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	YoungWook Cha, TaeHyun Kwon, Choon Hee Kim, Jun Kyun Choi	Management Information and Model of GSMP Network Open Interface.	INTELLCOMM	2004	DBLP DOI BibTeX RDF
97	Rajeev Alur, Mikhail Bernadsky	Bounded Model Checking for GSMP Models of Stochastic Real-Time Systems.	HSCC	2006	DBLP DOI BibTeX RDF
97	YoungWook Cha, TaeHyun Kwon, Choon Hee Kim, Jun Kyun Choi	Network Management Services in GSMP Open Interface.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
97	Seong Gon Choi, Hyun Joo Kang, Jun Kyun Choi	Mobility Management with Low Latency Time by Using the GSMP on the MPLS Network.	ICOIN (2)	2002	DBLP DOI BibTeX RDF
76	Peter J. Haas, Gerald S. Shedler	Stochastic Petri Net Representation of Discrete Event Simulations.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	transition firings, timed transitions, Petri net simulation, countable state GSMP, generalized semi-Markov process, simulation, formal specification, Petri nets, discrete event simulation, Markov processes, stochastic Petri net
54	Mikhail Bernadsky, Rajeev Alur	Symbolic Analysis for GSMP Models with One Stateful Clock.	HSCC	2007	DBLP DOI BibTeX RDF
54	Hyun Joo Kang, Seong Gon Choi, Jun Kyun Choi, Kyou-Ho Lee	A Look-Ahead Algorithm for Fast Fault Recovery in MPLS Network Using GSMP Open Signaling Architecture.	ICOIN (1)	2002	DBLP DOI BibTeX RDF
43	Gül Gürkan, Fikri Karaesmen, Özge Özdemir	Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization.	Discret. Event Dyn. Syst.	2007	DBLP DOI BibTeX RDF	Hedging points, Threshold levels, Generalized semi-Markov processes, Infinitesimal perturbation analysis, Sample-path optimization, Service-level constraints, Stochastic optimization, Stochastic fluid models
33	Greg Minshall, Robert M. Hinden, Eric Hoffman, FongChing Liaw, Thomas L. Lyon, Peter Newman	Flow labelled IP over ATM: design and rationale.	Comput. Commun. Rev.	2006	DBLP DOI BibTeX RDF	GSMP, IFMP, IP switching, flow labelled IP, ipsilon, ATM, IP
32	Javier Mancebo, Coral Calero, Félix García 0001	GSMP: Green Software Measurement Process.	Software Sustainability	2021	DBLP DOI BibTeX RDF
32	Avri Doria, Fiffi Hellstrand, Kenneth Sundell, Tom Worster	General Switch Management Protocol (GSMP) V3.	RFC	2002	DBLP DOI BibTeX RDF
32	Tom Worster, Avri Doria, Joachim Buerkle	General Switch Management Protocol (GSMP) Packet Encapsulations for Asynchronous Transfer Mode (ATM), Ethernet and Transmission Control Protocol (TCP).	RFC	2002	DBLP DOI BibTeX RDF
32	Hans Sjostrand, Joachim Buerkle, Balaji Srinivasan	Definitions of Managed Objects for the General Switch Management Protocol (GSMP).	RFC	2002	DBLP DOI BibTeX RDF
32	Avri Doria, Kenneth Sundell	General Switch Management Protocol (GSMP) Applicability.	RFC	2002	DBLP DOI BibTeX RDF
32	Frode B. Nilson	GMSim: A Tool for Compositional GSMP Modeling.	WSC	1998	DBLP DOI BibTeX RDF
32	Dinah W. Cheng	Analysis of a Tandem Queue with State-Dependent General Blocking: A GSMP Perspective.	Perform. Evaluation	1993	DBLP DOI BibTeX RDF
32	Peter W. Glynn	A GSMP formalism for discrete event systems.	Proc. IEEE	1989	DBLP DOI BibTeX RDF
21	Calin Ciufudean, Constantin Filote, Dumitru Amarandei	Control Charts of Workflows.	ICDM	2008	DBLP DOI BibTeX RDF	Equivalent Transfer Functions, Control Charts of Workflows, Stochastic Petri Nets, Artificial Social Systems
21	Christoph Lindemann, Axel Thümmler, Alexander Klemm, Marco Lohmann, Oliver P. Waldhorst	Performance analysis of time-enhanced UML diagrams based on stochastic processes.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF	QoS performance modeling, model evaluation techniques, tools and techniques, transient and steady-state analysis of generalized semi-Markov processes
21	Jürgen Quittek, Cornelia Kappler	Remote Service Deployment on Programmable Switches with the IETF SNMP Script MIB.	DSOM	1999	DBLP DOI BibTeX RDF
21	Mario Bravetti, Marco Bernardo 0001, Roberto Gorrieri	Towards Performance Evaluation with General Distributions in Process Algebras.	CONCUR	1998	DBLP DOI BibTeX RDF
21	Sridhar R. Tayur	Properties of serial kanban systems.	Queueing Syst. Theory Appl.	1992	DBLP DOI BibTeX RDF	production lines, Optimal design, stochastic comparisons