모바일 메뉴 닫기
 
Research

연구

시스템

시스템

연세대학교 컴퓨터과학과에서는 다음과 같이 시스템 컴퓨팅과 관련된 다양한 연구가 진행중입니다. 하단의 연구실 이름을 클릭하시면 관련 연구실에 대한 자세한 내용을 보실 수 있습니다.

 

PRAM 기반 메인 메모리를 위한 HW 어댑터 설계

멀티코어 SoC에서의 3D 그래픽스 성능 향상을 위한 시스템 소프트웨어 연구

스마트폰 기반 실내 위치 추적 기술

스마트폰을 이용한 사용자 모빌리티 추론 기술

클라우드 센싱 기반 사용자 컨텍스트 모니터링 시스템 연구

빅 데이터 처리를 위한 고 신뢰성 내장형 시스템

클라우드 서비스 종류에 커스터마이즈된 액세스 망 배치 기술

신뢰성 보장형 무선 보안 영상 통신

 

 

 

슈퍼 컴퓨팅 연구실
지도교수 Burgstaller, Bernd
이메일 bburg@cs.yonsei.ac.kr
http://elc.yonsei.ac.kr
전화
02-2123-5728
연구분야

Programming language Implementations for Multi-core Architectures

-  New programming language designs for multi-core architectures.
-  Machine aware slicing and scheduling of programs.
-  Multi-core specific performance optimizations.
 
Virtual Execution Environments for Embedded Systems
-  A light-weight and versatile programming environment for C programming language.
-  Mixed-mode execution on the CPU or a virtual machine.
-  Energy-efficient code for embedded systems architectures using extensive static program analyzes.
 
Symbolic Analysis of Programs
-  Complier optimizations and program verification.
-  Effective and unified symbolic analysis framework for parallelizing compilers and software validation tools.