5481 search results - page 329 / 1097 » Application Analysis for Parallel Processing |
190
click to vote
ISORC
2005
IEEE
16 years 10 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
236
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
XML database functionality has been emerging in "XML-only" databases as well as in the major relational database products. Yet, there is no industry standard XML databas...
229
click to vote
SIGCOMM
2005
ACM
16 years 9 days ago
2005
ACM
Hash table is used as one of the fundamental modules in several network processing algorithms and applications such as route lookup, packet classification, per-flow state manage...
178
click to vote
ICPP
1999
IEEE
15 years 11 months ago
1999
IEEE
The vector-clock size necessary to characterize causality in a distributed computation is bounded by the dimension of the partial order induced by that computation. In an arbitrar...
192
Voted
SSDBM
2007
IEEE
16 years 1 months ago
2007
IEEE
Location-based information contained in publicly available GIS databases is invaluable for many applications such as disaster response, national infrastructure protection, crime a...