2468 search results - page 192 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
142
click to vote
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
This paper develops and analyzes distributed search techniques for use in a peer-to-peer (P2P) network-based Information Retrieval (IR) system. In the absence of a centralized med...
116
click to vote
IJES
2006
15 years 4 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
162
click to vote
HPCA
2012
IEEE
13 years 11 months ago
2012
IEEE
The least recently used (LRU) replacement policy performs poorly in the last-level cache (LLC) because temporal locality of memory accesses is filtered by first and second level...
152
click to vote
DEBS
2009
ACM
15 years 7 months ago
2009
ACM
One of the main challenges faced by content-based publish/subscribe systems is handling large amount of dynamic subscriptions and publications in a multidimensional content space....
121
click to vote
EDOC
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper discusses a novel implementation of a workflow engine that supports service-based applications. The applications are defined according to the GAT model, which is an eve...