924 search results - page 138 / 185 » One Application of the Parallelization Tool of Master-Slave ... |
132
Voted
SOSP
2003
ACM
16 years 16 days ago
2003
ACM
In recent years, overlay networks have become an effective alternative to IP multicast for efficient point to multipoint communication across the Internet. Typically, nodes self-...
217
Voted
ICDT
2009
ACM
16 years 4 months ago
2009
ACM
A Business Process (BP) consists of some business activities undertaken by one or more organizations in pursuit of some business goal. Tools for querying and analyzing BP specific...
130
click to vote
CVPR
2010
IEEE
16 years 2 days ago
2010
IEEE
Dynamic programming (DP) has been a useful tool for a variety of computer vision problems. However its application is usually limited to problems with a one dimensional or low tre...
124
Voted
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
135
Voted
PODC
2006
ACM
15 years 9 months ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...