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 30 of 30

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
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
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
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-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
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-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-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
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-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-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
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-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-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
2022	RoboCup@Home 2021 Domestic Standard Platform League Winner Song, DongWoon; Kang, Taewoong; Yi, Jaebong; Kim, Joonyoung; Kim, Taeyang; Lee, Chung-Yeon; Ryu, Je-Hwan; Kim, Minji; Jo, HyunJun; Zhang, Byoung-Tak; Song, Jae-bok; Yi, Seung-Joon Lecture Notes in Computer Science, Vol.13132, pp.289-299	DOI
2022-01	Understanding the stability of deep control policies for biped locomotion Park, Hwangpil; Yu, Ri; Lee, Yoonsang; Lee, Kyungho; Lee, Jehee Visual Computer	DOI
2022-08	Graph-based PU learning for binary and multiclass classification without class prior Yoo, Jaemin; Kim, Junghun; Yoon, Hoyoung; Kim, Geonsoo; Jang, Changwon; Kang, U. Knowledge and Information Systems, Vol.64 No.8, pp.2141-2169	DOI