Sökning: "Error localization"

Visar resultat 16 - 20 av 34 avhandlingar innehållade orden Error localization.

1. 16. The Hole Story: Type-Directed Synthesis and Repair

   Författare :Matthías Páll Gissurarson; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Types; Security; Program Repair; Compilers; Program Synthesis;

   Sammanfattning : Modern programs in languages like Haskell include a lot of information beyond what is strictly required for compilation, such as additional type information, unit tests and properties. This information is often used for post-compilation verification, by running the tests to verify that the code-as-written matches the specification provided by the types and properties. LÄS MER

3. 17. Data-driven Approaches to Uncertainty Modelling for SLAM in the Open Sea

   Författare :Ignacio Torroba; John Folkesson; Patric Jensfelt; John Leonard; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Datalogi; Computer Science;

   Sammanfattning : Autonomous underwater vehicles (AUVs) equipped with multibeam echo-sounders have become indispensable tools for bathymetric mapping due to their ability to reach seabed regions inaccessible to surface vessels. However, the closer proximity to the survey area comes at the expense of a growing error in the AUV global pose estimate due to the lack of prior maps or a geo-referencing system underwater, such as GPS. LÄS MER

4. 18. Practical verification of real-time systems

   Författare :Alexandre David; Wang Yi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer Systems; Datorteknik;

   Sammanfattning : Formal methods are becoming mature enough to be used on nontrivial examples. They are particularly well fitted for real-time systems whose correctness is defined in terms of correct responses at correct times. Most common real-time systems are of reasonable size and can therefore be handled by an automatic verification tool such as Uppaal. LÄS MER

5. 19. Indirect measurements for control and diagnostics of IC engines

   Författare :Roger Johansson; Luleå tekniska universitet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teknisk akustik; Engineering Acoustics;

   Sammanfattning : The combustion process in internal combustion engines determines engine power, fuel consumption, exhaust emissions and combustion noise. Measurement and analysis of in-cylinder pressure plays an important role in the improvement and optimization of engine performance. LÄS MER

7. 20. Parallelization of dynamic algorithms for electronic structure calculations

   Författare :Anton G. Artemov; Emanuel H. Rubensson; Maya Neytcheva; Bo Kågström; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; parallelization; task-based programming; matrix algorithms; sparse matrices; inverse factorization; localized computations; density matrix methods; electronic structure calculations; Scientific Computing; Beräkningsvetenskap;

   Sammanfattning : The aim of electronic structure calculations is to simulate behavior of complex materials by resolving interactions between electrons and nuclei in atoms at the level of quantum mechanics. Progress in the field allows to reduce the computational complexity of the solution methods to linear so that the computational time scales proportionally to the size of the physical system. LÄS MER