|
1 |
The Methodology for Performance Prediction in Architectural Design Stage of Software using Queuing Network Model
Youn, Hyun-Sang;Jang, Su-Hyeon;Lee, Eun-Seok;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.689-696,
|
|
2 |
Modeling and Simulation of Platform Specific Model in MPSoC Environment
Song, In-Gwon;Oh, Gi-Young;Hong, Jang-Eui;Bae, Doo-Hwan;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.697-707,
|
|
3 |
Design of an Automated Testing Tool to Detect Dynamic Memory Access Errors in C Programs
Cho, Dae-Wan;Oh, Seung-Uk;Kim, Hyeon-Soo;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.708-720,
|
|
4 |
GARDIAN: Rule Based Modeling Validation for Concurrent Object Modeling and Architectural Design mEThod(COMET)
Kim, Sun-Tae;Kim, Jin-Tae;Park, Soo-Yong;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.721-730,
|
|
5 |
A Logical Cell-Based Approach for Robot Component Repositories
Koo, Hyung-Min;Ko, In-Young;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.731-742,
|
|
6 |
Bounded Model Checking BIR Model
Cho, Min-Taek;Lee, Tae-Hoon;Kwon, Gi-Hwon;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.743-751,
|
|
7 |
A Tool to Support Personal Software Process
Shin, Hyun-Il;Jung, Kyoung-Hak;Song, Il-Sun;Choi, Ho-Jin;Baik, Jong-Moon;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.752-762,
|
|
8 |
Adaptive Software Framework based on Acquiring Context Information using Plane Image Processing
Kim, Ki-Mun;Jung, Woo-Sung;Lee, Byung-Jeong;Wu, Chi-Su;
/
Korean Institute of Information Scientists and Engineers
, v.34, no.8, pp.763-771,
|
|