Essays about: "c# program"

Showing result 1 - 5 of 307 essays containing the words c# program.

1. 1. Bivänliga växter i urban miljö : en granskning av växtutbudet från landskapsarkitektprogrammet

   University essay from SLU/Dept. of Urban and Rural Development

   Author : Emma Asker Kling; Katarina Enskog Gripenvik; [2023]
   Keywords : Bin; humlor; vildbin; pollinatörer; pollinering; urban miljö; växtkännedom; ekosystemtjänst;

   Abstract : Pollinatörerna är hotade globalt och i det svenska landskapet, och behöver hjälp för att överleva (Naturvårdsverket u.å.b). Den främsta orsaken till den negativa utvecklingen är förlusten och fragmenteringen av pollinatörernas livsmiljöer (Naturvårdsverket u. READ MORE

3. 2. Adding Basic Support for Function Pointers in TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Axel Bergström; [2023]
   Keywords : ;

   Abstract : 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

4. 3. Adding Floating-point Arithmetic Support to TriCera

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Danyal Mirza; [2023]
   Keywords : ;

   Abstract : Floating-point arithmetic is a widely utilized technique for approximating real numbers. When applied in safety-critical systems, it is essential to ensure that these numbers behave as they should and do not give unsuspected errors. To ensure this, the utilization of floating-point verification is needed. READ MORE

5. 4. EDPM : An extension of EDPM - an embedded domain-specific language for performance monitoring C and C++ programs

   University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

   Author : David Bosnjak; [2023]
   Keywords : EDPM; Dynamic Nesting; PAPI; LLVM; Libtooling; EDPM; Dynamisk Nestning; PAPI; LLVM; Libtooling;

   Abstract : Background. Performance monitoring of C/C++ programs has often been a tedious and straining process, where insufficient and complex tools/APIs are required. Performance monitoring tools and APIs tend to focus on ease of use or flexibility, but rarely both. READ MORE

6. 5. Design and evaluation of a plain MPI-based cluster execution backend for the SkePU 3 skeleton programming framework

   University essay from Linköpings universitet/Programvara och system

   Author : Alexander Zeijlon; [2023]
   Keywords : SkePU; skeleton programming; algorithmic skeletons; HPC; cluster; parallel programming; MPI; OpenMP; CUDA; Hybrid; NUMA;

   Abstract : SkePU 3 is a framework for parallel program execution that uses higher order functions called skeletons, which provide a layer of abstraction between user code and the parallel implementation it provides through its backends. The backend that enables SkePU to run on an HPC cluster has a slowdown of a factor two. READ MORE