Instruction selection implements a program under compilation by selecting processor instructions and has tremendous impact on the performance of the code generated by a compiler. This paper introduces a graph-based universal representation that unifies data and control flow for both programs and processor instructions. The representation is the essential prerequisite for a constraint model for ...

Programming computers is a complex and constantly evolving activity. Technological innovations have consistently increased the speed and complexity of computers, making programming them more difficult. To ease the programming burden, computer languages have been developed. A programming language employs syntactic forms that express the concepts of the language. Programming language concepts hav...

An n-thread parallel program P is large-grained if in every parallel step the computations on each of the threads are complex procedures requiring numerous processor instructions. This practically relevant style of programs diiers from PRAM programs in its large granularity and the possibility that within a parallel step the computations on diierent threads may considerably vary in size. Let M ...

A class of reconfigurable processors is introduced in which support for an instruction set is distributed among a collection of pre-defined configurations. For this new class of reconfigurable processors, there is assumed to be a pre-defined collection of configurations in which each configuration supports a subset of the overall instruction set. The union of all subsets of instructions, associ...

A novel paradigm for designing and programming future parallel computing systems called invasive computing is proposed. The main idea and novelty of invasive computing is to introduce resource-aware programming support in the sense that a given program gets the ability to explore and dynamically spread its computations to neighbour processors in a phase called invasion, then to execute portions...

In this paper, the optimality of ternary arithmetic is investigated under strict mathematical formulation. The arithmetic systems are presented in generic form, as the means to encode numeric values, and the choice of radix is asserted as the main parameter to assess the efficiency of the representation, in terms of information compactness and estimated implementation cost in hardware. Using pr...

Although a myriad of techniques exist in the hardware design domain for manipulation and simplification of control logic, a typical software optimizer does very little control restructuring. As a result, there are missed opportunities for optimization in control-heavy applications. This paper explores how various hardware design techniques, including logic network manipulation, can be applied t...

This paper presents a mechatronic analysis of a teleoperation system that provides haptic feedback. The analysis, based on the Bounded Environment Passivity method, describes the combined effect of the teleoperation controller and the master and slave hardware, including the effect of structural flexibilities, which have often been neglected in the domain of teleoperation. This results in rules...

Power has become a primary consideration during hardware design. Dynamic power can contribute up to 50% of the total power dissipation. Clock-gating is the most common RTL optimization for reducing dynamic