Minsoo Ryu
YOU?
Author Swipe
View article: Hybrid Transactional/Analytical Processing Amplifies IO in LSM-Trees
Hybrid Transactional/Analytical Processing Amplifies IO in LSM-Trees Open
The log-structured merge tree (LSM-tree) has become an essential component in many key-value systems and expanded its scope to full-fledged database engines (e.g., MyRocks). In the database landscape, vendors face growing customer demands …
View article: Concordia: A Streamlined Consensus Protocol for Blockchain Networks
Concordia: A Streamlined Consensus Protocol for Blockchain Networks Open
In this paper, we present a novel Byzantine fault-tolerant consensus protocol for sharded blockchain networks that does not rely on expensive leader-driven communication. The proposed protocol selects a single block proposer at a time and …
View article: A Blockchain Protocol for Deferred Contract Validation and Parallel Execution
A Blockchain Protocol for Deferred Contract Validation and Parallel Execution Open
기존의 블록체인에서는 긴 실행시간을 필요로 하는 스마트 컨트랙트의 실행을 지원하지 못한다. 이는 스마트 컨트랙트를 실행 · 검증하는 작업이 후속 블록이 생성되기 전에 완료되어야 하기 때문이다. 이러한 제약으로 인해 대부분의 블록체인에서는 트랜잭션의 처리시간을 직접적으로 제한하거나 가스(gas) 한도 등을 두어 처리시간을 간접적으로 제한하는 방법을 사용한다. 본 논문에서는 실행시간이 긴 스마트 컨트랙트의 실행 · 검증을 지원하…
View article: Debugging Nondeterministic Failures in Linux Programs through Replay Analysis
Debugging Nondeterministic Failures in Linux Programs through Replay Analysis Open
Reproducing a failure is the first and most important step in debugging because it enables us to understand the failure and track down its source. However, many programs are susceptible to nondeterministic failures that are hard to reprodu…
View article: Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder
Verification of an Ad-hoc Serial Communication Protocol through Model-checking: A Case Study with Echo Sounder Open
Serial data transmission accounts for a considerable share of the overall communication involved in real-time embedded systems.Although there are some standard serial protocols, many systems still use ad-hoc serial protocols for communicat…
View article: Best Speed Fit EDF Scheduling for Performance Asymmetric Multiprocessors
Best Speed Fit EDF Scheduling for Performance Asymmetric Multiprocessors Open
In order to improve the performance of a real‐time system, asymmetric multiprocessors have been proposed. The benefits of improved system performance and reduced power consumption from such architectures cannot be fully exploited unless su…
View article: Fine-Motion Estimation Using Ego/Exo-Cameras
Fine-Motion Estimation Using Ego/Exo-Cameras Open
Robust motion estimation for human computer interactions played an important role in a novel method of interaction with electronic devices. Existing pose estimation using a monocular camera employs either ego-motion or exo-motion, both of …
View article: Analyzing topological characteristics of the Korean blogosphere
Analyzing topological characteristics of the Korean blogosphere Open
Due to their popularity and widespread use, blogs have become an important medium through which many people communicate and exchange information on the World Wide Web (WWW). The blogosphere has provided many opportunities for individuals a…