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...|||||| |____________________________________________||||||||||||||||||||||||||||||||||