Browse "RIMS Conference Papers" by Title

Showing results 2080 to 2099 of 2826

2080
Safety Analysis Using Coloured Petri Nets

차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995

2081
Safety Verification in Murphy using Fault Tree Analysis

Cha, Sungdeok, 10th International Conference on Software Engineering, 1988

2082
Safety-critical Software Requirements Checking Using PVS.

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997

2083
Sales Representatives Allocation in a Retail Shop

Park, Sang Chan, APIEMS '99, pp.581 - 584, 1999

2084
SAR Imaging을 위한 Ku-band FMCW RADAR 시스템에 관한 연구

정대환; 박성욱; 채장수, 2016년도 한국항공우주학회 춘계학술대회, 한국항공우주학회, 2016-04-21

2085
Scalable Montgomery multiplier for finite fields GF(p) and GF(2 m)

Kim T.H.researcher; Kim S.C.; Kim C.H.; Hong C.P., 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, pp.458 - 461, 2008-01-23

2086
Scalable web server cluster system using content-aware packet filtering

An Y.; Park D.researcher, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, v.2, pp.721 - 727, 2003-06-23

2087
Scalar Dissipation Rate Characteristics in Steady and Unsteady Turbulent Round Jets

Vlad, Aparece-Scutariu; Edward, Richardson; Shin, Donghyuk, 한국연소학회 추계학술대회, 사단법인 한국연소학회, 2019-11-14

2088
Scale-Out Acceleration for Machine Learning

PARK, JONGSE; Sharma, Hardik; Mahajan, Divya; Kim, Joon Kyung; Olds, Preston; Esmaeilzadeh, Hadi, International Symposium on Microarchitecture (MICRO), IEEE and ACM SIGMICRO, 2017-10-14

2089
Scattering optical coherence angiography with 1-mu;m swept source optical coherence tomography

Yasuno Y.; Hong Y.researcher; Makita S.; Akiba M.; Miura M.; Yatagai T., Optical Coherence Tomography and Coherence Techniques III, 2007-06-17

2090
SCBC/PCBC CDMA System with Complex Spreading in Multiple-Access Near/Far Interference and Multi-Path Fading Channel.

Kim, Choon Gil, The 4th International Conference on Advanced Communication Technology, pp.281 - 285, 2002

2091
Scheduling Instruction-level parallelism

Hye-Kyung Cha, 1994 Joint Tech. Conf. on Circuits/Systems, Computers and Comm., pp.966 - 971, 1994

2092
Scheduling proxy: Enabling adaptive-grained scheduling for global computing system

Han J.; Park D.researcher, Proceedings - Fifth IEEE/ACM International Workshop on Grid Computing, pp.415 - 420, 2004-11-08

2093
Schubert calculus for weighted Grassmannians and weighted Schur functions

토모, KMS Meeting, KMS, 2012-10-06

2094
Schubert Calculus of Weighted Grassmannians

Matsumura, Tomoo, Toric Topology 2012 in Osaka, Mikiya Masuda, 2012-11-19

2095
SDN: A COMPUTER NETWORK FOR KOREAN RESEARCH COMMUNITY.

Chon, Kil Nam; Park Hyunje; Cho Haesoon, Pacific Computer Communications 85, pp.631 - 634

2096
Search strategies for heavy quark partners at LHC run-II

Flacke, Thomas, 27th Rencontres de Blois, CEA, CNRS, 2015-06-02

2097
Search strategies for heavy quark partners at LHC run-II

Flacke, Thomas, PLANCK 2015, University of Ioannina, 2015-05-29

2098
Searching for composite quark partners at LHC run I and II

Flacke, Thomas, 4th KIAS Workshop on Particle Physics and Cosmology, 고등과학원, 2014-10-29

2099
Searching for composite quark partners at LHC run I and II

Flacke, Thomas, The 2nd NPKI Workshop, KAIST, and others, 2014-09-16

Discover

rss_1.0 rss_2.0 atom_1.0