Search Results - "implicit computational complexity"

Refine Results
  1. 1
    Cover Image

    Reversible computing and implicit computational complexity by Kristiansen, Lars

    ISSN: 0167-6423, 1872-7964
    Published: Elsevier B.V 01.01.2022
    Published in Science of computer programming (01.01.2022)
    “…•We argue that there is a link between implicit computational complexity theory and reversible computation…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Quantum implicit computational complexity by Dal Lago, Ugo, Masini, Andrea, Zorzi, Margherita

    ISSN: 0304-3975, 1879-2294
    Published: Oxford Elsevier B.V 02.01.2010
    Published in Theoretical computer science (02.01.2010)
    “… The calculus is based on the “classical control and quantum data” paradigm. This is the first example of a formal system capturing quantum complexity classes in the spirit of implicit computational complexity…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Applied Implicit Computational Complexity by Rusch, Neea

    ISBN: 9798297635159
    Published: ProQuest Dissertations & Theses 01.01.2025
    “…Implicit computational complexity (ICC) complements classic complexity theory by developing machine-independent characterizations of complexity classes…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  4. 4
    Cover Image

    Developments in implicit computational complexity by Marion, Jean-Yves

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.04.2015
    Published in Information and computation (01.04.2015)
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs by Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo

    ISSN: 0168-7433, 1573-0670
    Published: Dordrecht Springer Netherlands 01.12.2019
    Published in Journal of automated reasoning (01.12.2019)
    “…We define a call-by-value variant of Gödel’s system T with references, and equip it with a linear dependent type and effect system, called d ℓ T , that can…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    Probabilistic Recursion Theory and Implicit Computational Complexity by Lago, Ugo Dal, Zuppiroli, Sara, Gabbrielli, Maurizio

    ISSN: 1843-8121, 2248-2695
    Published: Iasi Alexandru Ioan Cuza University of Iasi 01.01.2014
    Published in Scientific annals of computer science (01.01.2014)
    “…We show that probabilistic computable functions, i.e., those functions outputting distributions and computed by probabilistic Turing machines, can be…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  7. 7
    Cover Image

    Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis: Preface by Jost, Steffen

    ISSN: 2075-2180, 2075-2180
    Published: 14.08.2019
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Cover Image

    Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis: Modular Runtime Complexity Analysis of Probabilistic While Programs by Avanzini, Martin, Schaper, Michael, Moser, Georg

    ISSN: 2075-2180, 2075-2180
    Published: 14.08.2019
    Get full text
    Journal Article
    Save to List
    Saved in:
  9. 9
    Cover Image

    Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis: A Hierarchical System of Linear Logic for Exponential Time Complexity by Redmond, Brian F.

    ISSN: 2075-2180, 2075-2180
    Published: 14.08.2019
    Get full text
    Journal Article
    Save to List
    Saved in:
  10. 10
    Cover Image

    Formal security proofs with minimal fuss: Implicit computational complexity at work by Nowak, David, Zhang, Yu

    ISSN: 0890-5401, 1090-2651
    Published: Elsevier Inc 01.04.2015
    Published in Information and computation (01.04.2015)
    “…We show how implicit computational complexity can be used in order to increase confidence in game-based security proofs in cryptography…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  11. 11
    Cover Image

    Implicit computational complexity by MARION, Jean-Yves

    ISSN: 0304-3975
    Published: Amsterdam Elsevier 06.06.2004
    Published in Theoretical computer science (06.06.2004)
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    Cover Image

    Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs by Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo

    ISSN: 0168-7433, 1573-0670
    Published: Springer Verlag 01.01.2015
    Published in Journal of automated reasoning (01.01.2015)
    “…We define a call-by-value variant of Gödel 's System T with references, and equip it with a linear dependent type and effect system, called d that can estimate…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  13. 13
    Cover Image

    Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis: Preface by Bonfante, Guillaume, Moser, Georg

    ISSN: 2075-2180, 2075-2180
    Published: 18.04.2017
    Get full text
    Journal Article
    Save to List
    Saved in:
  14. 14
    Cover Image

    Challenges for Timing Analysis of Multi-Core Architectures: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis by Reineke, Jan

    ISSN: 2075-2180, 2075-2180
    Published: 18.04.2017
    Get full text
    Journal Article
    Save to List
    Saved in:
  15. 15
    Cover Image

    On Resource Analysis of Imperative Programs: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis by Kristiansen, Lars

    ISSN: 2075-2180, 2075-2180
    Published: 18.04.2017
    Get full text
    Journal Article
    Save to List
    Saved in:
  16. 16
    Cover Image

    Resource Analysis of Distributed and Concurrent Programs: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis by Albert, Elvira

    ISSN: 2075-2180, 2075-2180
    Published: 18.04.2017
    Get full text
    Journal Article
    Save to List
    Saved in:
  17. 17
    Cover Image

    Whole Systems Energy Transparency: More Power to Software Developers: Invited Talk at the 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis by Eder, Kerstin

    ISSN: 2075-2180, 2075-2180
    Published: 18.04.2017
    Get full text
    Journal Article
    Save to List
    Saved in:
  18. 18
    Cover Image

    Realizing Implicit Computational Complexity by Aubert, Clément, Rubiano, Thomas, Rusch, Neea, Seiller, Thomas

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 25.05.2022
    Published in arXiv.org (25.05.2022)
    “…This abstract aims at presenting an ongoing effort to apply a novel typing mechanism stemming from Implicit Computational Complexity (ICC…”
    Get full text
    Paper
    Save to List
    Saved in:
  19. 19
    Cover Image

    Proceedings Second Workshop on Developments in Implicit Computational Complexity: Preface by Marion, Jean-Yves

    ISSN: 2075-2180, 2075-2180
    Published: 01.01.2012
    Get full text
    Journal Article
    Save to List
    Saved in:
  20. 20
    Cover Image

    The Implicit Computational Complexity Flavor of Automata by Holcomb, Mark

    ISSN: 2380-5064, 2380-5064
    Published: 01.05.2021
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: