(Back to Session Schedule)

The 23rd International Technical Conference on Circuits/Systems, Computers and Communications

Session H1  Internet Technology & System Software
Time: 11:00 - 12:30 Monday, July 7, 2008
Location: 8F 805 Room
Chairs: Hiroshi Hasegawa (Utsunomiya Univ., Japan), Pornchai Supnithi (King Mongkut's Inst. of Tech. Ladkrabang)

H1-1 (Time: 11:00 - 11:18)
TitleInterface Development for Web-based Instruction Set Simulator
Author*Hideaki Yanagisawa (Tokuyama College of Tech., Japan), Minoru Uehara, Hideki Mori (Toyo Univ., Japan)
Pagepp. 389 - 392
Detailed information (abstract, keywords, etc)

H1-2 (Time: 11:18 - 11:36)
TitleVideo Proxy Server Management Policy using Virtual Caching Technique
Author*Jun Pyo Lee, Sung Han Park (Hanyang Univ., Republic of Korea)
Pagepp. 393 - 396
Detailed information (abstract, keywords, etc)

H1-3 (Time: 11:36 - 11:54)
TitleFormal Verification of Web Navigation by Symbolic Model Checking
Author*Hisashi Miyazaki, Tomoyuki Yokogawa, Kouichi Seko, Yoichiro Sato, Michiyoshi Hayase (Okayama Prefectural Univ., Japan)
Pagepp. 397 - 400
Detailed information (abstract, keywords, etc)

H1-4 (Time: 11:54 - 12:12)
TitleImplementation and Analysis of Win32 Native Distributed Compilation System - WinDistcc
Author*Kyongjin Jo (Korea Univ., Republic of Korea), Kwanghoon Choi (LG Electronics, Republic of Korea), Jongkook Kim, Seon Wook Kim (Korea Univ., Republic of Korea)
Pagepp. 401 - 404
Detailed information (abstract, keywords, etc)

H1-5 (Time: 12:12 - 12:30)
TitleDevelopment of Compiler which Supports High-level Programming Language for Dynamic Reconfigurable Architecture DS-HIE
Author*Yasuhiro Nishinaga, Takuro Uchida, Tetsuya Zuyama, Kazuya Tanigawa, Tetsuo Hironaka (Hiroshima City Univ., Japan)
Pagepp. 405 - 408
Detailed information (abstract, keywords, etc)