In order to fully utilize the instruction level parallelism of VLIW DSP processors, DSP programs have to be optimized by software pipelining. Software pipelining has been studied for many years and widely implemented in optimizing compilers. However, due to the rearrangement of the original instructions, it is often very difficult to re-use or port the code of a software-pipelined loop to other...

Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to build semantic models for typing judgments in TALs based on an induction technique, so that both the type-safety theorem and the typing rules can be proved as lemmas in a simple logic. We demonstrate this technique b...

This study is intended to examine the issue regarding the integration of assembly operations and machine layouts. For this issue, we consider a scenario of multiple orders and therefore build up an optimized mathematical model of synchronous planning. In the study, we develop an optimization mathematical model that uses a genetic algorithm (GA) for finding solutions and identify the most proper...

This paper presents a mathematical programming model for dynamic cell formation to minimize changeover-related costs (i.e., machine relocation costs and machine setup cost) and inter-cell material handling cost to cope with the volatile production environments in apparel manufacturing industry. The model is formulated through findings of a comprehensive literature review. Developed model is val...

always allocate man - machine is considered as one of the main concerns of operation planners. utilize an appropriate using of workforce in situations that the operation is dependent on the capabilities of the workforce, can lead to improve the systems efficiency and productivity indicators. since these issues, categories in np-hard problems, so optimization and solving the mathematical model o...