S-Space

Browse

Publisher

Jump to a point in the index

Or type in a year

Sort by
In order
Results/Page
Authors/record

Showing results 1 to 40 of 49

Issue Date	Title / Author(s) / Citation	File
1995-01	Software Synthesis for DSP Using Ptolemy Pino, Jose Luis; Ha, Soonhoi; Lee, Edward A.; Buck, Joseph T. Journal of VLSI Signal Processing, 1995, vol. 9, no. 1-2, pp. 7-21	DOI
1997-01	Heterogeneous Simulation - Mixing Discrete-Event Models with Dataflow Chang, Wan-Teh; Ha, Soonhoi; Lee, Edward A. Journal of VLSI Signal Processing, 1997, vol. 15, no. 1-2, pp. 127-144	DOI
2002-03	Extended Synchronous Dataflow for Efficient DSP System Prototyping Park, Chanik; Chung, Jaewoong; Ha, Soonhoi Design Automation for Embedded Systems, vol. 6, no. 3, pp. 295-322, Mar. 2002	DOI
2003-09	Fast and Time-Accurate Cosimulation with OS Scheduler Modeling Yi, Youngmin; Kim, Dohyung; Ha, Soonhoi Design Automation for Embedded Systems, Vol. 8, No. 2-3, pp. 211-228, 2003	DOI
2004-05	Fractional rate dataflow model for efficient code synthesis Oh, Hyunok; Ha, Soonhoi Journal of VLSI Signal Processing, 2004, vol. 37, no. 1, pp. 41-51	DOI
2008-07	Optimized RTL Code Generation from Coarse-Grain Dataflow Specification for Fast HW/SW Cosynthesis Jung, Hyunuk; Yang, Hoeseok; Ha, Soonhoi J Sign Process Syst, 52(1), 13-34, July	DOI
2009-10	Sensor Placement for 3-Coverage with Minimum Separation Requirements Kim, Jung-Eun; Yoon, Min-Ki; Han, Junghee; Lee, Chang-Gun Lecture Notes in Computer Science, vol.5067/2008, pp.266-281	DOI
2012	A tensor voting approach for multi-view 3D scene flow estimation and refinement Park, Jaesik; Oh, Tae Hyun; Jung, Jiyoung; Tai, Yu-Wing; Kweon, In So Lecture Notes in Computer Science, Vol.7575 No.PART 4, pp.288-302	DOI
2014-04	Design and Validation of Automated Femoral Bone Morphology Measurements in Cerebral Palsy Park, Noyeol; Lee, Jehee; Sung, Ki Hyuk; Park, Moon Seok; Koo, Seungbum Journal of Digital Imaging, Vol.27 No.2, pp.262-269	DOI
2014-05	A Group Action on Z(p)(x) and the Generalized DLP with Auxiliary Inputs Cheon, Jung Hee; Kim, Taechan; Song, Yong Soo Lecture Notes in Computer Science, Vol.8282, pp.121-135	DOI
2015	Bubble task: A dynamic execution throttling method for multi-core resource management Seo, D.; Kim, M.; Eom, H.; Yeom, H.Y. Lecture Notes in Computer Science, Vol.8828, pp.1-16
2015	Static analysis with Set-Closure in secrecy Lee, W.; Hong, H.; Yi, K.; Cheon, J.H. Lecture Notes in Computer Science, Vol.9291, pp.18-35
2015	Real-time head orientation from a monocular camera using deep neural network Ahn, Byungtae; Park, Jaesik; Kweon, In So Lecture Notes in Computer Science, Vol.9005, pp.82-96	DOI
2016	Fast global registration Zhou, Qian-Yi; Park, Jaesik; Koltun, Vladlen Lecture Notes in Computer Science, Vol.9906, pp.766-782	DOI
2017-01	Adaptive space-shared scheduling for shared-memory parallel programs Cho, Younghyun; Oh, Surim; Egger, Bernhard Lecture Notes in Computer Science, Vol.10353 LNCS, pp.158-177
2017-01	On the design and implementation of an efficient lock-free scheduler Negele, Florian; Friedrich, Felix; Oh, Suwon; Egger, Bernhard Lecture Notes in Computer Science, Vol.10353 LNCS, pp.22-45
2017-01	Scheduling for better energy efficiency on many-core chips Kang, Chanseok; Lee, Seungyul; Lee, Yong-Jun; Lee, Jaejin; Egger, Bernhard Lecture Notes in Computer Science, Vol.10353 LNCS, pp.46-68
2017-12	Homomorphic encryption for arithmetic of approximate numbers Cheon, Jung Hee; Kim, Andrey; Kim, Miran; Song, Yongsoo Lecture Notes in Computer Science, Vol.10624, pp.409-437	DOI
2018-05	Bootstrapping for approximate homomorphic encryption Cheon, Jung Hee; Han, Kyoohyung; Kim, Andrey; Kim, Miran; Song, Yongsoo Lecture Notes in Computer Science, Vol.10820, pp.360-384	DOI
2018-09	Lizard: Cut off the tail! A practical post-quantum public-key encryption from LWE and LWR Cheon, Jung Hee; Kim, Duhyeong; Lee, Joohee; Song, Yongsoo Lecture Notes in Computer Science, Vol.11035, pp.160-177	DOI
2018-11	Approximate homomorphic encryption over the conjugate-invariant ring Kim, Duhyeong; Song, Yongsoo Lecture Notes in Computer Science, Vol.11396 LNCS, pp.85-102	DOI
2019-01	A Full RNS Variant of Approximate Homomorphic Encryption Cheon, Jung Hee; Han, Kyoohyung; Kim, Andrey; Kim, Miran; Song, Yongsoo Lecture Notes in Computer Science, Vol.11349, pp.347-368	DOI
2019-01	AliveInLean: A verified LLVM peephole optimization verifier Lee, Juneyoung; Hur, Chung-Kil; Lopes, Nuno P. Lecture Notes in Computer Science, Vol.11562 LNCS, pp.445-455	DOI
2019-05	Improved bootstrapping for approximate homomorphic encryption Chen, Hao; Chillotti, Ilaria; Song, Yongsoo Lecture Notes in Computer Science, Vol.11477 LNCS, pp.34-54	DOI
2019-08	Fast and scalable method for distributed Boolean tensor factorization Park, Namyong; Oh, Sejoon; Kang, U. VLDB Journal, Vol.28 No.4, pp.549-574	DOI
2019-08	An SGX-Based Key Management Framework for Data Centric Networking Park, Minkyung; Kim, Jeongnyeo; Kim, Youngho; Cho, Eunsang; Park, Soobin; Sohn, Sungmin; Kang, Minhyeok; Kwon, Taekyoung Lecture Notes in Computer Science, Vol.11897 LNCS, pp.370-382	DOI
2019-08	Succinct Data Structures for Families of Interval Graphs Acan, Huseyin; Chakraborty, Sankardeep; Jo, Seungbum; Satti, Srinivasa Rao Lecture Notes in Computer Science, Vol.11646, pp.1-13	DOI
2019-08	Space Efficient Algorithms for Breadth-Depth Search Chakraborty, Sankardeep; Mukherjee, Anish; Satti, Srinivasa Rao Lecture Notes in Computer Science, Vol.11651, pp.201-212	DOI
2019-12	Multi-Key Homomorphic Encryption from TFHE Chen, Hao; Chillotti, Ilaria; Song, Yongsoo Lecture Notes in Computer Science, Vol.11922 LNCS, pp.446-472	DOI
2020-01	Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems Lee, Wonseok; Jeong, Jaehwan; Park, Seonghyeon; Lee, Changgun Lecture Notes in Computer Science, Vol.11971 LNCS, pp.127-152	DOI
2020-01	Fast multiple pattern cartesian tree matching Gu, Geonmo; Song, Siwoo; Faro, Simone; Lecroq, Thierry; Park, Kunsoo Lecture Notes in Computer Science, Vol.12049 LNCS, pp.107-119	DOI
2020-02	Random walk-based ranking in signed social networks: model and algorithms Jung, Jinhong; Jin, Woojeong; Kang, U. Knowledge and Information Systems, Vol.62 No.2, pp.571-610	DOI
2020-05	Accurate News Recommendation Coalescing Personal and Global Temporal Preferences Koo, Bonhun; Jeon, Hyunsik; Kang, U Lecture Notes in Computer Science, Vol.12084 LNAI, pp.78-90	DOI
2020-12	Maliciously Secure Matrix Multiplication with Applications to Private Deep Learning Chen, Hao; Kim, Miran; Razenshteyn, Ilya; Rotaru, Dragos; Song, Yongsoo; Wagh, Sameer Lecture Notes in Computer Science, Vol.12493, pp.31-59	DOI
2021-01	Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts Chen, Hao; Dai, Wei; Kim, Miran; Song, Yongsoo Lecture Notes in Computer Science, Vol.12726, pp.460-479	DOI
2021-01	Lattice-Based Secure Biometric Authentication for Hamming Distance Cheon, Jung Hee; Kim, Dongwoo; Kim, Duhyeong; Lee, Joohee; Shin, Junbum; Song, Yongsoo Lecture Notes in Computer Science, Vol.13083, pp.653-672	DOI
2021-01	An SMT Encoding of LLVMs Memory Model for Bounded Translation Validation Lee, Juneyoung; Kim, Dongjoo; Hur, Chung Kil; Lopes, Nuno P. Lecture Notes in Computer Science, Vol.12760, pp.752-776	DOI
2021-01	Efficient Homomorphic Conversion Between (Ring) LWE Ciphertexts Chen, Hao; Dai, Wei; Kim, Miran; Song, Yongsoo Lecture Notes in Computer Science, Vol.12726, pp.460-479	DOI
2021-01	Instructional Video Summarization Using Attentive Knowledge Grounding Kim, Kyungho; Lee, Kyungjae; Hwang, Seung-Won Lecture Notes in Computer Science, Vol.12461 LNAI, pp.565-569	DOI
2021-11	Lattice-Based Secure Biometric Authentication for Hamming Distance Cheon, Jung Hee; Kim, Dongwoo; Kim, Duhyeong; Lee, Joohee; Shin, Junbum; Song, Yongsoo Lecture Notes in Computer Science, Vol.13083, pp.653-672	DOI

1 2