10038 search results - page 338 / 2008 » Model Checking for Managers |
180
click to vote
RTAS
2007
IEEE
16 years 1 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
199
Voted
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
On multiprocessors with explicitly managed memory hierarchies (EMM), software has the responsibility of moving data in and out of fast local memories. This task can be complex and...
142
click to vote
AAAI
1998
15 years 8 months ago
1998
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
159
click to vote
ANOR
2010
15 years 6 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
162
click to vote
EOR
2007
15 years 6 months ago
2007
In this note, we consider a variation of the economic order quantity (EOQ) model where cumulative holding cost is a nonlinear function of time. This problem has been studied by We...