2017³â Ãó°è Çмú´ëȸ
Current Result Document :
ÇѱÛÁ¦¸ñ(Korean Title) |
IoT °¡»ó±â°èÀÇ Áß°£ÄÚµå °ËÁõÀ» À§ÇÑ RSIL to LLVM IR º¯È¯±âÀÇ ¼³°è ¹× ±¸Çö |
¿µ¹®Á¦¸ñ(English Title) |
A Study on RSIL to LLVM IR Translator For Verification of Intermediate Code on IoT Virtual Machine |
ÀúÀÚ(Author) |
Á¶ÀçÇö
ÃÖÂùÈÖ
¼ÕÀ±½Ä
À̾缱
Jaehyeon Cho
Chanwhi Choi
Yunsik Son
YangSun Lee
|
¿ø¹®¼ö·Ïó(Citation) |
VOL 24 NO. 01 PP. 1135 ~ 1137 (2017. 04) |
Çѱ۳»¿ë (Korean Abstract) |
º» ³í¹®Àº IoT ÀåÄ¡¿¡¼ µ¿ÀÛÇÏ´Â °¡»ó±â°èÀÇ Áß°£Äڵ带 LLVM IR ÄÚµå·Î º¯È¯ÇÏ´Â ÄÚµå º¯È¯±â¸¦ ¼³°è ¹× ±¸ÇöÇÏ¿´´Ù. LLVM ÀÎÅÍÇÁ¸®Å͸¦ ÅëÇØ RSIL ÄÚµå·ÎºÎÅÍ º¯È¯µÈ LLVM IR Äڵ带 ½ÇÇàÇÏ°í, ±× °á°ú¸¦ ºñ±³ÇÏ¿© IoT °¡»ó±â°èÀÇ Áß°£Äڵ带 °ËÁõÇÏ¿´´Ù.
|
¿µ¹®³»¿ë (English Abstract) |
|
Å°¿öµå(Keyword) |
|
ÆÄÀÏ÷ºÎ |
PDF ´Ù¿î·Îµå
|