Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Han, Taisook"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A type system for the push-enter model
Kwanghoon Choi
,
Taisook Han
Information Processing Letters
87
(4), 2003, pp. 205-211
An analytical method for parallelization of recursive functions
Joonseon Ahn
,
Taisook Han
Parallel Processing Letters
10
(1), 2000, pp. 87-98
An analytical method for parallelization of recursive functions
Joonseon Ahn
,
Taisook Han
Parallel Processing Letters
10
(4), 2000, pp. 359-370
Fault-tolerant wormhole routing in mesh with overlapped solid fault regions
Seong-Pyo Kim
,
Taisook Han
Parallel Computing
23
(13), 1997, pp. 1937-1962
An efficient computation of right context for LR-based error repair
Min-Soo Jung
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
49
, 1994, pp. 63-71
Efficient bottom-up execution of logic programs using abstract interpretation
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(3), 1993, pp. 149-157
Static filtering on stratified programs
Byeong-Mo Chang
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(5), 1993, pp. 237-244
A description of dynamic behavior for compilers based on object oriented modeling
DongGill Lee
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
48
(4), 1993, pp. 163-170
Syntactic error repair using repair patterns
In-Sig Yun
,
Kwang-Moo Choe
,
Taisook Han
Information Processing Letters
47
(4), 1993, pp. 189-196
Refined mark(s)-set-based backtrack literal selection for AND parallelism in logic programs
Do-Hyung Kim
,
Kwang-Moo Choe
,
Taisook Han
Parallel Processing Letters
2
(1), 1992, pp. 71-79