5499 search results - page 792 / 1100 » Generalized Rewrite Theories |
165
click to vote
PODC
2010
ACM
15 years 11 months ago
2010
ACM
We present an algorithm to solve the GROUP MUTUAL EXCLUSION problem in the cache-coherent (CC) model. For the same problem in the distributed shared memory (DSM) model, Danek and ...
218
click to vote
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
As information technology (IT) administration becomes increasingly complex, workflow technologies are gaining popularity for IT automation. Writing correct workflow programs is no...
188
click to vote
EXPCS
2007
15 years 11 months ago
2007
XML simplifies data exchange among heterogeneous computers, but it is notoriously verbose and has spawned the development of many XML-specific compressors and binary formats. We p...
199
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
198
click to vote
SIGIR
2010
ACM
15 years 11 months ago
2010
ACM
Collaborative Filtering (CF) algorithms, used to build webbased recommender systems, are often evaluated in terms of how accurately they predict user ratings. However, current eva...