5015 search results - page 568 / 1003 » Model Checking a Path |
206
click to vote
SPRINGSIM
2007
15 years 8 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...
157
click to vote
IJHPCA
2008
15 years 6 months ago
2008
We present a speculative extrapolation of the performance aspects of an atmospheric general circulation model to ultra-high resolution and describe alternative technological paths...
206
click to vote
TPDS
2002
15 years 6 months ago
2002
One of the most fundamental problems automatic parallelization tools are confronted with is to find an optimal domain decomposition for a given application. For regular domain prob...
213
click to vote
MOBIHOC
2001
ACM
16 years 6 months ago
2001
ACM
In most studies on mobile ad hoc networks (MANET), simulation models are used for the evaluation of devices and protocols. Typically, such simulations focus on the specific higher...
212
click to vote
PADS
2004
ACM
16 years 9 days ago
2004
ACM
In mobile ad hoc network (MANET) studies, it is imperative to use highly detailed device models as they provide high layer protocols with good prediction of underlying wireless co...