Title :
Code generation for a DNA computer by integer linear programming
Author :
Abe, Seika ; Hagiya, Maami ; Nakajkma, T.
Author_Institution :
Graduate Sch. of Inf. Sci. & Technol., Tokyo Univ., Japan
Abstract :
In this paper, we describe code generation using integer linear programming for a robot called ANP-96 which automatically performs DNA computing experiments. The robot consists of 8 tables for placing plates, a device called IMU to do various operations on a plate, etc., and can execute many experimental operations in parallel according to a given program. Since operations for DNA computing are executed under various constraints and may take a long time, executing many operations automatically and efficiently is essential. On the other hand, the current programming environment of ANP-96 is troublesome since it requires programmers to specify low level details which are not essential to experiments. In particular, programmers have to appropriately allocate a finite number of tables, and also efficiently schedule operations that take a long time. To automate such programming activities, we first designed a framework for specifying the problems of table allocation and operation scheduling, at an abstract level independent from ANP-96, and then implemented a code generator based on the framework. In the code generator, we employed the integer linear programming method developed in the field of compilers, which gives the optimal solution for the problems mentioned above.
Keywords :
biocomputing; integer programming; linear programming; program compilers; robot programming; scheduling; ANP-96 robot; DNA computer; code generation; integer linear programming; optimization; resource scheduling; Automatic control; Concurrent computing; DNA computing; Information science; Integer linear programming; Parallel robots; Processor scheduling; Program processors; Programming profession; Robotics and automation;
Conference_Titel :
Cybernetics and Intelligent Systems, 2004 IEEE Conference on
Print_ISBN :
0-7803-8643-4
DOI :
10.1109/ICCIS.2004.1460424