4075 search results - page 216 / 815 » Modeling Distributed Algorithm Using B |
169
click to vote
TAICPART
2006
IEEE
16 years 18 days ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
184
click to vote
SPIN
2004
Springer
15 years 12 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
146
click to vote
INFOCOM
2006
IEEE
16 years 18 days ago
2006
IEEE
— Studying transfer opportunities between wireless devices carried by humans, we observe that the distribution of the inter-contact time, that is the time gap separating two cont...
186
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
One problem of propagating the globally fittest individual via neighbourhood evolving in both island model and cellular model of existing parallel genetic algorithms (PGA) is that...
171
click to vote
INFOCOM
2007
IEEE
16 years 27 days ago
2007
IEEE
—We introduce a novel approach to multi-hop routing in wireless networks. Instead of the usual graph description we characterize the network by the packet delivery ratio matrix w...