MétaCan
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
Ordre
Langue
Type
Domaine
Revue
Sujet
Distributed systems and fault tolerance
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

1 063 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
1 063 travaux dans la cohorte · sur 4 299 418page 5 sur 22

Les étiquettes couvrent 3 des 1 063 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 1 063 des 1 063 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le volet Gemma est une étiquette directe du modèle pour chaque travail (titre seulement); le volet Codex est un classifieur distillé et calibré. Le mode candidate est l'union; le consensus est l'intersection.

affsans résuménon étiqueté
On Model-Checking Optimistic Replication Algorithms
Hanifa Boucheneb, Abdessamad Imine
2009· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
14
citations
affnon étiqueté
Detecting deadlock in programs with data-centric synchronization
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vítek
2013· article· en· 2013 35th International Conference on Software Engineering (ICSE)· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
14
citations
affsans résuménon étiqueté
DBFarm: A Scalable Cluster for Multiple Databases
Christian Plattner, Gustavo Alonso, M. TAMER ÖZSU
2006· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
13
citations
affsans résuménon étiqueté
Linearizability Is Not Always a Safety Property
Rachid Guerraoui, Eric Ruppert
2014· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
13
citations
affnon étiqueté
Melange
Anil Madhavapeddy, Alex Ho, Tim Deegan, David Scott, Ripduman Sohan
2007· article· en· ACM SIGOPS Operating Systems Review· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
13
citations
affnon étiqueté
Inductive data flow graphs
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
2013· article· en· ACM SIGPLAN Notices· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
13
citations
affnon étiqueté
Characterising Concurrent Histories
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Łukasz Mikulski
2015· article· en· Fundamenta Informaticae· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
affnon étiqueté
Putting events in context
Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster
2011· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
affsans résuménon étiqueté
A queue based mutual exclusion algorithm
Alex Aravind, Wim H. Hesselink
2008· article· en· Acta Informatica· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
affsans résuménon étiqueté
The Fault-Tolerant Cluster-Sending Problem
Jelle Hellings, Mohammad Sadoghi
2022· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
afffundnon étiqueté
Revisionist Simulations
Faith Ellen, Rati Gelashvili, Leqi Zhu
2018· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
affnon étiqueté
Be my guest
Tianzheng Wang, Milind Chabbi, Hideaki Kimura
2016· article· en· Computer Science
prédiction machine:candidate · insufficient_payloadconsensus · aucune
12
citations
affnon étiqueté
What scientific applications can benefit from hardware transactional memory?
Martin Schindewolf, Barna Biliari, John C. Gyllenhaal, Martin Schulz, Amy Wang, Wolfgang Karl
2012· article· en· 2012 International Conference for High Performance Computing, Networking, Storage and Analysis· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
12
citations
affsans résuménon étiqueté
Building Parallel Applications Using Design Patterns
Dhrubajyoti Goswami, Ajit Singh, Bruno R. Preiss
2002· book-chapter· en· Advances in Software Engineering· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
11
citations
fundno affsans résuménon étiqueté
On the expressivity of time-varying graphs
Arnaud Casteigts, Paola Flocchini, Emmanuel Godard, Nicola Santoro, Masafumi Yamashita
2015· article· en· Theoretical Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
11
citations

En coulisses: Sélection · Constats · À propos