Essays about: "Pointer to implementation"
Showing result 1 - 5 of 12 essays containing the words Pointer to implementation.
-
1. Adding Basic Support for Function Pointers in TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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. READ MORE
-
2. Compressing Pointers for the Z Garbage Collector : Runtime compression of pointers in a concurrent setting
University essay from Uppsala universitet/DatalogiAbstract : 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. READ MORE
-
3. Analyzing and Reducing Compilation Times for C++ Programs
University essay from Linköpings universitet/Programvara och systemAbstract : 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. READ MORE
-
4. Development of Sensor Concept to Regulate Fuel Supply During Priming of Water to Air Heater in Production
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : 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. READ MORE
-
5. Comparing Conventional- and Modern Programming Languages for Developing a File System
University essay from Malmö universitet/Institutionen för datavetenskap och medieteknik (DVMT)Abstract : 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. READ MORE