Sciweavers

15 search results - page 1 / 3
» An embedded Markov chain approach to stock rationing
Sort
View
ORL
2010
167views more  ORL 2010»
12 years 11 months ago
An embedded Markov chain approach to stock rationing
Rationing is an inventory policy that allows prioritization of demand classes. It enables the inventory system to provide higher service levels for critical demand classes. In thi...
Mehmet Murat Fadiloglu, Önder Bulut
MMB
2010
Springer
185views Communications» more  MMB 2010»
13 years 6 months ago
Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
Ralf Wimmer, Bernd Becker
ECRTS
2005
IEEE
13 years 10 months ago
Scheduling Tasks with Markov-Chain Based Constraints
Markov-Chain (MC) based constraints have been shown to be an effective QoS measure for a class of real-time systems, particularly those arising from control applications. Scheduli...
Donglin Liu, Xiaobo Sharon Hu, Michael D. Lemmon, ...
ICCAD
2008
IEEE
153views Hardware» more  ICCAD 2008»
14 years 1 months ago
SPM management using Markov chain based data access prediction
— Leveraging the power of scratchpad memories (SPMs) available in most embedded systems today is crucial to extract maximum performance from application programs. While regular a...
Taylan Yemliha, Shekhar Srikantaiah, Mahmut T. Kan...
ORL
2002
106views more  ORL 2002»
13 years 4 months ago
An M/G/1 queue with Markov-dependent exceptional service times
This paper considers an M/G/1 queue in which service time distributions in each busy period change according to a finite state Markov chain, embedded at the arrival instants of cu...
Tomoyuki Kodera, Masakiyo Miyazawa