2468 search results - page 297 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
126
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper considers a network composed of robotic agents and static nodes performing spatial estimation of a dynamic physical processes. The physical process is modeled as a s...
151
click to vote
ENTCS
2007
15 years 4 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
135
click to vote
ISPAN
1999
IEEE
15 years 8 months ago
1999
IEEE
Current distributed parallel platforms can provide the resources required to execute a scientific application efficiently. However, when these platforms are shared by multiple use...
151
click to vote
MOBIHOC
2009
ACM
16 years 4 months ago
2009
ACM
The study in mobile ad-hoc networks (MANET) is facing challenges brought by recent discovery of non-exponential behavior of the inter-contact time distribution of mobile nodes. In...
159
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The lag of parallel programming models and languages behind the advance of heterogeneous many-core processors has left a gap between the computational capability of moder...