ICOT has carried out the Fifth Generation Computer Systems (FGCS) Project since April 1982. During this project, ICOT developed new parallel software technology based on parallel logic programming and produced many advanced software systems.
ICOT desires to distribute the software technology and software systems developed by the FGCS project. To achieve these goals, ICOT started the FGCS Follow-on Project in April 1993 as a two year national project. The Follow-on Project intends to make the software technology widely available as a common ground and infrastructure for advanced research by porting it to general purpose parallel machines which will be popular in the market.
To distribute the software technology more effectively, ICOT established the ICOT Free Software (IFS) program. Major software systems developed during the FGCS project have been released as IFS, and new software to be developed in the Follow-on Project is also expected to be released through IFS.
To promote the distribution and further development of IFS, ICOT desires the
University of Oregon to conduct research on parallel logic programming and
applications currently released as IFS.
As a general framework to determine themes and contents of the research being conducted under this agreement, ICOT and the University of Oregon have agreed to the following items:
The University of Oregon understands the desires of ICOT
and plans to conduct the research described below. A research group headed by
Professors John Conery and Evan Tick will conduct research related to two
general themes.
Theme 1: Optimizing Compiler for KLIC
The first research theme is optimization techniques for a compiler which translates KL1 programs to C programs. The results of this research will be a report on basic theories and implementation methods.
Theme 2: Analysis of Biological Sequences with Parallel Inference Systems
Research under the second theme is on various analyses of DNA, RNA, and/or protein sequences with the goal of investigating the use of secondary structure by algorithms that align sequences of tRNA, inferring the evolution of species through alignment of samples of their genetic material, propagation of specific mutations, and so on. Through these analyses, the researchers intend to evaluate techniques for parallel processing and the use of parallel software systems. The results of this research will also be a report on basic algorithms and implementation methods.
The University of Oregon will provide a single report which summarizes the research activities carried out under both themes described in Section 2 and contains documents related to the design, evaluation and/or application of targeted software systems. As supplements to this report, the University of Oregon will furnish copies of major evaluation data and related technical information produced by the research under this agreement.
The report and the supplementary documents shall be provided to ICOT no later
than March 10, 1994.
The University of Oregon and ICOT will arrange close communication between researchers of both parties so that the research activities will be as desirable as possible for both parties.
Any matter or questions arising out of or relating to the research shall be settled in good faith by mutual agreement between both parties.