5015 search results - page 721 / 1003 » Model Checking a Path |
169
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The abilityto predict the performance of a simulationapplicationbefore its implementationis an important factor to the adoption of parallel simulation technology in industry. Idea...
148
click to vote
WSC
2004
15 years 8 months ago
2004
Routing table storage demands pose a significant obstacle for large-scale network simulation. On-demand computation of routes can alleviate those problems for models that do not r...
169
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
159
click to vote
EOR
2010
15 years 6 months ago
2010
-- The classical Wardrop System Optimum (SO) assignment model assumes that the users will cooperate with each other in order to minimize the overall travel costs. The importance of...
200
click to vote
TON
2008
15 years 6 months ago
2008
We study the problem of load balancing the traffic from a set of unicast and multicast sessions. The problem is formulated as an optimization problem. However, we assume that the g...