11112 search results - page 2149 / 2223 » Computing Stuttering Simulations |
121
click to vote
P2P
2007
IEEE
15 years 8 months ago
2007
IEEE
There have been many proposals for constructing routing tables for Distributed Hash Tables (DHT). They can be classified into two groups: A) those that assume that the peers are ...
122
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
110
Voted
ROBOCOMM
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract—A major barrier to advancing modern wireless networking research is the lack of an effective wireless network simulation platform that simultaneously offers high fideli...
132
Voted
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
It is challenging to manage the performance of real-time databases (RTDBs) that are often used in data-intensive real-time applications such as agile manufacturing and target trac...
131
Voted
RTCSA
2007
IEEE
15 years 8 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...