All public logs

Combined display of all available logs of emmtrix Wiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 02:42, 8 April 2025 Timo.stripf talk contribs created page Automatic C to Rust Translation (Created page with "Great. I’ll gather information on currently maintained and relevant automatic C to Rust translation tools, focusing on technical depth for programmers with compiler knowledge. I’ll include comparisons of these tools in terms of design, limitations, translation strategies, and internal implementation details such as parsing, AST handling, and safety mapping. I’ll format the article in a Wikipedia-like structure with proper sections and references. I’ll let you kn...") Tag: Visual edit: Switched
• 08:04, 4 April 2025 Timo.stripf talk contribs created page File:Tricore History.png
• 08:04, 4 April 2025 Timo.stripf talk contribs uploaded File:Tricore History.png
• 07:14, 4 April 2025 Timo.stripf talk contribs created page File:PPU Applications.jpg
• 07:14, 4 April 2025 Timo.stripf talk contribs uploaded File:PPU Applications.jpg
• 07:08, 4 April 2025 Timo.stripf talk contribs created page Talk:Infineon AURIX TC4x Parallel Processing Unit (PPU) (Created page with "== 512-bit PPU == The bit-width of the PPU is not fixed to 512-bit. It is flexible between 128 and 256-bits. == Rework toolchain chapter == The toolchain chapter is tool Synopsys centric. It needs rework.")
• 06:59, 4 April 2025 Timo.stripf talk contribs created page Infineon AURIX TC4x Parallel Processing Unit (PPU) (Created page with "The '''Parallel Processing Unit (PPU)''' in Infineon’s AURIX™ TC4x microcontroller family is a specialized co-processor designed to accelerate highly parallel computations for automotive and industrial applications. It complements the TC4x’s TriCore™ 1.8 CPUs by offloading computationally intensive tasks such as digital signal processing and neural network inference, enabling artificial intelligence (AI) capabilities up to the highest automotive safety levels (AS...")
• 08:52, 26 March 2025 Mira.steinmetz talk contribs uploaded File:Static Code Analysis.jpg
• 08:52, 26 March 2025 Mira.steinmetz talk contribs created page File:Static Code Analysis.jpg
• 08:51, 26 March 2025 Mira.steinmetz talk contribs uploaded File:ePE Processor Pipeline.png
• 08:51, 26 March 2025 Mira.steinmetz talk contribs created page File:ePE Processor Pipeline.png
• 08:37, 26 March 2025 Timo.stripf talk contribs created page Pointer Resolve Transformation (Created page with " == Pointer Resolve Transformation in emmtrix Studio == emmtrix Studio supports pointer resolving both through #pragma directives and via the graphical user interface (GUI). The pointer resolve transformation tries to replace pointers ... === Example === In the following example, partial loop unrolling is applied with an unroll factor of 3. Please note: A condition of <code>i < n - 2</code> would be incorrect as <code>n - 2</code> overflow for values like <code>n =...") Tag: Visual edit: Switched
• 10:23, 24 March 2025 Mira.steinmetz talk contribs created page File:Infineon Board.png
• 10:23, 24 March 2025 Mira.steinmetz talk contribs uploaded File:Infineon Board.png
• 04:08, 22 March 2025 Timo.stripf talk contribs created page User:Timo.stripf/test2 (Created page with "Prozessor-Pipeline des Infineon TriCore TC3xx Kerns Überblick Die Infineon TriCore TC3xx Familie von Mikrocontrollern ist eine bedeutende Produktlinie für anspruchsvolle Anwendungen im Automobil- und Industriesektor. Diese Mikrocontroller zeichnen sich durch hohe Leistung, Sicherheitsfunktionen und integrierte Sicherheitsmodule aus <ref>{{cite web |url=https://www.infineon.com/cms/en/product/microcontroller/32-bit-tricore-microcontroller/32-bit-tricore-aurix-tc3xx/ |...") Tag: Visual edit
• 13:53, 21 March 2025 Timo.stripf talk contribs created page File:AURIX TC399 LFBGA-516 plain.jpg
• 13:53, 21 March 2025 Timo.stripf talk contribs uploaded File:AURIX TC399 LFBGA-516 plain.jpg
• 12:17, 20 March 2025 Mira.steinmetz talk contribs uploaded File:lowres-Signet Associated Partner EN.eps.png
• 12:17, 20 March 2025 Mira.steinmetz talk contribs created page File:lowres-Signet Associated Partner EN.eps.png
• 11:16, 17 March 2025 Timo.stripf talk contribs uploaded File:Favicon.ico
• 11:10, 17 March 2025 Timo.stripf talk contribs created page File:Favicon.ico (Created page with "#REDIRECT [https://www.emmtrix.com/favicon.ico]")
• 11:07, 17 March 2025 Timo.stripf talk contribs created page File:Wordmark.png
• 11:07, 17 March 2025 Timo.stripf talk contribs uploaded File:Wordmark.png
• 19:39, 11 March 2025 Timo.stripf talk contribs created page User:Timo.stripf/test (Created page with "Ich werde einen MediaWiki-Artikel über "Logical Execution Time" (LET) erstellen, mit Fokus auf deeply embedded Systeme, insbesondere im Automotive-Bereich mit AUTOSAR. Der Artikel wird technisch fundiert sein und sich an technische Leser richten. Er wird die theoretischen Grundlagen, Implementierung in Echtzeitsystemen, insbesondere mit AUTOSAR, sowie Anwendungen in eingebetteten Systemen behandeln. Der Artikel wird so strukturiert sein, dass später ein Werkzeug zur Pe...")
• 03:51, 8 March 2025 Timo.stripf talk contribs created page File:inlining subst.jpg
• 03:51, 8 March 2025 Timo.stripf talk contribs uploaded File:inlining subst.jpg
• 03:46, 8 March 2025 Timo.stripf talk contribs created page File:inlining overhead.jpg
• 03:46, 8 March 2025 Timo.stripf talk contribs uploaded File:inlining overhead.jpg
• 02:11, 7 March 2025 Timo.stripf talk contribs deleted page Loop Interchange (content was: "#REDIRECT Loop Interchange Transformation", and the only contributor was "Timo.stripf" (talk))
• 02:10, 7 March 2025 Timo.stripf talk contribs moved page Loop Interchange to Loop Interchange Transformation
• 03:02, 1 March 2025 Timo.stripf talk contribs created page Bitblast Transformation (Created page with "A '''bitblast transformation''' is a technique used in '''formal verification''', particularly in '''SAT solving''' and '''SMT solving'''. It refers to the process of converting expressions that operate on '''word-level data types''' (such as 32-bit integers or bitvectors) into equivalent logic formulas operating on '''individual bits'''. This transformation allows complex operations to be handled by '''Boolean satisfiability solvers''' (SAT solvers), which operate exclu...")
• 22:41, 28 February 2025 Timo.stripf talk contribs moved page Loop Unrolling to Loop Unrolling Transformation without leaving a redirect
• 10:06, 17 February 2025 Mira.steinmetz talk contribs created page Loop Invariant Code Motion (Created page with "Loop invariant code motion is an optimization technique that moves computations outside of a loop if they do not depend on the loop iterator. By extracting such invariant expressions, this transformation reduces redundant calculations and improves runtime efficiency. It minimizes unnecessary operations within loops, leading to faster execution and better performance. This technique is particularly useful in optimizing complex loops, reducing computation overhead, and ena...") Tag: Visual edit
• 09:49, 17 February 2025 Mira.steinmetz talk contribs created page While To For (Created page with "The while-to-for transformation converts a selected while loop into an equivalent for loop while preserving the original loop semantics. This conversion improves code consistency and enables further compiler optimizations that specifically target for-loop structures. By restructuring loops in a standardized format, this transformation facilitates better loop analysis, enhances readability, and increases the potential for optimizations such as loop unrolling or vectorizat...") Tag: Visual edit
• 09:41, 17 February 2025 Mira.steinmetz talk contribs created page Loop Interchange (Created page with "Loop interchange is an optimization technique that swaps the order of nested loops, making the inner loop the outer loop and vice versa. This transformation can improve data locality, optimize memory access patterns, and expose opportunities for parallelization and vectorization. By reordering loops, loop interchange can enhance cache efficiency and reduce execution time, especially in matrix operations or scenarios where data access patterns impact performance. It is pa...") Tag: Visual edit
• 09:31, 17 February 2025 Mira.steinmetz talk contribs created page Loop If-Split (Created page with "If-split is an optimization technique that restructures loop-nested if-else statements by transforming them into separate independent loops. This transformation simplifies control flow, making data dependency analysis more efficient and increasing the potential for parallel execution. By eliminating branching within a loop, if-split enhances performance, particularly in scenarios where different execution paths can be processed independently. This technique is especially...") Tag: Visual edit
• 09:15, 17 February 2025 Mira.steinmetz talk contribs created page Loop Fission (Created page with "Loop unrolling is an optimization technique that reduces the number of iterations in a loop by expanding its body to process multiple elements per iteration. This transformation decreases loop overhead, improves execution efficiency, and can enhance opportunities for parallelization. By reducing control flow instructions, loop unrolling minimizes branching and increases instruction-level parallelism, making it particularly useful for performance-critical applications. Wh...") Tag: Visual edit
• 08:29, 17 February 2025 Mira.steinmetz talk contribs created page Loop Unrolling (Created page with "Obfuscation is a code transformation technique used to make source code difficult to read and understand while preserving its functionality. This process typically involves renaming identifiers, restructuring code, or inserting misleading elements to obscure the original logic. Obfuscation is often used to protect intellectual property, prevent reverse engineering, or secure sensitive logic in software. While the transformed code remains executable, it becomes significan...") Tag: Visual edit
• 11:49, 14 February 2025 Mira.steinmetz talk contribs created page Explicit Cast Insertion (Created page with "fsdfdsfs") Tag: Visual edit
• 11:41, 14 February 2025 Mira.steinmetz talk contribs created page Instruction Simplifier (Created page with "ghghg") Tag: Visual edit
• 09:19, 14 February 2025 Mira.steinmetz talk contribs created page Procedure Inline (Created page with "fdfdf") Tag: Visual edit
• 08:50, 14 February 2025 Mira.steinmetz talk contribs created page Obfuscation (Created page with "dfsdf") Tag: Visual edit
• 08:26, 14 February 2025 Mira.steinmetz talk contribs created page Idiom Recognizer (Created page with "Code sinking is an optimization technique used in source-to-source compilers to improve execution efficiency by moving computations to less frequently executed parts of the code. This transformation reduces redundant calculations by relocating expressions outside loops or behind conditional statements, thereby minimizing execution overhead. By strategically repositioning code, code sinking enhances performance without altering program behavior. Code Sinking Transformati...") Tag: Visual edit
• 13:09, 13 February 2025 Mira.steinmetz talk contribs created page Extract Main (Created page with "Extract Main is an optimization technique that restructures a program by converting a selected function into the main function. During this transformation, all function parameters are made global, and any functions not called within the converted function are removed. This simplifies the code structure and reduces dependencies, making it particularly useful for function-level analysis and parallelization. By isolating specific functions, Extract Main helps minimize the s...") Tag: Visual edit
• 12:37, 13 February 2025 Mira.steinmetz talk contribs created page Control to Goto Statement (Created page with "Code sinking is an optimization technique used in source-to-source compilers to improve execution efficiency by moving computations to less frequently executed parts of the code. This transformation reduces redundant calculations by relocating expressions outside loops or behind conditional statements, thereby minimizing execution overhead. By strategically repositioning code, code sinking enhances performance without altering program behavior. ==Code Sinking Transformat...") Tag: Visual edit
• 10:07, 13 February 2025 Mira.steinmetz talk contribs created page Constant Propagation (Created blank page) Tag: Visual edit
• 09:24, 6 February 2025 Timo.stripf talk contribs created page Code Sinking (Created page with " ==Code Sinking Transformation in emmtrix Studio== emmtrix Studio can implement code sinking using #pragma directives or via the GUI. CodeSinking is a transformation that tries to move code parts to valid positions that are executed less often. === Typical Usage and Benefits === The transformation is used to optimize the runtime of the application by moving code parts out of loops or behind conditions to reduce the number of times the code is executed. === Example ===...") Tag: Visual edit
• 12:26, 29 January 2025 Timo.stripf talk contribs created page Category:Math Function Accuracy (Created page with "Category:Categories") Tag: Visual edit
• 11:06, 28 January 2025 Timo.stripf talk contribs created page Finding Highest ULP of Math Functions (Created page with " This article discusses methods for measuring and finding the maximum Unit in the Last Place (ULP) error in floating-point math functions. It covers both single-precision (binary32) and double-precision (binary64) IEEE 754 formats, highlighting the impracticality of exhaustive search for large input spaces and presenting a universal search algorithm that focuses on identifying inputs likely to produce large errors. == Background == In the IEEE 754 single-precision fo...") Tag: Visual edit: Switched
• 05:21, 8 January 2025 Mywikis talk contribs deleted page Group:Schema properties (content was: "Empty page", and the only contributor was "Mywikis" (talk))