2771 search results - page 250 / 555 » Using Computational Reflection in Optimistic Distributed Sim... |
185
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
163
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
150
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
This paper proposes an efficient real-time scheduling algorithm for multiprocessor platforms. The algorithm is a derivative of the Rate Monotonic (RM) algorithm, with its basis on...
189
click to vote
ICDCS
2006
IEEE
16 years 16 days ago
2006
IEEE
To address the problem of unsupervised outlier detection in wireless sensor networks, we develop an algorithm that (1) is flexible with respect to the outlier definition, (2) wo...
163
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
Although several analytical models have been proposed in the literature for different interconnection networks with different routing algorithms, there is only one work dealing wi...