4586 search results - page 416 / 918 » Computing stable models in parallel |
157
click to vote
HPCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
129
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The main contribution of this work is to present elegant broadcast-efficientalgorithms for permutation routing, ranking, and sorting n items on the Broadcast Communication Model (...
156
Voted
ICPP
1993
IEEE
15 years 10 months ago
1993
IEEE
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
171
Voted
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
167
Voted
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Although service-oriented architectures offer real benefits when pursuing application integration and business flexibility, there are still no satisfactory solutions for dealing w...