Sökning: "intermediate code generation"
Visar resultat 1 - 5 av 10 uppsatser innehållade orden intermediate code generation.
1. One Compiler to Rule Them All : Extending the Storm Programming Language Platform with a Java Frontend
Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskapSammanfattning : The thesis aims to develop a method for extending the language platform Storm with a Java frontend.The project was conducted using an Action Research methodology and highlights triumphs andchallenges. LÄS MER
2. Cumulus - translating CUDA to sequential C++ : Simplifying the process of debugging CUDA programs
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : Due to their highly parallel architecture, Graphics Processing Units (GPUs) offer increased performance for programs benefiting from parallel execution. A range of technologies exist which allow GPUs to be used for general-purpose programming, NVIDIA’s CUDA platform is one example. LÄS MER
3. Provably Sound and Secure Automatic Proving and Generation of Verification Conditions
Master-uppsats, KTH/Teoretisk datalogi, TCSSammanfattning : Formal verification of programs can be done with the aid of an interactive theorem prover. The program to be verified is represented in an intermediate language representation inside the interactive theorem prover, after which statements and their proofs can be constructed. This is a process that can be automated to a high degree. LÄS MER
4. Infrastructure for the Generation of Functional Data-Flow Views for Automotive Embedded Systems
Master-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)Sammanfattning : Data-flow visualization for source code can help software developers and software architects to understand code graphically. In this thesis, an infrastructure for dataflow visualization is created to analyze the C source code of an embedded system of a truck. LÄS MER
5. System Architecture in a Heavy DutyVehicle Platooning System using xPCTargetTM
Uppsats för yrkesexamina på avancerad nivå, KTH/ReglerteknikSammanfattning : The ongoing environmental debate emphasizes the need for reducing CO2 emissions in order to counteract rapid climate change. The transportation industry is growing and is already today a signicant contributor to green house gas emissions. LÄS MER