Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"logical errors"”.
-
Logical error diagnosis
… implemented by his code. These differences are logical errors. The process of locating the cause of these differences is the logical error diagnosis process.
-
Simulation algorithms, Floquet phenomena and superconducting qubits
… these systems, we conclude with a discussion of logical errors in physical qubits. In Chapter 2 we present the Floquet fluxonium molecule, a new highly coherent superconducting qubit which is stabilized against ambient noise effects with a strong drive. In Chapter 3 we discuss phenomena related …
-
Proving Cryptographic C Programs Secure with General-Purpose Verification Tools
… is insecure, or because of implementation errors. Techniques exist to construct machine-checked proofs of security properties for abstract specifications. However, this may leave the final executable code, often written in lower level languages such as C, vulnerable both to logical errors, …
-
Machine-aided analysis of vote privacy using computationally complete symbolic attacker
… perfect, and the attacker tries to exploit the logical errors to compromise the security of the protocols or in the provable security model, where the attacker can, in addition, break the cryptographic primitives with negligible probability. The provable security model provides better …
-
Entwicklung und Evaluation einer prototypischen Lernumgebung für das systematische Debugging logischer Fehler in Quellcode
Wo programmiert wird, da passieren Fehler. Um das Debugging, also die Suche sowie die Behebung von Fehlern in Quellcode, stärker explizit zu adressieren, verfolgt die vorliegende Arbeit das Ziel, entlang einer prototypischen Lernumgebung sowohl ein systematisches Vorgehen während des Debuggings zu …