Browse "RIMS Conference Papers" by Title

Showing results 1915 to 1934 of 2618

1915
Safety Analysis Using Coloured Petri Nets

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

1916
Safety Verification in Murphy using Fault Tree Analysis

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

1917
Safety-critical Software Requirements Checking Using PVS.

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

1918
Sales Representatives Allocation in a Retail Shop

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

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

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

1920
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

1921
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

1922
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

1923
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

1924
Scheduling Instruction-level parallelism

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

1925
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

1926
Schubert calculus for weighted Grassmannians and weighted Schur functions

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

1927
Schubert Calculus of Weighted Grassmannians

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

1928
SDN: A COMPUTER NETWORK FOR KOREAN RESEARCH COMMUNITY.

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

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

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

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

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

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

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

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

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

1933
Searching for composite quark partners at the LHC

Flacke, Thomas, Planck 2014, 17th International Conference From the Planck Scale to the Electroweak Scale, Institut des Cordeliers - Paris, 2014-05-27

1934
Searching for highly boosted new physics signatures: moving from LHC Run I to higher energies

Flacke, Thomas, Flavor and top physics @ 100 TeV workshop, IHEP, 2015-03-06

Discover

rss_1.0 rss_2.0 atom_1.0