rick@cs.arizona.edu (Rick Schlichting) (12/12/90)
[Dr. David Kahaner is a numerical analyst visiting Japan for two-years under the auspices of the Office of Naval Research-Asia (ONR/Asia). The following is the professional opinion of David Kahaner and in no way has the blessing of the US Government or any agency of it. All information is dated and of limited life time. This disclaimer should be noted on ANY attribution.] [Copies of previous reports written by Kahaner can be obtained from host cs.arizona.edu using anonymous FTP.] [[Although this report is not about Japanese computing, I think its contents are of sufficient interest to readers of this group to warrent distribution. -- rds]] To: Distribution From: David Kahaner ONR Asia [kahaner@xroads.cc.u-tokyo.ac.jp] Re: Snapshot of computing activities in Korea, 26-31 Oct 1990. 12 Dec 1990 ABSTRACT. A brief trip to Korea to attend a Korea Information Science Society (KISS) meeting, and to visit Pohang Institute of Science and Technology (POSTECH), Korea Academy of Industrial Technology (KAIST), Korea Standards Research Institute (KSRI), and Korea Institute of Science and Technology (KIST) between 26-31 Oct 1990 is described. Some assessments of parallel processing projects at POSTECH and KAIST are also given. SUMMARY. Korea is far behind Japan and the U.S. in most computing research but has a very pragmatic view of what they want to accomplish. Essentially, this is to have their own computing infrastructure even if this requires some reinventing of known ideas and technologies. Many senior Korean scientists have been trained or spent substantial time in the West but have returned because of opportunities that did not exist in their own country until recently. Thus they are keenly aware of what is going on outside Korea. At the moment there are few Western scientists (of non Korean origin) spending sabbatical or other research time there. Relations between Korean and Japanese scientists are cordial, but Koreans have a strong affinity to collaborate with U.S. and European scientists. BACKGROUND. Computing activities in Korea are concentrated in three major areas. (1) Seoul and suburbs. This includes many major and minor universities, government institutes, laboratories, etc. Seoul is on the Western coast of Korea, facing the Yellow Sea, which in turn separates Korea from mainland China. (2) Pohang and Pusan. Both are on the South East coast facing Japan, about one hour by air from Seoul. Pohang is about 350km from Seoul. The water between Japan and Korea was called the Eastern Sea, but later renamed the Japan Sea after Japan occupied Korea earlier this century. Pusan is a large industrial port city; Pohang is the site of Pohang Steel Company's huge steel plant, and also of POSTECH. (3) Taedok Science Town. This inland town is about half way between Pohang and Seoul. Originally this was a suburb of the adjacent city of Taejon but has now developed an identity of its own. Taedok has some of the same feel as Japanese science center Tsukuba. I was told that Taedok was set in its present location (south of Seoul) to be out of range of attack from North Korea, although this is surely not the situation anymore. The English spelling of both Taedok and Taejon often begins with a "D". The coordinator for my visit was Prof. Chan Mo Park Professor and Chairman, Dept of Computer Science & Eng. Pohang Institute of Science and Technology P.O. Box 125 Pohang, 790-2251 Korea Tel: (82= Korea) (0562) 79-2251, Fax: (0562) 79-2299 Email: PARKCM@VISION.POSTECH.AC.KR Professor Park also headed the Computer Science Program at the Catholic University of America, in Washington DC, and he is currently on leave from there. I have known Chan for many years although this was my first trip to Korea and also my first to see him in a non Washington environment. He has either been a classmate, teacher, or close personal friend of almost all the key people in Korean computing science and technology, including the Minister of Science and Technology. Computing is seen as a key technology for the future and computing related issues are highly visible. Because Korea ( = Republic of Korea = south Korea ) with a population of about 42 million, is still a technologically emerging country, the community of scientists is relatively small, and communication among them is very strong. Almost all the people I spoke to knew each other, and their current projects. Senior people often come together in Seoul for various policy meetings, perhaps several times each month. Thus as in Japan, personal contacts take on a highly significant role. My own visit was far too brief to provide a realistic analysis, hence I have titled it snapshot. I saw it as an opportunity to learn a bit about the country, meet some people, and get a general orientation to computing research. I expect to return in spring 1991 for another look, in more detail. Nevertheless, without Park's help I would have seen far less and I am sincerely grateful for his enthusiastic assistance. For readers information, Korea gives a very different impression than Japan. Seoul is a large modern city, as is Tokyo, but operates in a more free wheeling way. Horns blare and cars cut in and out. If Japan reminded my somewhat of Switzerland, then Korea reminded me of Italy. Seoul is also much hillier than Tokyo, with a small mountain in its center whose top can be reached by a ropeway with a spectacular view of the city. Prices seem to be infinitely negotiable, especially at the open air markets where vendors hawk their products to customers. Goods requiring stitching, from shirts to shoes to suitcases, are on display in great profusion and at very reasonable prices. In many other ways though, Korea looks much like Japan probably did a few years ago. The construction, rail, road, housing, etc., infrastructure are certainly modernizing but not yet up to the standards of Japanese or other advanced Western countries. From the train I saw modern farms and also some where oxen were pulling plows. Koreans are generally larger people than Japanese. Their language is quite different too. At international meetings in Japan, Koreans will often communicate in English in order to be understood. Many of the Korean scientists I met expressed optimism that a rapprochement would occur with North Korea (which has almost 25 million population), although they doubted it would occur with the rapidity of that in Germany. They also felt that Japan had some stake in this if only that a unified Korea would be more (or less--depending on who one spoke to) of a competitor. There is also some strong residual feeling about Japan generally, although it is sometimes expressed obliquely or through humor. The Koreans are planning a high speed train to connect Seoul and Pusan and hope to import the technology from either France or Japan depending on who will give them a better deal--including a significant amount of technology transfer. The people I spoke to felt the Japanese were holding back in this area and many would be happy to give the contract to the French, but this is all under negotiation at high government levels. I sensed that Korean scientists are much more aware of nonscientific political issues than their counterparts in Japan or the U.S. The Minister of Science and Technology has been replaced several times in the past few years. The Koreans discussed this frequently, as they also did concerning government structural changes that were being proposed at the time of my visit. Anti-government demonstrations, especially near some universities, occur often enough that they were mentioned to me. But my visit, during blazing fall foliage, was uneventful. KOREAN INFORMATION SCIENCE SOCIETY. 26-27 Nov 1990: Korean Information Science Society (KISS) semi-annual meeting. This was held at the "Korean West Point" just outside Seoul. In addition to the usual lectures and book displays we were treated to precision cadet marching which filled any empty time. I had the opportunity to meet several of the Society's officials. Professor Chul-Hee Lee Dean, Graduate School of Information Science Soong Sil University KPO Box 1205, Seoul Korea Tel: 814-9611 x412 who is the exiting President and has his PhD from Purdue, Professor Young Chan Kim Dept of Computer Engineering Chung Ang University Tel: 815-5031 x 2239 who is the exiting Vice President, and was installed as the Society's new President. Mr. Hee Yol Yu Director General Technology Policy Office Ministry of Science and Technology Gwachun 427-760, Korea Tel: (02) 503-7656, Fax: (02) 503-7673 There were three invited lectures including my own, which surveyed parallel processing in Japan. One was given by Chan Mo Park, emphasizing the need for computing to reach out to all aspects of society. The opening speech was by Young-Hwan Choi Vice Minister Ministry of Science and Technology Republic of Korea Tel: 503-7604 The remainder of the first day's meeting schedule was given over to Society business such as installing the new officials and thanking the outgoing ones. Currently KISS has several thousand members. There are about 100 colleges and universities in Korea, although many fewer with significant research activities. The second day was composed of tutorials and contributed presentations. I attended a tutorial on Fuzzy Logic by Professor Kyung Whan Oh Dept of Computer Science CPO Box 1142 Seoul 100-611 Korea Tel: 715-0141-7 ext384, Fax: (02) 718-4218 All the lectures except for mine were in Korean. Titles and authors of the papers are attached below. In the Proceedings, a few of the printed papers are in English. There were a large number of students at this meeting. Without being able to understand the papers in detail I sensed that this was a good opportunity for many Korean scientists to present progress reports of their work, although I suspect that the best work is saved for publication in English language journals. As far as I could tell, there were no papers in numerical computation presented at this meeting, exclusive of those related to image processing and some aspects of neural net computation such as character recognition. In many ways the written Korean language is easier than Chinese or Japanese (which is essentially Chinese), as there are far fewer symbols and they have a form of alphabet. There is a good deal of Korean research in character recognition, vision, and robot motion but I simply did not have enough time to assess this in detail. I spent some time browsing at the book exhibit and was astonished to see a great many well known computer related books, in English, available in paper back form, at very low prices. I received some catalogs and discovered that the Korean publishers sell almost all U.S. texts in this form. Many have 1990 copyrights. Later, I actually located a copy of my book, including the disk, in a Seoul bookstore, selling for about $15 U.S. I asked a Korean colleague about this and he explained that copyright laws are often ignored. He told me of a recent visit to his office from a Korean book publisher's representative, who asked to borrow (!) any new books he had received from the U.S. The quid pro quo was that was that the professor could then select any five titles from the publisher's catalog. The rationalization that one often hears about this is that Korean students could not afford to pay U.S. prices and so it is really helping to advance science. I wonder if Western publishers also feel so altruistic? POHANG INSTITUTE OF SCIENCE AND TECHNOLOGY (POSTECH). Several Korean scientists complained to me about the level of support for scientific research at national (federally funded) universities. Some of the most ambitions research projects are being conducted at private universities, and these are often established by large, well financed corporations. POSTECH is a premier example, established by Pohang Iron and Steel Co in 1985, with the explicit aim of creating a world class research university. The brand new 350 acre campus is located on a very much larger parcel of land owned by Pohang Steel. This is really a mini-city, and contains housing, recreation, and school facilities for POSTECH students and faculty as well as for Pohang's employees. The grounds are beautifully maintained and one gets the feeling of living in a park rather than near a steel mill. I didn't even see the mill during my visit, except driving from the airport. I was told it is one of the largest in the world. During my next visit I would like to arrange for a tour inside. Pohang's President realizes that steel making will taper off as a major industry within the next ten years and hopes that some of the technology by-products of POSTECH will be directly useful as the company diversifies. (Pohang is the fifth largest steel maker in the world.) POSTECH's first freshmen class of 250 was matriculated in 1987 with about 80 faculty. The total number of undergraduates will grow to about 1200 along with about 1000 graduates. Student faculty ratio is planned to be less than 3 to 1, with a total faculty of about 300 by the year 1992. The POSTECH model, mentioned to me repeatedly, is Caltech in the U.S., and the hope is that similar quality work will be forthcoming in several years. Undergraduates are chosen from among the top 2% of Korean high school students, and essentially all get four year full tuition scholarships. Housing is free and many students get meal stipends. Most graduate students are research or teaching assistants, and all (even married students) get free housing. The bottom line is that any student who is capable enough to be accepted can study at POSTECH without incurring any financial obligation. Several major research facilities are in place or in the works, including a 2 Gev synchrotron radiation source, wind tunnel, multi-purpose pilot plant for the chemical engineering department, and a supercomputer installation. The Computer Center Director feels he has the support to purchase a large Convex or small Cray class machine within the next year. At the moment the Center has a Vax 8800. I spent two days at POSTECH. I've never seen a better endowed facility considering that it has been open less than two years, and some buildings are still under construction. Faculty offices are large, bright and modern. Sun, Apollo, and Silicon Graphics workstations are generously sprinkled in offices, and laboratories appear as well equipped as new universities in the West. Electronic mail is working, mostly. Almost without exception the faculty consists of people who have a PhD from a Western university, or who have spent substantial time in the West. For example, in the Sept 1987 POSTECH Faculty list (its first), the Math and Computer Science Departments contained faculty from Univ Michigan, Wright State Univ, Oregon State Univ, SUNY Stony Brook, Bell Labs, Compiegne Univ, Northwestern, Univ of Maryland, and Iowa State. The other departments are Physics, Chemistry, Engineering and Materials Science, Mechanical, Industrial, Electrical, and Chemical Engineering. They have faculty from MIT, Caltech, Stanford, Deleware, UMass, Rice, Columbia, Tulane, UTexas-Austin, UPenn, Indiana, Virginia, Indiana, Brown, North Carolina, Berkeley, Michigan, Carnegie-Mellon, Case, Georgia Tech, Princeton and similar excellent Western universities. The faculty I met all speak English extremely well and typically have some active collaboration with a Western scientist. For example, I had an interesting conversation with Professor Yonghoon Kwon Mathematics Department POSTECH P.O. Box 125 Pohang 790-600 Korea Tel: (0562) 79-2046 who has is doing research on dynamics, chaotic attractors, etc., jointly with colleagues in the Physics Dept at Cornell. He showed me an extremely comprehensive and well thought out package that was running on his SGI. I had a few quibbles with the numerical integration techniques that he was using, but the interface itself was as good as any I have seen elsewhere. The Computer Science Department is also engaged in robot motion planning. Similarly, I had a long discussion with Professor Kun Soo Chang, from the Chemical Engineering Department, about the software contained in the Numerical Recipes book, and it was obvious that he was quite familiar with the techniques that are in common use in the U.S. On the POSTECH campus is the affiliated Research Institute of Industrial Science and Technology (RIST). This is an independent research laboratory that is also supported by Pohang Steel. Many POSTECH faculty have some joint appointment at RIST; I did not have any opportunity to visit this facility. Faculty are treated at least as well as the students, with free housing and for many, free automobiles. Their package is extremely generous and accounts for the large number of qualified young professors who have been attracted there. The Western connection is obvious in other ways too. On the, campus Pohang has built a large log cabin and set it up as a student faculty beer hall. I had a wonderful evening drinking beer and eating pizza, and it was great fun to watch the Korean students eating popcorn with chop sticks. The Westernizing of POSTECH's faculty means that international exchanges are expected. The school administration has already begun to build the mechanisms for these by signing agreements with Berkeley, Birmingham, Imperial College, Carnegie-Mellon, Compiegne, and Aachen. This will permit student and faculty exchanges, postdoctoral appointments, and sabbatical years. My impression is that the logistics of a sabbatical would be very easy to arrange, given that POSTECH has access to very comfortable Western housing. It might be a little early, as many of the Departments are just getting going, but interested scientists would be advised to look into the possibilities. There are a few minor gripes. Transportation into and out of Pohang could be better. There are several flights each day, but the airport is often closed because of fog. The nearest train is more than a half hour away by car. Pohang is a small city. It is clean and safe, but it is not Seoul. The public school system has yet to adapt to the influx of young, highly educated faculty. In the past the schools have been accustomed to teaching the children of workers from the Pohang plant. However, when the high speed rail link between Seoul and Pusan is completed, a station will be just outside Pohang. The university has built a large modern facility for concerts, etc., and there is a U.S. type shopping mall near the housing complex. Also, the schools inside the Pohang grounds are being supported by the company; Pohang Steel upper management, including its President, live there too. POHANG PARALLEL PROCESSOR (POPA). The most interesting computing research activity at POSTECH is the POPA project, under the direction of Professor Jai Yong Lee Department of Computer Science POSTECH P.O. Box 125, Pohang Kyungbuk 790-600 Korea Tel: (0562) 79-2243, Fax: (0562) 79-2299 Email: JYL@VISION.POSTECH.AC.KR POPA refers to the POhang PArallel processor, a parallel computer based on 64 INMOS T800 transputers. The origin of this machine is interesting. Queen Elizabeth visited POSTECH when it first opened and gave the university a gift of a single transputer as representative British technology. The CS Department liked it and purchased the others to build the system. A SUN workstation is used as a host with eight root transputers connected to the VME bus. Each user (up to eight) is allocated his/her own domain of processors and I/O devices through an interconnection network. Each user can change the topology of his/her domain. To support fast I/O, POPA has a pool of disks that are independent of the SUN file system and these are attached to processors via the three stage interconnection network. The latter is composed of 32x32 cross-bar switches (the mother board contains 2 cross-bar switches). The backplane was built entirely at POSTECH. The POPA group has built a 16 node system and is now building the 64 node system on eight boards. It is possible to extend a POPA system to 256 transputers which will have about 0.4GFLOP performance. The network manager, called TRANSMAN and a unified software environment, called USE have been developed at POSTECH. For example, on the SUN, the command POPA -n 64 -c mesh -d 2 -g 2 will give a user a 64 processor mesh configured domain with two disks and two graphic terminals. The POPA project has 5 graduate students, 2 researchers, and 3 faculty. They have been working for about two and a half years and ran a workshop last summer to interest industrial organizations in the project. I watched as POPA ran several benchmarks, including a traveling salesman problem, and integrating 4/(1+x*x) to get pi. Their benchmarks indicate that the POPA system is more powerful than early Intel Hypercubes. The idea of a multi-user, dynamically reconfigurable hypercube is not being being pursued elsewhere to my knowledge. My general impression is that POPA will eventually be adapted for use by Korean industry, to a large extent because the POSTECH faculty will be available to consult on its use. It is also potentially helpful in university situations as a way to give students and others experience in parallel processing. It has already been tremendously valuable in this way at POSTECH. The hardware is solid and reliable. As far as I could tell the software looks in good shape as well. One indication is that "real" documentation is available. But POPA will never compete in absolute performance with fast Western parallel computers. I feel that it should be viewed as an effort on the part of the Korean scientists to develop their own expertise rather than to obtain it from outside their country. I saw another example of this in Seoul in the KAICUBE project (see below). It is much too early to tell if the POSTECH experiment will really produce the same quality research as Caltech. Perhaps it takes decades to emulate the infrastructure and depth of such an institution, but if money can buy success, then POSTECH certainly has what it takes. TAEDOK SCIENCE TOWN (KIST & KSRI). I had a very brief tour through the Korea Standards Research Institute (KSRI) and the Korea Institute of Science and Technology (KIST), two institutions located in Taedok. KIST. KIST boasts the first Cray supercomputer installed in Asia (Cray 2) installed in a building that also looks much like a Cray. Their actual machine room is large enough to hold another dozen or so similar sized Crays and was modeled after the installation in Minneapolis. My overall hosts were Dr. Ki Soo Sung President SERI and Dr.Park Chung Il Director, Computer Systems Operation Dept. SERI Korea Institute of Science and Technology 1, Eoeun-Dong Taejeon 305-333 Korea Tel: (042) 829-1301, Fax: (042) 861-1999 KIST is already thinking about their next machine, although perhaps it will not be a large shared memory supercomputer. I was told that management felt that there was some advantage to buying some highly parallel machine, if only to let their scientists learn how to use it. Nevertheless, the KIST scientists were particularly interested in the figures I presented based on research in large memory supercomputers that was part of the Japanese PHI project. Later, they showed me some finite element crash simulations that they ran in order to demonstrate the Cray's potential to a Korean automobile company. They claimed that the engineers were so impressed that they quickly purchased a machine of their own. However, the Cray is almost entirely used to run existing application software, mostly engineering analysis packages; there is very little software development. I was impressed with the large number of commercial software packages that were running and was told that the agreement KIST had with the Korean Government included a very substantial amount for software purchase and lease on a continuing basis. In fact, it was mentioned repeatedly that if the software money hadn't been forthcoming KIST would not have purchased the machine. I liked that attitude; we should also stress it in the U.S. KSRI. My visit to KSRI was mostly for general information purposes. It had been arranged because the Korean's knew that I was from NIST, the former U.S. National Bureau of Standards. KSRI is a $32 Million U.S. facility with about 500 staff, including almost 100 PhDs. These are broken down as follows. Physics 40 Chemistry 13 Mech Eng 12 Elec Eng 5 Chem Eng 4 Materials 15 Nuclear Eng 1 Indust Eng 2 Management 2 Computer Sci 0 There are also over 100 staff with M.S. degrees, but only two in Computer Science. However, a number of the scientists from other fields are working in computing activities. For example, my host Dr. Jeoung Sung Cho Information Processing Standardization Research Lab Korea Standards Research Institute P.O. Box 3, Taedok Science Town Taejon, 305-606, Republic of Korea Tel: (042) 820-5421, Fax: (2) 231-6813 Email: KSRI@HALLA.DACOM.CO.KR has been working on graphics standards, and in fact knew about some related work at NIST, in the National Computer Science Laboratory (NCSL). Nevertheless, he felt that there was little basic research actually going on in computing at KSRI; that almost all the work was related to standardization activities. Nevertheless, they are heavy computer users, and are tied in to the Cray 2 at KIST, which is only a few minutes away. (As with many other Korean scientists, Cho has his PhD from an American university, in this case Iowa State.) KSRI focuses on standards and precision measurement technologies, particularly in physics, specifically to meet the needs of Korean industries. Their work is funded by basic government research funds (30%), contracts from the Ministry of Science and Technology (50%), and contracts with various industries (20%). Projects range from a laboratory for a Cesium atomic clock, to more practical ones such as testing techniques to locate defects in composite materials, to the very practical such as vibration and noise reduction in underground power plants. I also had an opportunity to meet Dr. Hee Joon Eun Director, Division of Technical Support Head, Office of Policy Studies Korea Standards Research Institute P.O. Box 3, Taedok Science Town Taejon, 305-606, Republic of Korea Tel: (042) 820-5030, Fax: (2) 231-6813 In Dr. Eun's office there was a prominent display of the NIST organization chart. Although Eun has been to the Gaithersburg lab only once he was well aware of its new name and Director, Dr. John Lyons. He also emphasized the role NIST played in the formation of KSRI and the friendly relations between the organizations. KSRI also participates in various international standards organizations such as ISO (International Organization for Standardization), and ITU (International Telecommunication Union), and has numerous memorandum of cooperation with several dozen laboratories around the world. The NIST cooperative agreement was signed in 1981. KSRI also holds an annual workshop on the national standards system and precision measurements, as well as a biennial metrology symposium. KAICUBE PARALLEL PROCESSOR My last stop was at KAIST, Korea Academy of Industrial Technology, a major technical university in Seoul. The specific purpose of this was to see a parallel processor called KAICUBE that I had read about in a Japanese newspaper. Its chief developer is Prof Myung-Hwan Kim Vice President Korea Academy of Industrial Technology 70-6 Yangjae-Dong Seocho-gu Seoul, Republic of Korea Tel: 575-3955, Fax: 577-5488. Unfortunately Professor Kim was not in his laboratory when I arrived, but several other faculty and graduate students showed the system to me. KAICUBE is more or less a standard hypercube. KAICUBE I uses a 68020 CPU and 68882 floating point unit. Maximum communication speed is 120M bps. At this time a 64 node KAICUBE II has been built, with peak performance of about 64MFLOPS. The first machine, with 8 nodes was completed last year. The group has just begun to build a 128 node machine (KAICUBE III) with the new, faster Intel i860 processor. They estimate that it will be completed at the end of 1992 and will have 5GFLOP peak performance. It will also have improved communication, up to 320M bps. The KAICUBE group briefly showed me some of their work on the architecture and software development of the machine, which they have done essentially all themselves. As far as I can tell there are no documents available in English. The little documentation I did see described various applications, such as solving Laplace's equation, sorting, FFT, Simulated Annealing, and database query acceleration. But I had no opportunity to discuss this with any of the actual users. I was shown the results of one benchmark (travelling salesman problem) in which the KAICUBE II was 2.5 times slower than the Cray 2S. Nevertheless, as this is in almost every way a traditional hypercube, I asked them specifically why build it when they could buy one much more easily. Their answers were frank and illuminating. Basically they want to learn how to do it themselves so that don't have to buy the technology from outside. As far as I can tell this is much the same motivation that drives the POSTECH project. This is an excellent way to train students and develop basic research technology. Its most important use is internal, but the Japanese have shown that this approach can be successful at rapidly catching up with research in more advanced countries. What is not clear though, is whether, once rough parity has been achieved, if breakthrough ideas will also be forthcoming. KOREA SCIENCE COUNSELLOR. I also stopped in for a courtesy visit with Mr. Kenneth Dewitt Cohen Counselor for Scientific and Technological Affairs U.S. Embassy 82 Sejong-ro, Jongro-ku Seoul, Korea Tel: 732-2601, ext 4210, Fax: 738-8845. Mr. Cohen emphasized that it was very useful for U.S. scientists who were planning to visit Korea to make his office aware of their plans. He has a good overall grasp of scientific activities in the country and can often make excellent suggestions about additional worthwhile travel. PAPERS PRESENTED AT KOREAN INFORMATION PROCESSING SOCIETY MEETING 26-27 NOVEMBER 1990. A Study on Recovery Techniques in Database Systems Byung-Kee Kim, Kil-Hyun Nam (National Defense College) A Study on the Design and Implementation of Crypto-DBMS Doo-Sun Nam, Kil-Hyun Nam (National Defense College) The Development of Interactive Query Processing System for TDBMS Young-Don Boo, Moon-Ja Kim, Dae-Young Hur, Myeong-Joon Kim, Seung-Kyu Park (Electronics and Telecommunications Research Institute) Development of a High Peformance RDBMS Prototype (Hyunchul Kang, Yu Chan Byun, Doo Hwan Park, Seung Min Paek (Dept. of Computer Science, Chung-Ang University) A Study on Global Optimization of Unit Transaction with Multiple Queries Cheol Sun Park, Hae Young Bae (Dept. of Computer Science, Inha University) Characteristics and Structure Representation Schemes of Multimedia Data Yunmook Nah, Sukho Lee (Database Research Lab., Dept. of Computer Engi., Seoul National University) A Study on Storage Structures for Multimedia Information Processing Taeckgeun Kwon, Sukho Lee (Department of Computer Engineering, Seoul National University) A Study on User Interface for Multimedia Database Management System Jaehyuk Cha, Byoungho Song, Sukho Lee (Dept. of Computer Engineering, Seoul National Univ.) A Design of Database System for Korean Speech Data Processing Youngbae Park (Myongji Univ. Computer Sci.) Sukho Lee (Seoul National Univ. Computer Eng.) A Study on the RDBMS, Supporting User-defined Data Types Giyoung Song, Heungseo Koo, Haeyoung Bae (Dept. of Computer Science, Inha University) A Study on Supporting of History Data in KORED Soo-Young Park, Heung-Seo Koo, Hae-Young Bae (Dept. of Computer Science, Inha University) Design for Ticom Report Generator K.H. Yang, G.Y. Lee, B.R. Lee, K.J. Song, R.M. Choe (Automation Software Section, ETRI) Development of a Graphic Report Generator for Application Development Environments in Relational Database Systems Wonjun Lee, Hwan-Seung Yong, Sukho Lee (Dept. of Computer Engineering, Seoul National University) Development of an Application Generator in Relational Database Systems Sanghyn Park, Hwan-Seung Yong, Sukho Lee (Dept. of Computer Engineering, Seoul National Univ.) Design and Implement of Menu System for TDBMS Oka-Ja Cho, Moon-Ja Kim, Dae-Young Hur, Myeong-Joon Kim, Kee-Wook Rim (Electronics and Telecommunications Research Institute) Design and Implement of Menu System for TDBMS Oka-Ja Cho, Moon-Ja Kim, Dae-Young Hur, Myeong-Joon Kim, Kee-Wook Rim (Electronics and Telecommunications Research Institute) II Development of a Daductive Database System to Support Non First Normal Form Relations Youngjin Lee, Jeehee Yoon (Department of Computer Science, College of Natural Science, Hallym University) Development of Deductive Database System to Support Non Fitst Normal Form Relations Youngjin Lee, Jeehee Yoon (Department of Computer Science,a College of Natural Science, Hallym University Study on Design and Implementation of Deductive Database System by ISP D.W. Lee, J.D. Yang, Y.S. Lee (Dept. of Computer Science, Chon Buk National University) Performance Comparison of Signature-based Access Methods Through Experimental Results Jae Soo Yoo, Jae Woo Chang, Yoon Joon Lee (Dept. of Computer Science, Korea Advanced Institute of Science and Technology) Estimating Data Distribution Using the Hierarchical Grid File Sang-Wook Kim, Chan-Yong Park, Kyu-Young Whang (Department of Computer Science, Korea Advanced Institute of Science and Technology and Center for Artificial Intelligence Research) An Efficient Access Method for Spatial Databases Ryoung Wook Kim, Byung Yeon Hwang, Song Chun Moon Department of Computer Science and Center for Artificial Intelligence Research, Korea Advanced Institute of Science and Technology) Semantic Query Processing in Object-Oriented Database Systems Jong-Jin Sung, Jong-Tae Park (Department of Electronic Engineering, Kyungpook National University) A Query Language for Complex Objects Based on Path Expressions Seonggi Kim, Sukho Lee (Dept. of Computer Engineering, Seoul National University) A Study on Version Control for Managing CAD Data Sook Young Choi, Hyun Syug Kang (Dept. of Computer Science, Chonbuk National University) Design of Distributed Storage System Won Young Kim, Song Chun Moon (Department of Computer Science and Center for Artificial Intelligence Research, Korea Advanced Institute of Science and Technology) The Design of Role Allotment Subsystem in Relational Database Management System Kyeong Ho Jeong, Jae Hong Kim, Hae Young Bae (Dept. of Computer Science, Inha University) A Study on Scheduller for Concurrent Processing of Multi-level Transaction in Distributed System Jin Seok Jeong, Jae Wan Lee, Young Chan Kim (Dept. of Computer Science, Chung-Ang Univ.) A Study on Scheduller for Concurrent Processing of Multi-level Transaction in Distributed System Jin Seok Jeong, Jae Wan Lee, Young Chan Kim (Dept. of Computer Science, Chung-Ang Univ.) The Implementation of TPC-A Benchmark for Database System Performance Evaluation Chang-Soo Kim, Tae-Wan Kim, Jae-Chul Yoon (SYS/EV Group, Computer Business, SAMSUNG Electronics) The Comparison of COBOL File and Database Design Mi-a Yang, Youn-Jeong Kyung, Hae-kyung Lee (Dong-Duck Women's University) Design and Implementation of Efficient Algorithm for Boyce-Codd Normal Form Gii-Baeg Kim, Young-Hoon Seo, Soon-Gii Jung (Dept. of Computer Engineering, Chung-Buk National Univ.) III (1) OASiX: A Real-Time Knowledge-Based System for UNIX Operations and Administration M.G. Kim, H.K. Kang, S.Y. Park, H.G. Lim, K.T. Chong, Y.H. Lim (A.I. Section, ETRI) Knowledge Base Approach for Robot Assembly-Task K.S. Yoo, T.K. Lee, H.S. Oh (Dept. of Computer Science, Soong Sil Univ.) GDU Strategy in the TPIM-R Architecture Tae Sam Seo, Gun Seo Koo, Youn Bae Lee, Hae Seok Oh (Dept. of Computer Science, Soong Sil University) Multiple Inheritance and Recognition Problems in Object-Oriented Model Chang Yeol Lee, Doo Kwon Baik (Electronics and Telecommunications Research Institute, Korea University) A Study on Knowledge Representation Based on the EAR Model Ill-do Kim, Doo-kwon Baik, Jong-sun Hwang (Dept. of Computer Science, Korea University) An Extended Event-Based Temporal Logic on Fuzzy Set Hee-Cheol Kim, Kyung-Whan Oh (Artificial Intelligence Research Lab., Dept. of Computer Science, Sogang Univ.) Design of Inductive Learning System by Construction of Fuzzy Mental Model Taewon Kang, Chong-Sun Hwang (Dept. of Computer Science, Korea University) A Study on Fuzzy Probability in Various Fuzzy Environment Ki-Ryung Kim, Se-Lee Na, Jung-Koog Um (Dept. of Computer Science, Sogang Univ.) A Study on the Parallalization of Prolog on the OR Parallel Model Shin Kyong Suk, Chung Tae Choong (Dept. of Computer Engineering, KyungHee University) Shin Dong Pil (KIST ETRI) Belief Revision System for Dynamic Knowledge Representation J.Y. Shim, D.K. Baik, C.S. Hwang (Dept. of Computer Science, Korea University) A Study on Recognition of Handwritten Numerals Using Array Grammars Boo-Ill Kim, Byoung-Min Jun (Dept. of Computer Eng., Chungbuk National University) A Study on the Extraction and Segmentation of the Picture and Characters in Korean Document Jong Guk Lee, Hang Joon Kim (Dept. of Computer Science, Kyungpook National University) Jung Ha Lee (Dept. of Computer Science, Kyungjoo Junior College) Recognition of Two Dimensional Object Using the Method of Segmentation M.J. Kim, J.H. Han (Computer Vision Lab., Dept. of Computer Science, Postech) A Study on the Letter Segmentation of Hangul Characters for Printed Hangul Character Recognition J.I, Doh (Computer & Communication Center 2nd Lab., Samsung Advanced Institute of Technology) Statistical Pattern Recognition with Organizational Feature Set Kwang J. Cho, Joon H. Han (Computer Vision Lab., Dept. of Computer Science, POSTECH; Pohang Iron and Steel Co.; Research Institute of Industrial Science and Technology) IV (2) Path Optimization Strategy of Autonomous Guided Vehicle S.J. Hong, H.S. Oh (Dept. of Computer Science, Soong Sil Univ.) Image Contrast Enhancement with Fuzzy Set Mu-Hyog Kwon, Kyung-Whwn Oh (A.I. Lab., Dept. of Computer Science, Sogang University) Fasial Image Analysis System Using Frame Structure B.C. Kim, H.I, Coi (Dept. of Computer Science, Soong Sil Univ.) A Study on Feature Extraction for Face Recognition System Implementation Pal Jin Lee, Han Suk Choi, Byung Kyun Oh (Dept. of Computer Science, Mok-Po National University) A Study on Image Prepocessing for Face Recognition System Implementation Hyun Gui Park (Dept. of Computer Science, Chonnam National University) Pal Jin Lee, Han Suk Choi, Byung Kyun Oh (Dept. of Computer Science, Mok-Po National University) Distribution of Information of the Pixels of Multi-font and Multi-size Hangul Character Images Seong-Whan Lee (AI Lab., Department of Computer Science, Chungbuk National University) Image Skeletonization by Human and Computer Seong-Whan Lee (AI Lab., Department of Computer Science, Chungbuk National University) Binocular Matching on Correspondence Domain from Multi-Valued Edges Joon W. Kim, Joon H. Han (Computer Vision Lab., Department of Computer Science, POSTECH Texture Classification Using Pryamid Structure Jae S. Min, Joon H. Han (Computer Vision Lab., Department of Computer Science, POSTECH, Research Institute of Industrial Science & Technology) A Design and Implementation of Korean Generator for English-Korean Machine Translation Un-Cheon Choi, Dong-Un An, Key-Sun Choi, Gil-Chang Kim (Dept. of Computer Science, KAIST, Center for Artificial Intelligence Research) Design and Implementation of English Syntactic Analysis System Using Grammar Writing Language Seung-mi Lee, Cheol-jung Kweon, Myoung-cheol Kim, Key-sun Choi (Center for Artificial Intelligence Research, Dept. of Computer Science, KAIST; GoldStar Software, Ltd.) A Study on Rule-based English Generation from Feature Structure Byeong Rak Seo, Yung Taek Kim (Dept. of Computer Engineering, Seoul National University) Extension and Revision of A Grammar Writing Language Based on Tree to Tree Transformation S.K. Park, C.J. Kwon, W.S. Kang, K.S. Choi (Dept. of Computer Science, KAIST, Center for Artificial Intelligence Research) A Design and Implementation of English Semantic Analysis System for English- Korean Machine Translation Sang Yeob Lee, Young Seok Han, Key Sun Choi, Gil Chang Kim (Dept. of Computer Science, KAIST, Center for Artificial Intelligence Research) V (3) Problem Solving System Based on Neural Network Jae-Hyuk Han, Kyung-Whan Oh (Artificial Intelligence Research Lab., Dept. of Computer Science, Sogang Univ.) An Application of Mean Field Annealing to Harmonium Chae Taek Choi, Won Don Lee (Dept. of Computer Science, Chungnam National University) Neural Network for Hand-written Character Recognition Using Dynamic Bar Method H.J. Bae, J.M. yun, E.Y. Cha (Dept. of Computer Science, Pusan National University) Improved Back Propagation Algorithm by Combining Newton Method D.C. Lee, B.J. Kim, E.Y. Cha (Dept. of Computer Science, Pusan National University) Some Remarks on Speedup Methods of Backpropagation Learning Sung-Bae Cho, Hyunsoo Yoon, Jin H. Kim (Artificial Intelligence Lab., Dept. of Computer Science, KAIST) Design and Implementation of the Rulebase and the Backward Inference Engine of POKET System Hyuk Kwon, Jai-Jin Chang, Suk, I. Yoo (AI Lab., Dept. of Computer Science and Statistics, Seoul National University) Implementation of LISP Environment for POKET System Moo Kiel Jeong, Hai Jin Chang, Suk I. Yoo (AI Lab., Dept. of Computer Science and Statistics, Seoul National University) Design and Implementation of the FactBase and the User Interface of POKET System Chang-Hee Cho, Tae-Gwon Kim, Suk I. Yoo (AI Lab., Dept. of Computer and Statistics, Seoul National University) A Design and Implementation of Expert System Development Tool with Fuzzy Concept H.S. Rhee, J.Y. Lee (Artificial Intelligence Lab., Dept. of Computer Science, Postech) Developed Support Logic Programming Se-Jong O, Jin-Il Kim, Jung-Koog Um (Department of Computer Science, Sogang University; Department of Computer Science & Statistics, DongEui University) A Study on the Go-rule Lee, Chong Cheol (Kyungpook National University) A Study of Diagnosing System in Acid-Base Balance Disorder Jae Hyun Lee, Su Cheol Hwang, Ki Tae Kim (Depattment of Computer Science, Chung-ang University) Real-time Embedded Expert System Wungcheol Choi, Heonshik Shin (Department of Computer Engineering, Seoul National University) Design of the Improved Intelligent Computer Assisted Instruction System Using Knowledge-Base H.J. Cho, O.B. Chang, Y.S. Kim (Dept. of Computer Science, Chon buk National University) A Study on Design and Implementation of the EA Model and Rule Based ICAI System H. Yin, Y.S. Jeong, D.K. Balk, C.S. Hwang (Dept. of Computer Science, Korea University) C.H. Kim (Dept. of Computer Science, KangReung University) VI The Design and Implementation of Front-end Server for Management of a Large Fact on Logic Programming Language Doo Han Lee, Chong Cheol Lee (Kyungpook National University) Il Soo Jun (Kyungpook Sanup University) A Study on the Dependencxe Detection of C Programs Using Flow Analysis Yun Hi Kang, Sang Hoon Kim, Yang Sean Lee, Se Man Oh (Dept. of Computer Science, DongGuk University) Sematic Analyser for Ada Yang Hee Kim, Kiho Lee (Department of Computer Science, Suwon Industrial College; Department of Computer Science, Ewha Womans University) A Study on the Combinator Transformation of Functional Languages Hangyu Cho, Kablae Lee, Sangdo Kim, Weonhee Yoo (Department of Computer Science, Inha University) An Implementation of the Serial Combinator-based Translator for the Functional Programming language SubMiranda Kwan Deok Choi, Sung Hun Moon, Young Woo Yoon (Dept. of Computer Engineering, Yeung Nam University) Design and Implementation of the Functional Language: Miranda/S Chang-Kug Kong, Chae-Woo Yoo, Hoo-Bong Song (Dept. of Computer Science, Soong Sil University) VII The Design of An Operations System for Common Channel Signalling Network Taekyong Nam, Milsoon Kim, Sanghwan Kung, Younghee Lee, Jin Pyo Hong (Electronics and Telecommunications Research Institute) Software Design for the Signalling Transfer Point System SMX-1 G.I. Jeon, H.S. Park, N.H. Park, Y.M. Kang, Y.H. Lee (System Technology Section, Electronics and Telecommunications Research Institute (ETRI)) Man-Machine Interface (MMI) of the Laboratory Model SMX-1 (Signalling Message Exchange No. 1) System N.H. Park, W.K. Song, Y.M. Kang, Y.H. Lee (System Technology Section, Electronics and Telecommunications Research Institute (ETRI)) A Study on the Message Handling System with Cryptosystem Min-Hwa Jung, Kil-Hyun Nam (National Defense College) A Study on LAN Software Development for Factory Automation Kwang-Moon Cho, Tai-Yun Kim (Dept. of Computer Science, Korea University) Design and Implementation of Referenced Data Transfer Protocol in Distributed Office Environment Nak Po Kim, Jae-Hong Yim, Yong-Jin Park (Dept. of Electronic Eng., Hanyang University) Proposition of the Korean Character File Compression Using the Consonant and Vowel Seperation Cho, Ki-hyn Lim, Heon-tack Yoon, Jeon-min (Dept of Computer Science, Soong-sil Univ.) Kim, Seong-ryeol (Dept. of Computer Science, Cheong-ju Univ.) Flow Control Protocols in the Interconnected Network Environment Joo Ho Choi, Ki Jun Han (Dept. of Computer Engineering, Kyoungpook National University) Jung Bong Suk (Electronics and Telecommunications Research Institute) A Responseless Spanning Tree Configuration Algorithm Seok Yeol Heo, Ki Jun Han (Dept. of Computer Engineering, Kyungpook National University) Jung Bong Suk (Electronics and Telecommunications Research Institute) DBB (Dynamic Bandwidth Balancing) Mechanism for Improving Fairness of the DQDB In Jae Hyun, Ki Jun Han (Dept. of Computer Engineering, Kyoungpook National University) A Strategy for Improving Performances of BWB Mechanism in the DQDB MAN Su Yeon Kim, Ki Jun Han (Dept. of Computer Engineering, Kyungpook National University) Performance Evaluation of the Priority Schemes in the FDDI and the DQDB Seong Joon Jeon, Gwang Tae Kim, Ki Jun Han (Dept. of Computer Engineering, Kyungpook National University) Delay and Performance Analysis of Pi-Persistent Protocol Dong-Il Kim, Cheol-Jun Jeong, Chung-Suk Oh (Dept. of Computer Eng., Changbuk National University) A Study on Mean Waiting Times of Multi-Queue Cyclic Service Systems J.H. Lee, B.S. Kwon, G.J. Jeon (ETRI; Kyungpook National University) VIII An Implementation of AAL for Data Transmission Over B-ISDN Yi, Seung-taek No, Byoung-ho Lee, Choon-wha Paek, Seon-wook Lee, Min- seok Kim, Chong-sang (Dept. of Computer Engineering, Seoul National University) The Design of Distributed Control Algorithm for Mobile Communication Network in the Battle Field Kyeong Hyeon Lee, Jeong Hang Han, Joo-Seok Song (Computer and Communication Lab., Dept. of Computer Science, YONSEI University) Design of a Process Migration Facility in a Distributed System Tea Bum Um, Hye Leem Lee, Joo Seok Song (Computer & Communication Research Lab., Dept. of Computer Science, Yonsei University) Congestion Control Scheme for BISDN ATM Network Joong-Sik Lee, Sung-Hoon Kim, Jong-In Park, Joo-Seok Song (Computer and Communication Lab., Dept. of Computer Science, YONSEI University) An Extension of TTCN for the Multi-Party Test Method Kwang-Hoon Lee, Joong-Kyu Choi, Joo-Seok Song (Computer and Communication Lab., Dept. of Computer Science, Yonsei University) ISODE Enhancement on PC Adapter Kyoungho Park (Korea Computer Communication, Ltd.) Construction of Reachability Graph for Verification on Communicating System Specification Written in Estelle S.C. Kim, H.G. Kim, J.Y. Lee (Dept. of Computer Science, POSTERCH) High-Performance Transport Protocol Implementation Consideration Sunwan Choi, Jungbong Suk, Yanghee Choi (Electronics and Telecommunications Research Institute) Performance Analysisof Seoul-FOMAN Hee-Soo Kim, Dong-Soo So, Woo-Jin Choi, Joo-Seok Song (Computer and Communication Lab., Dept. of Computer Science, Yonsei University) A Study on the Protocol Testing by Efficient UIO Selection Gwang hyun Kim, Dong ho Lee (Dept. of Computer Science, Kwang woon University) A Study on the Access Control Service under the OSI Environment Yongho Kim, Dongyoo Kim (Dept. of Computer Science, Ajou University) Jungbong Suk, Yanghee Choi (Electronics and Telecommunications Research Institute) Analysis of FMXP Capacity in TDX-10 Exchange Gyu Won Lee, Hyun Ha Hong, Hyeong Ho Lee (Signaling Systems Section, Electronics and Telecommunications Research Institute (ETRI)) Design of the Heterogeneous Distributed File System with RS-232C M.H. Kim (Dept. of Computer, Korea Sport Science Institute) Y.S. Jeong, D.K. Balk (Dept. of Computer Science, Korea University) The Design of Service Logics for Intelligent Network Control Sangki Kim, Sungkyu Kim, Dukbin Im (Electronics and Telecommunications Research Institute) IX PE to PE Communication with Quad Baseline Network Park, Leim-byun, Kim, Kwan-joong, Kim, Byung-gi (Department of Computer Science, Soongsil University) Dynamic Mesh Yi, Min-Soo, Kim, Kwan-Joong, Kim, Byung-Gi (Dept. of Computer Science, Soong-Sil Univ.) Design of a On-Chip Instruction Cache for a RISC Processor Jin-Kyung Hwang, Chang-Suk Kim, Byung-In Mun, Jai-Joon Jung, Myong-Soon Park (Dept. of Computer Science, Korea University) A Study on Disk System for Real-time Transaction Processing in Distributed Environment Jagoun Koo, Kitae Whang, Heonshik Shin (Department of Computer Engineering, Seoul National University) The Design and Performance Analysis of the Parallel Adders Ki-Hong Kim, Tack-Don Han (Department of Computer Science, Yonsei University) A Study on Instruction-Level Parallel Architecture Rhee Haekyu, Shin Hyeonshik (Department of Computer Engineering, Seoul National University) The Modification and Analysis of the Wallace Tree for Fast Parallel Multiplication Sang-Man Moh, Tack-Don Han (Dept. of Computer Science, Yonsei University) Hierarchical Interconnection Networks for Large Multicomputer Systems YounSeok Ha and Dongseung Kim (Dept. of Computer Science, Pohang Institude of Science and Technology) Implementation of a Neuro Computer Using GCR Topology on a Parallel Computer POPA Y.S. Hwang, J.Y. Lee (AI Lab, Dept. of Computer Science, Postech) X Design and Implementation of Operating System for Message Passing Multiprocessor System Kwon Taek Jin, Jeon Ick Seong, Lee Min Seok, Kim Chong Sang (Dept. of Computer Engineering, Seoul National University) A Study on the Multiprocessor Kernel Structure for a Parallel Processing Model Seong J. Cho, Seong R. Rim, Yoo K. Cho (Dept. of Computer Enmgineering, Seoul National University) A Virtual Memory Management Mechanism for Pagoda Kernel Jaehyn Park, Kyuho Kim, Kilham Chon, KAIST A Method of Virtual Memory Management in the Distributed System SangO Park, GuenSik Na, SunShin An (Department of Electronics and Computer Science, KOREA University) Design of an Efficient and Reliable RPC for Distributed Multiple Servers Parallel Computation in Pagoda Object Support Environment Ienup Sung, Kiham Chon (KAIST) Jin Ho Hur (Human Computer Inc.) Sddt: Tool Based on Geometry Model for Static Deadlock Detection in Concurrent Programs Young-Ho Nam, Sung-Jo Kim (Parallel Computer System Lab., Dept. of Computer Science, Chung-Ang University) Distributed Deadlock Detection by Group Path Table Kim Kyongho, Koh Kern A Study on Effective Deadlock Detection Algorithm in Distibuted System H.J. Kim, B.N. Noh (Dept. of Computer Science and Statistics, Chunnam National University) B.C. Kim, Y.N. Hu (Dept. of Computer Science, Sunchun National University) A Study for Load Sharing Method in Distributed Systems Yun Hea Jeang, Hwang Jun, Kim Young Chan (Dept. of Computer Science, Chung-Aug Univ.) Decentralized Load Redistribution Algorithm under Failure in Distributed System Sung Jin Choi, Chang Soo Kim, Young Chan Kim (Dept. of Computer Science, Chung-Ang Univ.) The Design and Evaluation of an Intelligent Task Scheduling Algorihm for a Hard Real-Time Distributed Computing Systems Heon Lee, Kyoo Seok Park (Department of Computer Science, Kyung Nam University) Meta-Level Control Design & Performance Estimation for Global Scheduler in Distributed System Bonghan Kang, JeongWan Ahn, YoungChan Kim (Dept. of Computer Science, Chung-Ang Univ.) The Comparison of the Implementations of Korean Language Environment under UNIX Jang Ho Lee, Yoo Kun Cho (Dept. of Computer Engineering, Seoul National University) XI The Implementation of Real-Time Monitored Performance Management System for TX (Tolerant Eternity System's OS) Hyun Kyu Kang, Se Young Park, Young Hwan Lim (A.I. Section, ETRI) Construction of Distributed and Parallel Information Retrieval System using Multiple RPC Y.C. Lee, Y.K. Cho (Dept. of Computer Engineering, Seoul National University) Design and Implementation of File Protection System in PC-Xinu Operating System Seung-Lyeol Cha, Geon-Woo Lee, Jae-Hun Lee, Yong-Soo La (National Defense College) A Design and Implementation of the MAC Mechanism for Secure Operating System Ki Yoong Hong, Cheol Won Lee, Tae Kyu Park, Dae Ho Kim (Electronics and Telecommunications Research Institute) XII An Application of the BLP Model for the Secure Operating System Cheol Won Lee, Ki Yoong Hong, Tae Kyu Park, Dae Ho Kim (Electronics and Telecommunications Research Institute) An Implementation and Incremental Testing of the Algebraic Specification Kyo Nyun Kim (The University of Ulsan) Chi Su Wu (Seoul National University) The Path Generator for Program Testing Chang-seok Lee (Department of Computer Science, Dae-Jeon Junior College) Do-young Hahm, Hae-sool Yang (Department of Computer Science, Kang-Weon National University) A Study on the Rapid Prototyping for the Verification of Specification In-Geun Kim, Sei-Hoon Lee, Kyeong-Seob Yun, Chang-Jong Wang (Department of Computer Science, Inha University) A Study on Rapid Prototyping Using Structured Specification Joon-il Choi, Sel-Hoon Lee, Kyeong-Seob Yun, Chang-Jong Wang (Department of Computer Science, Inha University) A Study on Generic Transformation Model of ADA Program Sung-Sik Kim, Sang-Yong Lee, Chang-Sub Yoon (National Defense College) A Study on Object-Oriented Real-Time System Design Methodology Using Ada Oh KeiSung, Lee HwaSuk, Rhew SungYui, Chong KiWon (Dept. C.S., Soong Sil University) A Study on a Detection of Deadlocks of PN Models by Marking Tree H.C. Yu, J.C. Shon, D.K. Baik, C.S. Hwang (Depat. of Computer Science, Korea University) An Optimal Arithmetic Expression Creation Technique in Intelligent Tutoring System Yongmee Choi (Dept. of Computer Science, Ewha Womans University) The Design of Student Evaluation Tool for Author using Korean Jeong Hee Lee, Ki Ho Lee (Dept. of Computer Science, Ewha Womans Univ.) Study on Visual Representation Method for Information Retrieval of Reusable Library Keun Lim, Ki Hwon Kwon, Kyung Whan Lee (Department of Computer Science, Chung-Ang Graduate School) Study on Design of Retrieval System for Design Information Reuse Byung Kwan Kim, Chan Ki Hong, Sang Young Byeon, Kyung Hwan Lee (Department of Computer Science, Chung-Ang University) Design of Index-Relation Shceme for Software Reuse System Yong Ran Kim, Yeon Seol Koo (Dept. of Computer Science, Chungbuk National University) A Study on ICAI System for Learning Geometry Proof hyung-soo Kim, hwan-joo Noh, hae-sool Yang (Dept. of Computer Science, Kang-Woen National University) XIII A Study on Classification Schemes and Search Method of Software Components for Reuse M.S. Chang, Y.R, Kwon (Dept. of Computer Science, KAIST) Design and Implementation of a System for Managing the Software System Configuration J.H. Choi, Y.R. Kwon (Dept. of Computer Science, KAIST) A Study on Ada Based Software Management Systems (ASIMS) Design for Resue Shin Hyun Jeong, Yu Jae Ryeon, Rhew Sung Yul, Chong Ki Won (Department of Computer Science, Soongsil University) UIMan, A Graphical Tool for User Interface Design K.J. Kim, J.T. Lee, K.H. Choi (Dept. of Computer Science, Ajou University) K.S. Kim (ETRI) A Study on the Graphic Processor for Methodology Support System H.C. Kim, T.G. Kim, B.K. Min, H.W. Lee, C.S. Wu (Dept. of Computer Science & Statistics, Seoul National University) A Study on the Evaluation and Tailoring of the COCOMO Model Myeong Jae Yi, Ki Tae Kwon, Chi Su Wu (Dept. of Computer Science & Statistics, Seoul National University) A Study on the Composite Complexity Metric at the Design Phase Kim Hong Seok, Kim Tae Gong, Park Seo Young, Wo Chi Su (Dept. of Computer Science and Statistics, SNU) Design and Implementation of UMSM for the Simulation Model Construction Yoo-Joo Choi, Myoung-Hee Kim (Dept. of Computer Science, Ewha Womans University) Software Metrics of Object Oriented Programs C.J. Yoo (Dept. of Computer Science, Kijeon Women's Junior College) J.D. Lee, Y.S. Kim, O.B. Chang (Dept. of Computer Science, Chonbuk National University) A Study on the Supporting Environment of Simulation Result Analysis using SAS Ju Yeon Song, Myoung Hee Kim (Dept. of Computer Science, Ewha Womans University) Simulation Model Construction using Extended Petri Net Sang-Ah Nam, Myoung-Hee Kim (Dept. of Computer Science, Ewha Womans University) A Study on Methology for Software Complexity Measure Based on the Formal Grammar Hae-sool Yang, Hi-young Roh, Chung-ho Beak (Department of Computer Science, Kang-Weon National University) XIV A Study on General HANGEUL Font Generation System (Dept. of Computer Eng., Univ. of Kwang Woon) (Information Processing Standardization Lab., KSRI) A Study on the Generation of Outline Hangul Font and the Enhancement of PostScript for Hangul Processing Kim Seong Baeg, Chang Chung Sun, Kim Cheol Kie, Moon Il Min, Kim Chong Sang (Dept. of Computer Engineering, Seoul National University) A Method of Polygonal Approximation of Planar Curves Using Vectors Sung Pil Lyu (KAERI) Oh Seok Kwon, Tae Kyun Kim (Computer Eng. Dept., Chungnam National Univ.) A Study on Integrated Geographic Information System Yong Woo Lee, Yoon Chul Choi, Man Suk Song (Dept. of Computer Science, Yonsei University) A Study on the Construction of TPBC-Curve Hyeock Jin Kim, Ha-Jine Kimn (Dept. of Computer Science, AJOU University) SMiLE: Multi-Level Logic Optimization System C.S. Lim, T.S. Kim, S.Y. Hwang (CAD and Computer Systems Lab., Dept. of Electronic Engineering, Sogang University) Implementation of Intermediate Graph for VHDL Silicon Compiler M.H. Hyun, B.S. Lee, D.I. Oh, S.Y. Hwang (CAD and Computer Systems Lab., Dept. of Electronic Engineering, Sogang University) Fanout-Constrained Logic Synthesis J.H. Lee, T.S. Kim, S.Y. Hwang (CAD and Computer Systems Lab., Dept. of Electronic Engineering, Sogang University) The Stuck-Open Fault Detection of CMOS Logic Circuits which using Self-Test Technique Yung-Ho Kim, Byeong-Hyeon Min, Whan-Kyo Jo, Suk-Hyun Jo, Seung-Ryong Rho (Dept. of Electronics Eng., Seoul City University) Combinational Optimation and Floorplan Design by Simulated Annealing Joong-Sig Jang, Young-Gyu Choi, jin-Young Heo, Cheong Hee Yi (Chong Ju University) A Survey for the Classification of Defect Signal from Eddy Current Waveform Y.C. Go, K.R. Kim, Y.H. Huh (Computer Code Development Department, KAERI) XV A Heuristic Mapping Strategy for Efficient MUltiprocessor Scheduling In-Ho Ra, Sung-Jo Kim (Parallel Computer System Lab., Dept. of Computer Science, Chung-Ang Univ.) A Study on the Data Dependence Removing of Multiple Variables which have a Dependence Cycle B.S. Kim (KAIST SERI) D.S. Park (Soonchunhyang University) D.K. Baik, C.S. Hwang (Korea University) Parallelization Method for Multiple Nested Recurrence Loops on Multiprocessor System H.I. An, J.H. Kim, D.S. Kim, K.D. Chung (Dept. of Computer Science, Pusan National University) Hetrogeneous, Multiply Nested-Loop Parallelization Sukil Kim (Computer Science Department, Chungbuk National University) A Study on the Conversion Algorithm for the Parallel Execution: LOOPS in a Sequential Program Gae-Seong You, Man-Pyo Hong (Depat. of Computer Science, Ajou University) A Study on Translation Method of Vectorization for Vector Processing K.H. Lee, D.K. Baik, J.S. Hwang (Dept. of Computer Science, Korea University) D.S. Park (Dept. of Computer Science, Soonchunhyang University) Implementation of Concurrent C Based on UNIX Bumjoo Shin, Hangjoon Kim (Kyungpook University) Keewook Rim (ETRI) A Performance Analysis of Multibus-Multiprocessor System Young Jin Kim, Dong Jun Kim, Jong Hyun Kim, Sang Hui Park (Yonsei University) Control and Structure of Median Hypercube Duk Hyun Kim, Sung Chun Kim (Department of Computer Science, Sogang University) A Performance Study on Parallel Sorting Algorithms in a Hypercube Multiprocessor Hee-Sook Kim (Dept. of Computer Science, Sookmyung Women's Univ.) Won Ho Chung (Duksung Women's Univ) HYPERSIM; Hypercube Computer Simulator Yoon, Doo Han, Won, Young Ju (Korea Military Academy) Fault Tolerant Hypercube Architecture using Spare Cube Pool Dae Young Kim, Young Ho Kim (Dept. of Computer Science, Pusan National University) Soon Young Seong (Dept. of Computer Science, Pusan University of Foreign Studies) A Design of Router in Parallel Processing Language OCCAM Environment W.M. Jang, J.Y. Lee, J.Y. Lee (Computer Science, POSTECH; Information and Electronic Engineering, RIST) XVI An Optimal Algorithm for Computing the Edge Visibility Polygon from an Edge of a Simple Polygon Soo-Hwan Kim, Kyung-Yong Chwa (Dept. of Computer Science, Korea Advanced Insitute of Science and Technology) Multiple Message Broadcasting in Trees Oh-Heum Kwon, Kyung-Yong Chwa (Dept. of Computer Science, Korea Advanced Institute of Science and Technology) A Study on Efficient Processor Enumeration Sorting Algorithm on SIMD Model B.S. Chae, C.D. Lee, Y.S. Kim, O.B. Chang (Dept. of Computer Science & Statistics, Chonbuk National University) XVII Implementation and Verification of Dictionary Information for Topicallization and Relativization Processing in Korean M.J. Kim, J.H. Kim, S.J. Lee (Dept. of Computer Engineering, Kyungpook National University) Improvement of Unification Rule for Conjunction Processing in Korean M.S. Jun, K.Y. Kim, S.J. Lee (Dept. of Computer Engineering, Kyungpook National University) A Design of the Korean Information Retrieval System Pan Koo Kim, Yoo Kun Cho (Dept. of Computer Eng., Seoul National Univ.) A Study on Tagging for File Structure and Data Retrieval System Jae Wan Park, Yoon Chul Choy, Man Seok Song (Department of Computer Science, Yonsei University) Design and Implementation of Korean Electronic Dictionary's Prototype Dan Hee Yang, Yoon Chul Choy, Man Suk Song (Dept. of Computer Science, Yonsei University) The Extraction Algorithm of Block Image In Dong Lee, Oh Seok Kwon, Tae Kyun Kim (Dept. of Computer Eng., Chungnam National Univ.) A Method to Extract Block Image from Korean Newspaper In Dong Lee, Oh Seok Kwon, Tae Kyun Kim (Dept. of Computer Eng., Chungnam National Univ.) Lexical Ambiguity Resolution of Korean Language using Dependency Grammar and Collative Semantics G.S. Yun, H.C. Kwon (Dept. of Computer Science, Pusan National University) S.Y. Seong (Dept. of Computer Science, Pusan University of Foreign Studies) Interactive Text Critiquing System for Korean Y.S. Chae, J.Y. Kim, H.C. Kwon (Dept. of Computer Science, Pusan National University) A Comparison of the Transliteration of Hangul into Roman Character by Using an Automatic Translation and Retranslation Software Suk Kang, Jeoung Sung Cho, Dong Soon Park (IT Standardization Research Lab., KSRI) Automatic Detection and Correction of Hangul Spelling Errors Y.H. Cho, D.B. Kim, K.S. Choi, G.C. Kim (Center for Artificial Intelligence Research (CAIR); Depat. of Computer Science, KAIST) Development of Adaptive Pattern Classifier (APC) Using Neural Network Y.H. Park, S.Y. Bang (Dept. of Computer Science, POSTECH) Automatic Extraction of Features for Hanguel Consonants Using Neural Network H.K. Lee, S.Y. Bang (Dept. of Computer Science, POSTECH) --------------------END OF REPORT---------------------------------------------
yk4@cunixb.cc.columbia.edu (Yong Su Kim) (12/13/90)
The Kahaner Report was extremely informative. It certainly answered a lot of questions I had about Computer activities in Korea. Are there other such reports done by other authors? Kahane seemed to be convinced that Korea was not anywhere near the level of other advanced nations such as the United States and Japan. _____________________________________________________________________________ |Internet: yk4@cunixb.cc.columbia.edu |||||||||||Yong Su Kim|||||||||||| |Bitnet : yk4@cunixc |||||The Korean from Hong Kong|||| |UUCP : uunet!rutgers!columbia!cunixc!yk4 |||||||...Apple IIGS user...|||||| |____________________________________________||||||||||||||||||||||||||||||||||