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