ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures

被引：0
|
作者：
Leutgeb, Lorenz [2 ]
Moser, Georg [1 ]
Zuleger, Florian [2 ]
机构：
[1] Department of Computer Science, Universität Innsbruck, Innsbruck, Austria
[2] Institute of Logic and Computation 192/4, Technische Universität Wien, Vienna, Austria
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2021年 / 12760 LNCS卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Automation
引用
收藏
页码：99 / 122
相关论文
共 50 条
  • [1] ATLAS: Automated Amortised Complexity Analysis of Self-adjusting Data Structures
    Leutgeb, Lorenz
    Moser, Georg
    Zuleger, Florian
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 99 - 122
  • [2] SELF-ADJUSTING DATA-STRUCTURES
    LIAO, AM
    DR DOBBS JOURNAL, 1990, 15 (02): : 44 - &
  • [3] UNSUCCESSFUL SEARCH IN SELF-ADJUSTING DATA-STRUCTURES
    HUI, LCK
    MARTEL, C
    JOURNAL OF ALGORITHMS, 1993, 15 (03) : 447 - 481
  • [4] Automated design of self-adjusting pipelines
    Long, Jieyi
    Memik, Seda Ogrenci
    2008 45TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 211 - 216
  • [5] Automated Expected Amortised Cost Analysis of Probabilistic Data Structures
    Leutgeb, Lorenz
    Moser, Georg
    Zuleger, Florian
    COMPUTER AIDED VERIFICATION (CAV 2022), PT II, 2022, 13372 : 70 - 91
  • [6] Smooth Heaps and a Dual View of Self-Adjusting Data Structures
    Kozma, Laszlo
    Saranurak, Thatchaphol
    STOC'18: PROCEEDINGS OF THE 50TH ANNUAL ACM SIGACT SYMPOSIUM ON THEORY OF COMPUTING, 2018, : 801 - 814
  • [7] SMOOTH HEAPS AND A DUAL VIEW OF SELF-ADJUSTING DATA STRUCTURES
    Kozma, Laszlo
    Saranurak, Thatchaphol
    SIAM JOURNAL ON COMPUTING, 2020, 49 (05)
  • [8] STRUCTURES OF SELF-ADJUSTING SYSTEMS WITH MODELS
    ELISEEV, VD
    AUTOMATION AND REMOTE CONTROL, 1976, 37 (02) : 209 - 216
  • [9] Study on self-adjusting property and self-adjusting structures for planar Crank-Rocker mechanism
    An, PW
    Huang, ML
    Du, L
    He, Z
    ELEVENTH WORLD CONGRESS IN MECHANISM AND MACHINE SCIENCE, VOLS 1-5, PROCEEDINGS, 2004, : 1199 - 1203
  • [10] Results and problems on self-adjusting search trees and related data structures
    Tarjan, Robert E.
    ALGORITHM THEORY - SWAT 2006, PROCEEDINGS, 2006, 4059 : 2 - 2
12345