Sökning: "C- program"

Visar resultat 1 - 5 av 651 uppsatser innehållade orden C- program.

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

   Kandidat-uppsats, SLU/Dept. of Urban and Rural Development

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

   Sammanfattning : 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. LÄS MER

3. 2. Produktutveckling av verktyg för brunnslocksöppning

   M1-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

   Författare :Aldo Akhonen; Alexander Haile; [2023]
   Nyckelord :Rännstensbrunnslock;

   Sammanfattning : Följande examensrapport är resultatet av ett examensarbete på grund c-nivå på högskoleingenjörsprogrammet innovation och produktdesign vid Mälardalens universitet för Eskilstuna kommun. Examensarbetet handlar om en produktutvecklingsprocess för att ta fram en brunnslockslösning avsedd att förbättra tillvägagångsmetoden för att lyfta rännstensbrunnslock. LÄS MER

4. 3. 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

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

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

   Författare :Danyal Mirza; [2023]
   Nyckelord :;

   Sammanfattning : 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. LÄS MER

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

   Uppsats för yrkesexamina på avancerad nivå, Blekinge Tekniska Högskola/Institutionen för datavetenskap

   Författare :David Bosnjak; [2023]
   Nyckelord :EDPM; Dynamic Nesting; PAPI; LLVM; Libtooling; EDPM; Dynamisk Nestning; PAPI; LLVM; Libtooling;

   Sammanfattning : 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. LÄS MER