6308 search results - page 368 / 1262 » Modeling Urgency in Timed Systems |
144
click to vote
EOR
2011
15 years 1 months ago
2011
: We analyse a single echelon single item inventory system where the demand and the lead time are stochastic. Demand is modelled as a compound Poisson process and the stock is cont...
179
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
In crisis, decisions must be made in human perceptual timeframes under pressure to respond to dynamic uncertain conditions. To be effective management must have access to real time...
159
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
This paper describes a solution for bus scheduling of distributed multi-mode TDL (Timing Definition Language) components. The TDL component model is based on the concept of Logical...
170
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
149
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Current microprocessors aggressively exploit instructionlevel parallelism (ILP) through techniques such as multiple issue, dynamic scheduling, and non-blocking reads. Recent work ...