Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Lior Moscovici

dblp:84/3570 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1989
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Distributed computing theory · 100%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Distributed computing theory › randomization
randomized protocols
0.011989
Solvability in Asynchronous Environments (Extended Abstract) · FOCS 1989
Distributed computing theory › asynchronous computability
task solvability
0.011989
Solvability in Asynchronous Environments (Extended Abstract) · FOCS 1989
Distributed systems
fault tolerance
0.011989
Solvability in Asynchronous Environments (Extended Abstract) · FOCS 1989

Methods — techniques the papers use, named apart from their topics

shared memory model · 0.0message passing model · 0.0combinatorial characterization · 0.0
YearPublicationVenuePosition
1989 Solvability in Asynchronous Environments (Extended Abstract)
abstract
The authors present necessary and sufficient combinatorial conditions that determine membership in SM/sub t/ (respectively, MP/sub t/), the class of distributed decision tasks that are solvable in the shared memory (resp. message passing) model by a t-resilient randomized protocol, which never errs and works in the presence of a strong adversary. The sufficiency of the conditions is proved by designing protocols that are applicable to all tasks in the appropriate class. The computational complexity of the membership characterization is studied.>
Benny Chor, Lior Moscovici
FOCS2