Zobrazeno 1 - 10
of 47
pro vyhledávání: '"Kwang-Moo Choe"'
Autor:
Hyunjun Eo1 poisson@ropas.kaist.ac.kr, Kwang-Moo Choe1 choe@cs.kaist.ac.kr, Kwangkeun Yi2 kwang@ropas.snu.ac.kr
Publikováno v:
New Generation Computing. 2006, Vol. 24 Issue 1, p53-78. 26p.
Autor:
Gyung-Ok Lee1 golee@hanshin.ac.kr, Kwang-Moo Choe2 choe@cs.kaist.ac.kr
Publikováno v:
SIAM Journal on Computing. 2005, Vol. 35 Issue 2, p359. 19p.
Publikováno v:
ACM Transactions on Embedded Computing Systems. 12:1-23
In imperative synchronous languages, a statement is called schizophrenic if it is executed more than once in a single clock. When a schizophrenic statement is translated into a circuit, the circuit can behave abnormally because of the multiple execut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66d17f1da3372a76d272248a296b04fc
https://doi.org/10.1145/2442116.2442130
https://doi.org/10.1145/2442116.2442130
Autor:
Kwang-Moo Choe, Woongsik Choi
Publikováno v:
Information and Software Technology. 53:818-833
Context: Pointer analysis is an important building block of optimizing compilers and program analyzers for C language. Various methods with precision and performance trade-offs have been proposed. Among them, cycle elimination has been successfully u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8264a0f6ea14286bc7933f2c09295486
https://doi.org/10.1016/j.infsof.2011.03.003
https://doi.org/10.1016/j.infsof.2011.03.003
Publikováno v:
Information and Software Technology. 52:210-219
Buffer overflow detection using static analysis can provide a powerful tool for software programmers to find difficult bugs in C programs. Sound static analysis based on abstract interpretation, however, often suffers from false alarm problem. Althou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8077c90542459a773f2807c591fd0aa6
https://doi.org/10.1016/j.infsof.2009.10.004
https://doi.org/10.1016/j.infsof.2009.10.004
Publikováno v:
Journal of Systems Architecture. 56:136-149
Finding the best data layout has been an ultimate goal of memory optimization. Even with data access profile, heuristic algorithms are needed to reorganize data layout for better locality. The best layout could be found by running the given applicati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7dc056833eb7c42d9c75e9457d251bac
https://doi.org/10.1016/j.sysarc.2010.01.002
https://doi.org/10.1016/j.sysarc.2010.01.002
Publikováno v:
IEICE Transactions on Information and Systems. :985-993
Esterel is an imperative synchronous language for control-dominant reactive systems. Regardless of imperative features of Esterel, combination of parallel execution and preemption makes it difficult to build control flow graphs (CFGs) of Esterel prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c3302a0fc9d6de5b05e3ed87b76bf8e
https://doi.org/10.1587/transinf.e93.d.985
https://doi.org/10.1587/transinf.e93.d.985
Publikováno v:
The Journal of Supercomputing. 56:25-55
Multicore architectures are evolving with the promise of extreme performance for the classes of applications that require high performance and large bandwidth of memory. Irregular reduction is one of important computation patterns for many complex sc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9dc6150d39a268160d8b22c0935f5b4
https://doi.org/10.1007/s11227-009-0340-3
https://doi.org/10.1007/s11227-009-0340-3
Autor:
Seunghwan O, Kwang-Moo Choe
Publikováno v:
IEICE Transactions on Information and Systems. :2924-2932
The concept of LR(k) validity is represented as an abstract interpretation of a refinement of the derivation semantics of a given grammar. Also the algorithm of LR(k) parsing is represented as an abstract interpretation of the refined semantics. Such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81d154edc23511bc69bd4a10a748ea1c
https://doi.org/10.1093/ietisy/e89-d.12.2924
https://doi.org/10.1093/ietisy/e89-d.12.2924
Publikováno v:
Journal of Systems and Software. 72:59-69
Current JDK Java compiler relies on programmer's declarations (by throws clauses) for checking against uncaught exceptions of the input program. It is not elaborate enough to remove programmer's unnecessary handlers nor suggest to programmers for spe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f24f9d3b27634d1d959bfa9fae04e988
https://doi.org/10.1016/s0164-1212(03)00057-8
https://doi.org/10.1016/s0164-1212(03)00057-8