We consider a production system consisting of several fabrication lines feeding an assembly station where both fabrication and assembly lines consist of multiple machine exponential workstations and the CONWIP (CONstant Work-In-Process) mechanism is used to regulate work releases. We model this system as an assembly-like queue and develop approximations for the throughput and average number of ...

Summary: BugBuilder is a framework for hands-free assembly and annotation of microbial genomes. It produces outputs suitable either for database submission or downstream finishing processes. It is configurable to work with most command-line assembly and scaffolding tools which are selectable at run-time, and supports all common sequence types used in microbial genome assembly. Availability and ...

Summary: BugBuilder is a framework for hands-free assembly and annotation of microbial genomes. It produces outputs suitable either for database submission or downstream finishing processes. It is configurable to work with most command-line assembly and scaffolding tools which are selectable at run-time, and supports all common sequence types used in microbial genome assembly. Availability and ...

In this lecture we discuss the process of instruction selection, which typcially turns some form of intermediate code into a pseudo-assembly language in which we assume to have infinitely many registers called “temps”. We next apply register allocation to the result to assign machine registers and stack slots to the temps before emitting the actual assembly code. Additional material regarding i...

This paper addresses the underlying principles of Evolvable Assembly Systems. This paradigm was recently proposed as an answer to the requirements faced by assembly companies in the current world of business and technological change.i. The basis for this new approach lies in a muhi-disciplinary study of the needs and requirements, and shifts the technological focus from complex, flexible, multi...

Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]. Machine functions describe the operation of a machine at a very abstract level. A theory of hardware and software based on machine functions may be called a machine function theory, or alternatively when focusing on inputs and...

Nowadays, a lot of data is generated in production and also the domain assembly, from which different patterns can be extracted using machine learning methods with support mining. With help revealed patterns, assembly operations processes further opti-mized, thus profit achieved increased. This article attempts to explore related most used Key Performance Indicator (KPI) manufacturing, Overall ...

It is customary to write performance-critical parts of arithmetic functions in assembly: this enables finely-tuned algorithms that use specialized processor instructions. However, such optimizations make formal verification of arithmetic functions technically challenging, mainly because of many bit-level manipulations of data. In this paper, we propose an approach for formal verification of ari...

The economical production of mass customised and high variety goods is a challenge facing modern manufacturers. This challenge is being addressed, in part, by the on-going development of technologies that facilitate the manufacturing of these goods. Existing technologies require either excessive inbuilt flexibility or frequent changes to the machine set up to provide the manufacturing functions...

HIV-1 and other primate lentiviruses assemble at the plasma membrane and are released by budding from the cell surface. Apart from offering a nonlytic pathway for virus egress, this mode of assembly leads to the acquisition of a host cell-derived lipid envelope that enwraps the nascent viral capsid and protects it from the environment. HIV-1 assembly is controlled primarily by the Gag protein, ...