High level synthesis is the process of generating register transfer (RT) level designs from behavioral speciications. High level synthesis systems have traditionally taken into account such constraints as area, clock period and throughput time. Many high level synthesis systems 1] permit generation of many alternative RT level designs meeting these constraints in a relatively short time. If it ...

The term High Level synthesis refers to the generation of register transfer level designs from the user defined behavioral specifications in an automatic manner. The main goal of the HLS is to generate a RTL level design that implements the specified behavior while satisfying the design constraints and optimizing the given cost function. High level synthesis is used in image processing because ...

We present an improved method for scheduling speculative data paths which relies on cancel tokens to undo computations in misspeculated paths. Performancewise, this method is considerably faster than lenient execution, and faster than any other known approach applicable for general (including non-pipelined) computation structures. We present experimental evidence obtained by implementing our me...

Production leveling (heijunka) is one of the lean tool that is used to stabilize a manufacturing system (reduce the bullwhip effect). Production leveling is a kind of cyclic scheduling that creates production regularity and coordination simplicity. This article describes simulation modeling and multivariate analysis of an assembly production line in a microelectronics factory. The assembly line...

This paper introduces a general scheme for formally embedding high level synthesis by formulating its basic steps as transformations within higher order logic. A functional representation of a data ow graph is successively reened by means of generic logical transformations. Algorithms that are based on logical transformations guarantee \correctness by design". They not only construct an impleme...

Macro-level models is the dominating type of freight transport analysis models for supporting the decision-making in public authorities. Recently, also agent-based models have been used for this purpose. These two model types have complementing characteristics: macro-level models enable to study large geographic regions in low level of detail, whereas agent-based models enable to study entities...

Decompilation is reconstruction of a program in a high-level language from a program in a low-level language. Possibility and feasibility of decompilation is a subject of controversy over last years. We present several arguments supporting the idea that in spite of impossibility of full automatic decompilation there exist methods and techniques that cover most of decompilation process for wide ...

In this paper we present three classifiers used in automatic forms class identification. A first category of classifier includes the k-Nearest Neighbours (kNN) and the Multi-Layer Perceptron (MLP) classifiers. A second category corresponds to a new structural classifier based on tree comparison. On one hand, a low level information based on a pyramidal decomposition of the document image is use...