83 results on '"Guerraoui, Rachid"'
Search Results
2. The Fake News Vaccine : A Content-Agnostic System for Preventing Fake News from Becoming Viral
3. Unified and Scalable Incremental Recommenders with Consumed Item Packs
4. On the Unfairness of Blockchain
5. Monotonic Prefix Consistency in Distributed Systems
6. The Imitation Game: Algorithm Selection by Exploiting Black-Box Recommenders
7. On the Smallest Grain of Salt to Get a Unique Identity
8. The Disclosure Power of Shared Objects
9. Sequential Proximity : Towards Provably Scalable Concurrent Search Algorithms
10. Liveness in Transactional Memory
11. On the Unfairness of Blockchain
12. The Fake News Vaccine
13. A Thrifty Universal Construction
14. Profiling Transactional Applications
15. Source Routing in Time-Varing Lossy Networks
16. Obstruction-Free TMs
17. General Liveness ofTMs
18. Lock-Based TMs
19. TM Correctness Issues
20. Shared Memory Systems
21. Transactional Memory: A Primer
22. Opacity vs. Atomicity
23. Opacity
24. Implementing a TM
25. Introduction
26. Proving Opacity: An Example
27. Linearizability Is Not Always a Safety Property
28. Disjoint-Access Parallelism Does Not Entail Scalability
29. Privacy-Preserving Distributed Collaborative Filtering
30. Monotonic Prefix Consistency in Distributed Systems
31. Further Reading
32. Conclusions
33. Sequential Proximity
34. On the Smallest Grain of Salt to Get a Unique Identity
35. The Disclosure Power of Shared Objects
36. A Thrifty Universal Construction
37. Profiling Transactional Applications
38. Source Routing in Time-Varing Lossy Networks
39. Liveness in Transactional Memory
40. Disjoint-Access Parallelism Does Not Entail Scalability
41. Linearizability Is Not Always a Safety Property
42. Privacy-Preserving Distributed Collaborative Filtering
43. The Liveness of aTM
44. Principles of Transactional Memory
45. Sequential Proximity: Towards Provably Scalable Concurrent Search Algorithms
46. Transaction Execution Models in Partially Replicated Transactional Memory: The Case for Data-Flow and Control-Flow
47. Directory Protocols for Distributed Transactional Memory
48. Introduction to Transactional Replication
49. Verification Tools for Transactional Programs
50. Case Study: Using Transactions in Memcached
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.