Distributed systems for fun and profit mixu.net - get the latest breaking news, showbiz & celebrity photos, sport news & rumours, viral videos and top stories from mixu.net Daily Mail and Mail on Sunday newspapers.
ICPP, the International Conference on Parallel Processing, provides a forum for engineers and scientists in academia, industry, and government to present [.]
April 1st, 11am-12:30pm
April 1, 2021 12:30 PM Virtual Meeting
Talk Abstract: For several decades, my collaborators, students, and I have worked on theory for distributed systems in order to understand their capabilities and limitations in a rigorous, mathematical way. This work has produced many different kinds of results, including:
• Abstract models for problems that are solved by distributed systems, and for the algorithms used to solve them
• Rigorous proofs of algorithm correctness and performance properties (also some error discoveries),
• Impossibility results and lower bounds, expressing inherent limitations of distributed systems,
• Some new algorithms, and
• General mathematical foundations for modeling and analyzing distributed systems.