Showing results 9341 to 9360 of 16084
S3: School Zone Safety System Based on Wireless Sensor Network Yoo, Seong-eun; Chong, Poh Kit; Kim, Daeyoung, SENSORS, v.9, no.8, pp.5968 - 5988, 2009-08 |
Safe Navigation of Pedestrians in Social Groups in a Virtual Urban Environment Rojas, Francisco Arturo; Yang, Hyun-Seung, CyberWorlds International Conference, CyberWorlds, 2014-10-06 |
SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Lee, Hongki; Won, Sooncheol; Jin, Joonho; Cho, Junhee; Ryu, Sukyoung, 19th International Workshop on Foundations of Object-Oriented Languages, ACM, 2012-10-22 |
SAFE: 확장 가능한 JavaScript 분석 프레임워크 이홍기; 진준호; 원순철; 조준희; 류석영; 고윤석, 정보과학회논문지 : 소프트웨어 및 응용, v.40, no.5, pp.283 - 289, 2013-05 |
SAFERPHP: Finding Semantic Vulnerabilities in PHP Applications Son, Sooel; Shmatikov, Vitaly, Programming Languages and Analysis for Security, PLAS, The ACM Special Interest Group on Programming Languages (SIGPLAN), 2011-06-05 |
Safety analysis of function block diagrams using fault trees = Fault tree 기법을 이용한 function block diagram 의 안전성 분석link Oh, You-Ju; 오윤주; et al, 한국과학기술원, 2004 |
Safety analysis of hybrid real-time system requirements using qualitative models = 정성 모델을 이용한 복합 실시간 계통 요구사항의 안전성 분석link Lee, Jang-Soo; 이장수; et al, 한국과학기술원, 2002 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
Sampling-based motion planning algorithm to handle a narrow passage problem = 좁은 길 문제를 해결하기 위한 샘플링 기반 모션 플래닝 알고리즘link Lee, Jung-Hwan; 이정환; et al, 한국과학기술원, 2014 |
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 |
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 |
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 |
Satefy Verification of Ada95 Programs Using Software Fault Trees Kwon, Yong Rae, Safecom 99, 1999 |
Satellite Image Processing Software for Value-Added Products 이해연; 박원규; 김승범; 김태정; 윤태훈; 신동석; 이흥규, 대한원격탐사학회지, v.15, no.4, pp.339 - 348, 1999 |
Discover