Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 72 for “"C-code"”.
-
Automated Conversion of Structured Fortran 77 Ccode Into Object-Oriented C++ Code
… systems that need to integrate with other codes. Furthermore, these legacy systems are usually written in FORTRAN, for which there is increasingly less personnel available compared to, say, C++. While it would be desirable to convert these legacy systems into object-oriented codes described …
-
Techniques for the Interactive Development of Numerical Linear Algebra Libraries for Scientific Computation
… and their effective use in application codes is an iterative process involving the refinement of the algorithms and their implementations that continues during the lifetime of the algorithm. Knowledge and expertise from the areas of numerical analysis, computer software, compilers, …
-
Compilation and Generation of Multi-Processor on a Chip Real-Time Embedded Systems
… for architecting such a system from ANSI-C code is presented. The Small Device C Compiler (SDCC) was retargeted to the RTP architecture and extended to produce a generator directive file. The RTPGen hardware generator was created to consume the directive file and produce a highly customized …
-
Supporting high-level, high-performance parallel programming with library-driven optimization
… loops is comparable to that of low-level C code, ranging from seven percent slower to 2.8× slower on tested benchmarks. Triolet’s design demonstrates that it is possible to decouple the design of a compiler from the implementation of parallelism without sacrificing performance or ease of …
-
Hardware Accelerator Generation Framework for Cryptographic Primitives
… are typically implemented using straight-line C code due to traditional execution on CPUs. Computing these primitives is necessary for secure communication; thus, dedicated hardware accelerators are required in resource and latency-constrained environments. High-Level Synthesis (HLS) generates …
-
FCUDA: Efficient high-level automation CUDA-to-FPGA compilation
… compiler FCUDA, which transforms CUDA kernel code into synthesizable C code, exploits the parallelism in different applications with the help of the manually inserted pragmas by the programmers. The additional effort to tweak the code to enable efficient mapping of the tasks across the …
-
Design and development of fuzzy expert system for Handy Board
… environment is developed which generates a C++ code to be compiled by the microprocessor using the IC compiler of the Handyboard. The program is then downloaded and with the change in the environment variables the change in output can be observed. Visual Basic is used to develop the front end …
-
Proving Cryptographic C Programs Secure with General-Purpose Verification Tools
… However, this may leave the final executable code, often written in lower level languages such as C, vulnerable both to logical errors, and low-level flaws. Recent work on verifying security properties of C code is often based on soundly extracting, from C programs, protocol models on which …
-
STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM
… tools to interactively transform legacy C or C++ code into Covert C++ code. Finally, the dissertation introduces libOblivious, a library to facilitate high-performance memory-trace oblivious computation with Covert C++.</p>
-
Dynamic Model Creation and Scripting Support in the Horizon Simulation Framework
… framework. Interoperability between Lua and C++ code allows for the ease of use of a scripting language while utilizing the utility classes and functions already created. The dynamic model creation algorithm developed allows for the structure and logic of the simulated system to be defined …
-
Symbol Timing and Coarse Classification of Phase Modulated Signals on a Standalone SDR Platform
… DSP and is compiled from executable embedded C-code. Therefore, this system can then be implemented on virtually any setup that has an RF front end, digital receiver module, and processing module that will execute floating and fixed point C-code with minor changes.
-
Enhancing FPGA Synthesis for Space Applications: Performance Evaluation of ScaleHLS in the ADAPT Project
… how ScaleHLS optimizes the transformation of C code into FPGA-compatible designs to improve computational efficiency and resource utilization.</p> <p>The research details the process of adapting ADAPT's computational algorithms for FPGA using ScaleHLS, emphasizing the tool's effectiveness in …
-
Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆
… F⋆ subset Low*, which extracts to performant C code.
-
Improving the Programmability of A Distributed Hardware Accelerator
… sparse matrix algorithms in high-level Python code and automatically generates efficient C++ code for (Ōmeteōtl. Lapis abstracts away data partitioning and task orchestration, reducing implementation complexity: for example, it lowers lines of code by 30× for conjugate gradients and 46× for …
-
Phigs based phong rendering emulation Software
… program contains approximately 15,000 lines of C code and uses graPHIGS inquiries and calls for information retrieval and data structure maintenance.
-
Development and testing of the RHINO host streamed data acquisition framework
… Radio, and b) a concise and highly efficient C code module with accompanying Application Program Interface (API) that will receive streamed data from RHINO and provide data marshalling facilities to gather and dispatch blocks of data for further processing using C/C++ routines. The methodology …
-
Automatic code generation for real-time reactive systems in TROMLAB environment
… and finally mechanically generating C++ code that conforms to the interface specification. The code generation methodology is illustrated for the Train-Gate-Controller problem, a bench-mark case study in real-time systems community.
-
Efficient and proven verification of unreliable hardware executions of classic algorithms
… Verified checkers are emitted as efficient C++ code and shown to have low overhead which results in a net performance improvement with no risk.
-
Efficient implementation of an exact multiple-output boolean function minimization algorithm
… has been implemented in optimized ANSI C code. This implementation introduces a new set of procedures to reduce the cost of prime implicant generation. The concept of weight as the number of 1 and don't care neighbors of a state is used to take advantage of the special cases when a state …
-
Adaptive self-prompting in agentic LLM frameworks for embedded code fault detection
… large language model (LLM) frameworks for code fault detection in embedded systems. Traditional static analysis and existing LLM-based approaches often rely on fixed prompts and exhibit overconfidence, leading to misclassifications. To address these limitations, we propose two complementary …
Page 1 of 4