Essays about: "C program"
Showing result 1 - 5 of 307 essays containing the words C program.
-
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 DevelopmentAbstract : 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
-
2. 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
-
3. Adding Floating-point Arithmetic Support to TriCera
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : 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
-
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 datavetenskapAbstract : 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
-
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 systemAbstract : 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