In this paper, we address the problem of state assignment to minimise both area and power dissipation for Finite State Machine designs. We propose a new matching-based state-assignment algorithm which considers area and state transitions simultiG neously. Experimental results on a set of benchmarks demonstrate that our approach is indeed very effective in minimising both area and power dissipat...

Machine learning workflow development is anecdotally regarded to be an iterative process of trial-and-error with humans-in-the-loop. However, we are not aware of quantitative evidence corroborating this popular belief. A quantitative characterization of iteration can serve as a benchmark for machine learning workflow development in practice, and can aid the development of human-in-the-loop mach...

Background: Recently, the surgical methods are used in patients with anterior cruciate ligament rupture and have been associated with successful results. There are different results in the term of using of the surgical methods for anterior cruciate ligament that often is associated with some complications such as infection, static laxity, remaining the pain, need to recurrence surgery, and limi...

This paper is concerned with optimizing code execution in virtual machine environments. Code motion is one of the many optimization techniques. We considered a special case of optimization – a loop containing expressions that can be effectively evaluated once. A solution for this case is discussed and two algorithms are proposed. Experimental results for Java VM, MS .NET and Mono are shown here...

We consider in this paper the optimal open-loop control of vacations in queueing systems. The controller has to take actions without state information. We rst consider the case of a single queue, in which the question is when should vacations be taken so as to minimize, in some general sense, workloads and waiting times. We then consider the case of several queues, in which service of one queue...

Loops connect regular secondary structures. In many instances, they are known to play important biological roles. Analysis and prediction of loop conformations depend directly on the definition of repetitive structures. Nonetheless, the secondary structure assignment methods (SSAMs) often lead to divergent assignments. In this study, we analyzed, both structure and sequence point of views, how ...

This paper considers a genetic algorithm (GA) for a machine-job assignment with controllable processing times (MJACPT). Integer representation with standard genetic operators is used. In an objective function, a job assignment is obtained from genetic code and for this, fixed assignment processing times are calculated by solving a constrained nonlinear convex optimization problem. Additionally,...

This paper presents a corrective control scheme that automatically counteracts the adverse effect of intermittent faults in the logic of asynchronous sequential machines. When an intermittent fault occurs to the machine, a set of state transitions defined in the machine suspends the normal behavior for a finite interval. The objective is to design a corrective controller that makes the closed-l...