Sciweavers

11328 search results - page 76 / 2266
» Timed Branching Processes
Sort
View
EOR
2008
78views more  EOR 2008»
15 years 3 months ago
Discounted MEAN bound for the optimal searcher path problem with non-uniform travel times
We consider an extension of the optimal searcher path problem (OSP), where a searcher moving through a discretised environment may now need to spend a nonuniform amount of time tr...
Haye Lau, Shoudong Huang, Gamini Dissanayake
QUESTA
2006
80views more  QUESTA 2006»
15 years 3 months ago
Sojourn time distributions in the queue defined by a general QBD process
We consider a general QBD process as defining a FIFO queue and obtain the stationary distribution of the sojourn time of a customer in that queue as a matrix exponential distribut...
Toshihisa Ozawa
ICESS
2004
Springer
15 years 8 months ago
A New Approach for Predictable Hard Real-Time Transaction Processing in Embedded Database
Real-time transaction processing becomes concerns as embedded time coming rapidly. However, the transaction process in real-time embedded system still has some problems in resource...
Tianzhou Chen, Yi Lian, Jiangwei Huang
EPEW
2006
Springer
15 years 5 months ago
Embedding Real Time in Stochastic Process Algebras
We present a stochastic process algebra including immediate actions, deadlock and termination, and explicit stochastic delays, in the setting of weak choice between immediate actio...
Jasen Markovski, Erik P. de Vink
ANSOFT
1999
85views more  ANSOFT 1999»
15 years 2 months ago
Modeling Concurrent Real-Time Processes Using Discrete Events
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...
Edward A. Lee