Search
Search Results
-
Modified Low Power SRAM Compiler with Reduced Access Time
The availability of memory designs is a stumbling wedge toward the computer systems research. Memory compilers are commonly absent from current...
-
AEx: Automated High-Level Synthesis of Compiler Programmable Co-Processors
Modern High Level Synthesis (HLS) tools succeed well in their engineering productivity goal, but still require toolset and target technology specific...
-
Automatic proofs of memory deallocation for a Whiley-to-C Compiler
This paper describes the design and verification of a copy elimination and memory deallocation scheme for a compiler that translates the...
-
SSA-based Compiler Design
This book provides readers with a single-source reference to static-single assignment
(SSA)-based compiler design. It is the first (and up to now...
-
A Look Through the SN Compiler: Reverse Engineering Results
Naturalistic programming is a topic of great interest because it allows reducing the gap between the problem domain and the solution domain in the... -
A BASIC Language Compiler for PLC Applications
Since PLC modeling has become more complex, an alternative method to write a program for a PLC must be developed. Based on IEC1131 requirement, BASIC... -
Compiler Directives
SystemVerilog offers multitude of compiler directives to steer the course of your code. The chapter discusses `define, `ifdef, `elsif, `ifndef,... -
Evaluation of the Use of Different Parser Generators in a Compiler Construction Course
Compiler construction is a common course in many computer science degrees. Although there are different lexer and parser generation tools, Lex/Yacc... -
A graph-based methodology for constructing computational models that automates adjoint-based sensitivity analysis
The adjoint method provides an efficient way to compute sensitivities for system models with a large number of inputs. However, implementing the...
-
Compiler Optimizations
At the core of the software stack are compilers to transform the programmer’s high-level code into executable code that runs efficiently on a target... -
Building SSA in a Compiler for PHP
Constructing SSA form for static languages such as C/C++ and Java is a well-understood task. Dynamic scripting languages, such as PHP, Python, and... -
Design of Low Power and Robust Asynchronous SRAM Generated Using AMC Involving SAHB Circuit with QDI Logic
In the contemporary era, achieving enhanced performance in application-specific integrated circuit (ASIC) designs necessitates the development of...
-
System integration based on packing, pi** and harness routing automation using graph-based design languages
The implementation of a fully instrumented, automated and simulation-enabled engineering software platform capable of automating the currently still...
-
Formally understanding Rust’s ownership and borrowing system at the memory level
Rust is an emergent systems programming language highlighting memory safety through its Ownership and Borrowing System (OBS). Formalizing OBS in...
-
Soft Error Handling for Embedded Systems using Compiler-OS Interaction
Advancing semiconductor technologies increasingly fail to provide expected gains in cost and energy reductions due to reaching the physical limits of... -
Robotic furniture assembly: task abstraction, motion planning, and control
This paper presents a novel framework for the complete assembly of a chair based on assembly instructions. First, the framework utilizes task...
-
Automating functional unit and register binding for synchoros CGRA platform
Coarse-grain reconfigurable architectures, which provide high computing throughput, low cost, scalability, and energy efficiency, have grown in...
-
Effective Timing Closure Using Improved Engineering Change Order Techniques in SOC Design
The circuit design in the system on a chip (SoC) is very difficult task during the physical design of a chip. Considering the fact of increasing...
-
RIOT-ML: toolkit for over-the-air secure updates and performance evaluation of TinyML models
Practitioners in the field of TinyML lack so far a comprehensive, “batteries-included” toolkit to streamline continuous integration, continuous...
-
Aiding Data-Driven Attack Model with a Compiler Modification
In previous chapter, we presented a data-driven acoustic attack model. However, in the previous attack model, an attacker may be far from being able...