Zobrazeno 1 - 10
of 167
pro vyhledávání: '"Carette, Jacques"'
Publikováno v:
Reversible Computation, LNCS 14680:10-27, 2024
Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reversible computation, emphasizing compositional reversible computation.
Externí odkaz:
http://arxiv.org/abs/2405.20842
We selected 29 medical imaging projects from 48 candidates, assessed 10 software qualities by answering 108 questions for each software project, and interviewed 8 of the 29 development teams. Based on the quantitative data, we ranked the MI software
Externí odkaz:
http://arxiv.org/abs/2405.12171
Publikováno v:
ACM Principles of Programming Languages 8:546--574, 2024
Rig groupoids provide a semantic model of \PiLang, a universal classical reversible programming language over finite types. We prove that extending rig groupoids with just two maps and three equations about them results in a model of quantum computin
Externí odkaz:
http://arxiv.org/abs/2310.14056
Free categorical constructions characterise quantum computing as the combination of two copies of a reversible classical model, glued by the complementarity equations of classical structures. This recipe effectively constructs a computationally unive
Externí odkaz:
http://arxiv.org/abs/2302.01885
Current software development is often quite code-centric and aimed at short-term deliverables, due to various contextual forces (such as the need for new revenue streams from many individual buyers). We're interested in software where different force
Externí odkaz:
http://arxiv.org/abs/2302.00740
Quantum models of computation are widely believed to be more powerful than classical ones. Efforts center on proving that, for a given problem, quantum algorithms are more resource efficient than any classical one. All this, however, assumes a standa
Externí odkaz:
http://arxiv.org/abs/2205.06346
Autor:
Smith, Spencer, Carette, Jacques
Publikováno v:
Workshop on the Science of Scientific-Software Development and Use, U.S. Department of Energy, Office of Advanced Scientific Computing Research, Dec, 2021
This position paper argues that decisions on processes, tools, techniques and software artifacts (such as user manuals, unit tests, design documents and code) for scientific software development should be driven by science, not by personal preference
Externí odkaz:
http://arxiv.org/abs/2112.12580
To improve software development methods and tools for research software, we first need to understand the current state of the practice. Therefore, we have developed a methodology for assessing the state of the software development practices for a giv
Externí odkaz:
http://arxiv.org/abs/2110.11575
Autor:
DeMeo, William, Carette, Jacques
The Agda Universal Algebra Library (agda-algebras) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in dependent type theory using the Agda programming language and proof assistan
Externí odkaz:
http://arxiv.org/abs/2101.10166