Sökning: "Pointer to implementation"

Visar resultat 1 - 5 av 14 uppsatser innehållade orden Pointer to implementation.

1. 1. Adding Basic Support for Function Pointers in TriCera

   Kandidat-uppsats, Uppsala universitet/Institutionen för informationsteknologi

   Författare :Axel Bergström; [2023]
   Nyckelord :;

   Sammanfattning : TriCera is a verification tool that encodes programs in a C-like language to a set of Constrained Horn Clauses.  These clauses describe the program states that can be reached when the program is executed.  A solver can then be used to check if the program is safe. LÄS MER

3. 2. Compressing Pointers for the Z Garbage Collector : Runtime compression of pointers in a concurrent setting

   Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

   Författare :Linus Shoravi; [2023]
   Nyckelord :garbage collector; concurrent garbage collector; ZGC; pointer compression; hotspot;

   Sammanfattning : Pointers in 64-bit architectures are unlikely to exhaust their vast address range, and are as such needlessly big. Reducing the amount of memory a pointer occupies leads to reduced memory demands, better usage of memory, and better locality. LÄS MER

4. 3. Analyzing and Reducing Compilation Times for C++ Programs

   Master-uppsats, Linköpings universitet/Programvara och system

   Författare :Dennis Mivelli; [2022]
   Nyckelord :C ; Compilation; Build; Dependencies; File Dependencies; File inclusions; Time; Speed; Compilation time; Build time; Design patterns; PImpl; Bridge; Dependency injection; Pointer to implementation; Mocking; GoogleTest; gMock; large; large-scale; Reduce; Reduce compilation times; Reduce build times; C ; Kompilering; Byggtid; Beroenden; Filberoenden; Filinkluderingar; Tid; Hastighet; Kompileringstid; Designmönster; PImpl; Bridge; Dependency injection; Pointer to implementation; Mockning; Mocking; GoogleTest; gMock; Storskalig; Minska kompileringstid; Minska;

   Sammanfattning : Software companies often choose to develop in C++ because of the high performance that the language offers. Facilitated by static compilation and powerful optimization options, runtime performance is paid for with compilation time. LÄS MER

5. 4. Development of Sensor Concept to Regulate Fuel Supply During Priming of Water to Air Heater in Production

   Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Författare :Karl Hemlin; [2021]
   Nyckelord :;

   Sammanfattning : The Water To Air heater (WTA) is a component that heats the interior and the engine of the truck by heating coolant through a combustion of diesel fuel. It is vital that the Water To Air heater is primed with fuel prior to using it in order for it to start when desired. LÄS MER

7. 5. Comparing Conventional- and Modern Programming Languages for Developing a File System

   Kandidat-uppsats, Malmö universitet/Institutionen för datavetenskap och medieteknik (DVMT)

   Författare :Pontus Laos; Alexander Libot; [2021]
   Nyckelord :File System; Rust; C; EXT2; Filsystem; Rust; C; EXT2;

   Sammanfattning : Most of the software stack is built upon C today. C is a very flexible language, but the flexibility also brings some safety risks, particularly when handling memory through pointers. Rust is a new programming language which can guarantee memory safety without performance-heavy runtime services such as garbage collection. LÄS MER