Browse "School of Computing(전산학부)" by Title 

Showing results 9281 to 9300 of 15991

9281
Safety Verification of Ada95 Programs Using Software Fault Trees

Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999

9282
SAFEWAPI: Web API Misuse Detector for Web Applications

Bae, SungGyeong; Cho, Hyunghun; Lim, Inho; Ryu, Sukyoung, The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2014), ACM Special Interest Group on Software Engineering (SIGSOFT), 2014-11-19

9283
SALAD: Part-Level Latent Diffusion for 3D Shape Generation and Manipulation

Koo, Juil; Yoo, Seungwoo; Nguyen, Minh Hieu; Sung, Minhyuk, 20th IEEE/CVF International Conference on Computer Vision (ICCV), International Conference on Computer Vision, 2023-10

9284
SALE: Smartly Allocating Low-Cost Many-Bit ECC for Mitigating Read and Write Errors in STT-RAM Caches

Qureshi, Muhammad Avais; Park, Jungwoo; Kim, Soontae, IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, v.28, no.6, pp.1357 - 1370, 2020-06

9285
Salvaging Runtime Bad Blocks by Skipping Bad Pages for Improving SSD Performance

Moon, Junoh; Kang, Mincheol; Lee, Wonyoung; Kim, Soontae, 25th Design, Automation and Test in Europe Conference and Exhibition (DATE), pp.576 - 579, IEEE, 2022-03

9286
Sampling Bias in User Attribute Estimation of OSNs

Moon, Sue Bok; Park, Hosung, 22nd International Conference on World Wide Web, WWW 2013, pp.183 - 184, International World Wide Web Conference Committee, 2013-04-17

9287
Sampling Strategies for GAN Synthetic Data

Bhattarai, Binod; Baek, Seungryul; Bodur, Rumeysa; Kim, Tae-Kyun, 2020 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2020, pp.2303 - 2307, The Institute of Electrical and Electronics Engineers, Signal Processing Society, 2020-05-04

9288
Sampling-based motion planning algorithm to handle a narrow passage problem = 좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘link

Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2014

9289
Sandra Helps You Learn: the More You Walk, the More Battery Your Phone Drains

Min, Chulhong; Yoo, Chungkuk; Hwang, Inseok; Kang, Seungwoo; Lee, Youngki; Lee, Seungchul; Park, Pillsoon; et al, The 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, ACM SIGCHI AND SIGMOBILE, 2015-09-11

9290
SASUM: A Sharing-Based Approach to Fast Approximate Subgraph Matching for Large Graphs

Kim, Song-Hyon; Song, In-Chul; Lee, Kyong-Ha; Lee, Yoon-Joon, IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, v.E96D, no.3, pp.624 - 633, 2013-03

9291
SAT-based Bounded Software Model Checking for Embedded Software: A Case Study

Kim, Yun-Ho; Kim, Moonzoo, Asian-Pacific Software Engineering Conference (APSEC), pp.55 - 62, Asian-Pacific Software Engineering Conference (APSEC), 2014-12-02

9292
Satefy Verification of Ada95 Programs Using Software Fault Trees

Kwon, Yong Rae, Safecom 99, 1999

9293
Satellite Image Processing Software for Value-Added Products

이해연; 박원규; 김승범; 김태정; 윤태훈; 신동석; 이흥규, 대한원격탐사학회지, v.15, no.4, pp.339 - 348, 1999

9294
SATI: A scalable and traffic-efficient data delivery infrastructure for real-time sensing applications

Cho, Kyungmin; Ju, Younghyun; Jo, Sungjae; Rhee, Yunseok; Song, Junehwa, COMPUTER NETWORKS, v.55, no.1, pp.241 - 263, 2011-01

9295
SATS: Structure-Aware Touch-Based Scrolling

Kim, Do Hyung; Gweon, Gahgene; Lee, Geehyuk, ETRI JOURNAL, v.38, no.6, pp.1104 - 1113, 2016-12

9296
Saving Rhinos with Predictive Analytics

Park, Noseong; Serra, Edoardo; Subrahmanian, V. S., IEEE INTELLIGENT SYSTEMS, v.30, no.4, pp.86 - 88, 2015-07

9297
SaVioR: Thwarting Stack-Based Memory Safety Violations by Randomizing Stack Layout

LEE, SEONG MAN; Kang, Hyeonwoo; Jang, Jinsoo; Kang, Brent Byunghoon, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, v.19, no.4, pp.2559 - 2575, 2022-07

9298
SBST in the age of Machine Learning Systems - Challenges Ahead

Yoo, Shin, IEEE/ACM 12th International Workshop on Search-Based Software Testing (SBST), pp.2, ASSOC COMPUTING MACHINERY, 2019-05-27

9299
SCADA용 DNP3 프로토콜의 소규모 실험환경 구축

이동수; 김광조, 2013년도 한국정보보호학회 충청지부 학술대회, v.0, 한국정보보호학회, 2013-09-27

9300
SCADE를 이용한 멀티 에이전트 시스템 설계 사례연구 및 분석

채철우; 신동환; 지은경; 홍광의; 배두환, 2014 한국정보과학회 제41회 정기총회 및 동계학술발표회, pp.399 - 401, 한국정보과학회, 2014-12-18

Discover

Type

. next

Open Access

Date issued

. next

Subject

. next

rss_1.0 rss_2.0 atom_1.0