Profile Picture
  • All
  • Search
  • Images
  • Videos
  • Maps
  • News
  • More
    • Shopping
    • Flights
    • Travel
  • Notebook
Report an inappropriate content
Please select one of the options below.
  • Length
    AllShort (less than 5 minutes)Medium (5-20 minutes)Long (more than 20 minutes)
  • Date
    AllPast 24 hoursPast weekPast monthPast year
  • Resolution
    AllLower than 360p360p or higher480p or higher720p or higher1080p or higher
  • Source
    All
    Dailymotion
    Vimeo
    Metacafe
    Hulu
    VEVO
    Myspace
    MTV
    CBS
    Fox
    CNN
    MSN
  • Price
    AllFreePaid
  • Clear filters
  • SafeSearch:
  • Moderate
    StrictModerate (default)Off
Filter
Proving linearizability of fault-tolerant register protocols: dependency graph approach
41:01
YouTubeStellar Development Foundation
Proving linearizability of fault-tolerant register protocols: dependency graph approach
We propose a framework for proving linearizability of fault-tolerant register implementations in message-passing systems. Our framework is inspired by the declarative semantics approach commonly used in the programming languages community to specify the correctness of weak memory systems. It builds upon an abstraction of a dependency graph—a ...
5 days ago
Related Products
Dependency Graph Visualization
Graph Theory Books
Apache Dependency Graph
#dependency
What is Dependency Injection? Explained Simply with Real-World Examples
What is Dependency Injection? Explained Simply with Real-World Examples
YouTube7 months ago
Addiction vs Dependence
Addiction vs Dependence
YouTubeMay 25, 2023
Top videos
How SCA Actually Works (Step‑by‑Step) | Software Composition Analysis for DevSecOps Engineers
24:07
How SCA Actually Works (Step‑by‑Step) | Software Composition Analysis for DevSecOps Engineers
YouTubeIT Achiever YT
3 days ago
scrunchee - AI Code Intelligence That Actually Understands Your System
5:53
scrunchee - AI Code Intelligence That Actually Understands Your System
YouTubescrunchee-ai
2 days ago
Scaling data pipelines @ Magenta Telekom - OSA Con 2025
20:50
Scaling data pipelines @ Magenta Telekom - OSA Con 2025
YouTubeThe Open Source Analytics
1 day ago
Dependency graph Applications
Jira Dependency in Advance Roadmap | Jira Cloud
0:58
Jira Dependency in Advance Roadmap | Jira Cloud
YouTubeRai Gurukul
109 viewsMay 25, 2023
The Connection Between Emotional Dependence And Codependency
0:24
The Connection Between Emotional Dependence And Codependency
YouTubeRelationships That Work with
921 viewsOct 3, 2024
CHINA DRUG DEPENDENCY: America's urgent healthcare crisis #shorts
0:41
CHINA DRUG DEPENDENCY: America's urgent healthcare crisis #shorts
YouTubeFox Business
28.4K views1 month ago
How SCA Actually Works (Step‑by‑Step) | Software Composition Analysis for DevSecOps Engineers
24:07
How SCA Actually Works (Step‑by‑Step) | Software Composi…
3 days ago
YouTubeIT Achiever YT
scrunchee - AI Code Intelligence That Actually Understands Your System
5:53
scrunchee - AI Code Intelligence That Actually Understands Your S…
2 days ago
YouTubescrunchee-ai
Scaling data pipelines @ Magenta Telekom - OSA Con 2025
20:50
Scaling data pipelines @ Magenta Telekom - OSA Con 2025
1 day ago
YouTubeThe Open Source Analytics Community (OSA C…
Build Better Software to Build Software Better
12:31
Build Better Software to Build Software Better
1 day ago
YouTubeDevTools99
Charlie Munger : STOP Thinking Like an Employee - That Mental Trap Keeps You Dependent
24:42
Charlie Munger : STOP Thinking Like an Employee - That Mental Tr…
1 day ago
YouTubeThe True Invester
Mainframe Modernizer Product Demo & Overview
6:04
Mainframe Modernizer Product Demo & Overview
4 views2 days ago
YouTubeSanal Parameswaran
Invest in India’s Dividend Giant: Coal India Full Analysis | Coal India Hidden Growth Opportunity?
6:02
Invest in India’s Dividend Giant: Coal India Full Analysis | Coal Indi…
1 day ago
YouTubeSingh's investments
7:39
“India–Russia Relations’ Biggest Test: 1. क्या तूफान आने वाल…
2 days ago
YouTubeThink room Tv
25:34
مفاهیم پایه و راه‌اندازی Dagger
1 day ago
YouTubeRahim Mahmoudzadeh
See more videos
Static thumbnail place holder
More like this
Feedback
  • Privacy
  • Terms