7311 search results - page 349 / 1463 » Time in State Machines |
172
Voted
QUESTA
2007
15 years 7 months ago
2007
We consider a single server Markovian queue with setup times. Whenever this system becomes empty, the server is turned off. Whenever a customer arrives to an empty system, the ser...
193
click to vote
CHI
2006
ACM
16 years 8 months ago
2006
ACM
As our business, academic, and personal lives continue to move at an ever-faster pace, finding times for busy people to meet has become an art. One of the most perplexing challeng...
199
Voted
MLDM
2009
Springer
16 years 2 months ago
2009
Springer
The paper describes a method for predicting climate time series that consist of significant annual and diurnal seasonal components and a short-term stockastic component. A memory...
190
click to vote
PADS
2004
ACM
16 years 1 months ago
2004
ACM
An efficient cancellation scheme is essential to the performance of Time Warp simulations. The pitfalls of rollback echoes, chasing hazards and cascading rollbacks can be identi...
189
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...