Essays about: "Heap implementation"

Showing result 1 - 5 of 8 essays containing the words Heap implementation.

1. 1. Front-end of a Debugger for Compiled Programs in Haskell

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Andreas Olsson; Carl Bergman; Brage Salhus Bunk; Elias Johansson; Krešimir Popovic; [2023-03-03]
   Keywords : Haskell; debugger; debug; heap; lazy evaluation; functional programming; GHC;

   Abstract : There are debugging tools available for Haskell programs today, but despite providing help for developers, these tools are not widely used in the Haskell community. Current debugging tools for Haskell have different kinds of limitations. This thesis will discuss the implementation of a new debugger with a graphical interface. READ MORE

3. 2. Automated Inference of ACSL Contracts for Programs with Heaps

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Oskar Söderberg; [2023]
   Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

   Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE

4. 3. Avoiding Out-Of-Memory Errors in ThinGC

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Pontus Ernstedt; [2020]
   Keywords : ;

   Abstract : A new garbage collector, called ThinGC, is producing out-of-memory errors when applied to certain user applications. ThinGC introduces a classification of objects as either hot or cold, where hot objects are currently in use by the application and cold objects are not. READ MORE

5. 4. Direct Heap Snapshotting in the Java HotSpot VM : a Prototype

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Ludvig Janiuk; [2020]
   Keywords : ;

   Abstract : The Java programming language is widely used across the world, powering a diverse range of technologies. However, the Java Virtual Machine suffers from long startup time and a large memory footprint. READ MORE

6. 5. Performance Optimisation of Discrete-Event Simulation Software on Multi-Core Computers

   University essay from KTH/Skolan för datavetenskap och kommunikation (CSC)

   Author : Alain E. Kaeslin; [2016]
   Keywords : cache hierarchy; caches; communication overhead; data structures; discrete-event simulation; heap memory; linear speedup; logistic support; low-overhead profiler; memory allocator; microarchitecture; microarchitecture analysis; multi-core; optimisation; parallel execution; profiler; runtime; scalability; scalability bottlenecks; scalable memory allocator; simulation; translation lookaside buffer; translation lookaside buffer thrashing; TLB;

   Abstract : SIMLOX is a discrete-event simulation software developed by Systecon AB for analysing logistic support solution scenarios. To cope with ever larger problems, SIMLOX's simulation engine was recently enhanced with a parallel execution mechanism in order to take advantage of multi-core processors. READ MORE