Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,818,393 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

2014

2014

We consider three approaches to the modeling of systems with repairable components by a multivariate stochastic on-off process…

2007

2007

The stochastically timed process algebra GSMPA enhances the expressiveness of the stochastically timed process algebra EMPA by…

2007

2007

We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov…

2004

2004

Dynamic power management encompasses several techniques for reducing energy dissipation in electronic systems by selective…

1999

1999

Some approaches to network programmability require control processes for network devices. Such control processes are executed at…

1998

1998

In the paper the framework of generalized semi-Markov processes is applied to represent a continuous-time continuous variable…

1997

1997

This document specifies a set of QOS extensions to GSMP. The extended protocol, called qGSMP, provides means to specify traffic…

Review

1996

Review

1996

The apparent change from packet-based to cell-based technology utilizing ATM in the wide-area network backbone dictates that a…

Highly Cited

1994

Highly Cited

1994

We consider Markovian GSMPs (generalized semi-Markov processes) in which the rates of events are subject to control. A control is…

1992

1992

In this paper we show some structural results of a kanban system by using results about the underlying GSMP. The main results…