3991 search results - page 288 / 799 » Bounding homogeneous models |
155
click to vote
CP
2009
Springer
15 years 4 months ago
2009
Springer
Any sufficiently complex finite-domain constraint modelling language has the ability to express undefined values, for example division by zero, or array index out of bounds. This p...
154
click to vote
IPL
2011
15 years 1 months ago
2011
In this paper, we study the stationary node distribution of a variation of the Random Waypoint mobility model, in which nodes move in a smooth way following one randomly chosen Ma...
183
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
—A method to quantify the probabilistic controller taskload inherent to maintaining aircraft adherence to 4-D trajectories within flow corridors is presented. Taskload is here d...
176
click to vote
IPPS
2006
IEEE
16 years 25 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
168
click to vote
HIPC
2005
Springer
16 years 9 days ago
2005
Springer
We examine the problem of scheduling concurrent independent flows on multiple-disk I/O storage systems. Two models are considered: in the shared buffer model the memory buffer is ...