1321 search results - page 118 / 265 » Logic Simulation Using Networks of State Machines |
MOBIHOC
2004
ACM
15 years 9 months ago
2004
ACM
We present the Feasible Label Routing (FLR) protocol for mobile ad hoc networks, which uses path information to establish routes to destinations on demand. FLR enables loopfree in...
MOBICOM
2004
ACM
15 years 3 months ago
2004
ACM
Target tracking is an important application of wireless sensor networks. In this application, the sensor nodes collectively monitor and track the movement of an event or target ob...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
In many domains, a Bayesian network's topological structure is not known a priori and must be inferred from data. This requires a scoring function to measure how well a propo...
ATVA
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
106
click to vote
TIME
2006
IEEE
15 years 4 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...