Conference paper
COUNTERFACTUAL CONCEPT BOTTLENECK MODELS
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
The notion of a weak snapshot scan is introduced and a methodology for using this abstraction is proposed. Two examples of algorithms are presented whose performance is enhanced while retaining a simple modular structure: bounded concurrent time-stamping and bounded randomized consensus. The resulting time-stamping protocol dominates all other currently known time-stamping protocols.
Gabriele Dominici, Pietro Barbiero, et al.
ICLR 2025
Oliver Bodemer
IBM J. Res. Dev
Maurice Hanan, Peter K. Wolff, et al.
DAC 1976
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering