loading...
병렬처리 프로그래밍 언어를 소개하고 각종 병렬 컴퓨터 구조에 대한 병렬 프로그램의 예, 프로그램 분석 기법, 코드 최적화 기법을 다룬다.
R 교과서
(입문자를 위한) 병렬 프로그래밍
Intel Xeon Phi coprocessor high-performance programming
Logic programming : proceedings of the twelfth International Conference on Logic Programming
컴파일러 =
Programming many-core chips
System modelling and optimization : proceedings of the 15th IFIP conference, Zurich, Switzerland, September 2-6, 1991
Introduction to parallel computing
(오준석의) 플러터 생존코딩 : flutter와 dart 입문부터 안드로이드와 iOS용 3가지 앱 개발까지
컴퓨터 구조론 =
OpenCL 프로그래밍 : 애플, AMD, NVIDIA, 인텔이 선택한 병렬처리의 표준
컴파일러 : 원리, 기법, 도구
Computer architecture and implementation
R 병렬 프로그래밍 : 빠른 데이터 처리를 위한 병렬 프로그래밍의 기초와 고급 라이브러리 활용
Parallel processing for scientific computing
State of the art in computer graphics : visualization and modeling
Second Euromicro Symposium on Microprocessing and Microprogramming, Oct. 12-14, 1976, Venice
Hains, Gaetan; Khmelevsky, Youry · 2014
International Journal of Parallel Programming
Susungi, Adilla; Tadonki, Claude · 2021
ACM Computing Surveys (CSUR)
Kiselev, E. A.; Telegin, P. N.; Baranov, A. V. · 2023
Lobachevskii Journal of Mathematics
Almeida, F.; Vigo-Aguiar, J. · 2013
Journal of Supercomputing
Mahmoud Mohammed Badawy; Hesham A. Ali; M.M. Salem; El-Mahdy M. Ameen · 2017
International Journal of Theoretical Physics
Rodríguez, Gabriel; Martín, María J.; González, Patricia; Touriño, Juan; Doallo, Ramón · 2013
International Journal of Parallel Programming
A. O. Latsis; V. K. Levin · 2014
Mathematical Models and Computer Simulations
Decyk, Viktor K. · 2015
Computing in Science & Engineering, Comput. Sci. Eng.
Wu S.,Dong X.,Zhang X.,Zhu Z. · 2019
Journal of Supercomputing
Zhang W.,He B.,Chen Y.,Zhang Q. · 2019
Multimedia Tools and Applications
Nita, S.; Sari, E.R.N.; Prismatura, O. · 2019
Journal of Physics: Conference Series
Carretero, Jesus; Yang, Laurence T. · 2014
International Journal of Parallel Programming
Gorodnyaya, L. V. · 2024
Automatic Documentation and Mathematical Linguistics
Aho A.,Ullman J. · 2022
Communications of the ACM
신우창 · 2020
The International Journal of Internet, Broadcasting and Communication
Liu, M.; Gu, J.; Guo, Z.; Zhao, T. · 2023
Computer
Amit Tiwari; V. Krishna Nandivada · 2025
ACM Transactions on Architecture and Code Optimization
Y. Maksum; A. Amirli; A. Amangeldi; M. Inkarbekov; Y. Ding; A. Romagnoli; S. Rustamov; B. Akhmetov · 2022
Journal of Industrial Information Integration
Perna, Juan; Woodcock, Jim; Sampaio, Augusto; Iyoda, Juliano · 2011
Acta Informatica
黄治国; 桂浩; 何承达; 王毅; HUANG Zhiguo; GUI Hao; HE Chengda; WANG Yi · 2019
合肥工业大学学报(社会科学版) / Journal of Hefei University of Technology (Social Sciences)
전선 / 대학원
본 과목에서는 효율적인 알고리즘 설계와 프로그래밍을 위한 고급 방법론과 이론을 깊이 있게 소개하고, 다양한 실습을 통하여 해당 이론들을 체득한다. 이 과정에서 공부하는 내용들은 Sorting, Searching 그리고 Graph Theory, NP―Complete 등이며, 알고리즘 설계 방법으로는 Divide―and―Conquer, Dynamic Programming, Greedy, Randomized 그리고 Approximate 알고리즘 등에 관하여 공부한다. 여러 가지 유용한 문제들에 대해 알고리즘을 설계하고 실제 프로그래밍을 통하여 구현해 봄으로서 강의시간에 소개된 이론을 실습하고 시스템 구현에 필요한 노하우를 습득한다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 대학원
컴퓨터를 설계하는 데 필요한 공학적 방법론, 설계기법, 무결함 검증방법, 기술동향, 성능평가 방법을 익힌다. 구체적으로 다루어지는 내용은 파이프라인 형태의 명령어 실행 방법, 명령어 수준의 병렬성, 메모리 계층구조, 입출력 시스템, 다중처리기, GPU 및 가속기 아키텍처 등이다.전선 / 학사
프로그래밍언어의 컴파일러에 대한 기초를 가르친다. 컴퓨터 하드웨어의 디자인을 바탕으로 컴파일러 설계를 이론으로 접근할 것이다. 간단한 컴파일러 디자인의 실습을 바탕으로 컴파일러 설계 기법에 대해 이해할 수 있다.전선 / 대학원
인공지능 분야에서 선택된 최신 연구 주제에 관한 논문들을 세미나 형식으로 진행한다.전선 / 대학원
ATM에 관하여 Physical layer, ATM Layer, ATM Adaptation Layer 각 layer에 관하여 강의를 하며 특히 connectionless service, traffic management, switch에 관하여 심도있는 강의를 한다.전선 / 대학원
이 과목에서는 유닉스 운영체제를 중심으로 운영체제의 내부 구조와 운영체제 분야의 최신 이론을 배운다. 수강생들은 또한 운영체제 관련 다수의 논문을 읽고 발표해야 하며, 운영체제와 연관된 프로젝트를 수행해야 한다. 강좌 내용을 요약하면, 유닉스의 구조와 발전, 운영체제 관련 논문 연구, 프로젝트 수행 등이다.전선 / 학사
고급언어를 어셈블리어로 번역하여 주는 시스템 프로그램인 컴파일러에 관해 배우는 과목으로 컴파일러의 각 단계인 렉시칼분석(lexical analysis), 구문분석(syntax analysis), 의미분석(semantic analysis), 중간코드생성(intermediate code generator), 최적화기법(optimization technique), 목적코드생성(object code generation) 등에 대하여 배우며 미니 컴파일러를 직접 구성해 봄으로써 컴파일러의 구성과 작동원리를 이해하게 된다. 선수 과목으로는 프로그래밍어론, 컴퓨터시스템 개론이 요구된다.전선 / 대학원
프로그래밍 언어 이론 및 응용기술의 기초를 강의한다. 프로그래밍 언어 의미구조, 요약해석, 타입시스템, 컴파일러 검증 및 검산, 자동증명 검증기, 프로그램 증명, 프로그램 정적분석 등을 다룬다.전선 / 대학원
본 과목은 집담회 형식의 세미나 과목으로 컴퓨터공학 대학원 수준의 다양한 연구 분야와 최근 동향을 소개한다.전선 / 대학원
컴파일러최적화연구는 컴파일러 구성의 중요 논문과 최신 연구를 의논한다. 이과목을 수강하려면 학부 컴파일러 수업에서 배운 컴파일러 구현에 관한 기본 지식이 필요하다.전선 / 대학원
본 과목에서는 기계공학에서 응용되는 여러 가지 수학적 해석기법을 다룬다. 학사과정의 공학수학 1 및 2에서 학습한 방법들을 보다 정도를 높여 대학원 수준에서 기계공학에서의 실제 문제와 연관하여 학습한다.전선 / 대학원
선형시스템의 최적추정자인 칼만필터를 기본으로 하여 모델의 불확실성을 고려한 적응필터 및 강인필터, 계산량을 줄이기 위한 슈미트필터, 다양한 측정치에 대한 내고장을 높이기 위한 분산필터를 소개한다. 또한 비선형 모델에 대한 확장칼만필터를 기반으로 최근에 많은 연구가 되고 있는 무향 칼만필터 (Unscented Kalman Filter)에 대한 특성을 분석한다. 마지막으로 상태변수가 정규분포를 가지지 않을 때 최적의 필터로 최근에 각광을 받고있는 다양한 입자필터 (Particle Filter)를 소개한다. 수업에서 소개된 필터는 INS/GPS 결합시스템과 레이더 추적문제에 적용한다.전선 / 대학원
본 교과목에서는 세 파트를 학습한다: (1) 그래픽스 기본이론, (2) OpenGL과 그의 Extensions, (3) GPU를 사용한 병렬컴퓨팅. 그래픽스 기본이론과 OpenGL의 교육은 약 1.5개월 동안 동시에 진행되며 강체의 관절 애니메이션 프로그래밍이 실습과제로 주어진다. OpenGL의 Extension은 약 2주 정도에 걸쳐 학습이 진행되며 이 extension을 사용한 shading이 실습과제로 주어진다. GPU를 사용한 병렬컴퓨팅은 약 1개월 동안 학습되며 대형행렬의 곱, FFT 등의 계산 프로젝트가 실습과제로 주어진다.전선 / 대학원
프로그래밍 언어분야의 이론 및 응용기술의 기초와 첨단 연구를 다룬다. 프로그래밍 언어는 나날이 상위의 수준으로 올라 가고 있고, 소프트웨어 개발을 돕는 도구들은 엄밀한 논리의 정교한 지능을 가지고 프로그래머들을 편하게 할 것이다. 이러한 미래를 가능하게 하는 연구를 다룬다. 프로그래밍 언어 의미구조, 프로그램 정적분석 및 검증, 프로그램 합성, 프로그래밍 논리, 분석도구, 검증도구, 프로그래밍 환경도구 등을 다룬다.전선 / 대학원
이 강의에서는 프로그램 분석 기술의 이론과 실제를 강의한다. 프로그램 분석 기술은 주어진 컴퓨터 소프트웨어가 실행중에 어떤 성질을 가지는 지를 실행하기 전에 미리 자동으로 엄밀하게 확인하는 기술이다. 이 기술은 무결점 소프트웨어 개발, 소프트웨어 실행비용 최적화, 소프트웨어 관리 및 이해 등을 위한 자동화 환경의 핵심기술이 된다. 다루는 토픽은, 프로그램 분석의 가장 강력한 틀로 인정받는 요약해석 기술의 이론과 응용, 프로그래밍 언어의 타입 시스템, 집합 제약식을 이용한 분석, 모델검증 등이다.전선 / 대학원
정보화 사회의 도래와 함께 이동 통신의 중요성은 나날이 증대되고 있다. 본 과목에서는 이러한 흐름에 발맞추어 이동 통신의 기반이 되는 물리계층 과 상위계층을 이해하는데 목적을 둔다. 본 과목에서는 디지털 통신의 기초에서 출발하여, 무선 통신 환경의 특징을 알아보고, 2,3 세대 통신의 기본이 되는 CDMA를 통해 다중 사용자 환경을 이해해본다. 나아가 이동 통신의 용량 확장과 성능 개선을 위하여 많은 가능성을 가지고 있는 다중 안테나 시스템, 스마트 안테나 시스템, 무선 자원 관리 등을 다루게 된다.전선 / 학사
프로그래밍 언어론에 대한 전반적인 이해를 높이고, 다양한 프로그래밍 언어를 익힌다. 이를 위해 프로그래밍 언어의 개념, 설계이론, 구현 방법에 대해 공부한다.전선 / 대학원
본 과목은 데이터사이언스를 위해 고성능 컴퓨팅(high-performance computing, HPC) 시스템을 사용하는 방법을 배운다. 본 교과목의 전반부는 (1) 순차 컴퓨터 시스템의 구조와 동작원리를 배워 시스템 프로그래밍 능력을 배양하며, (2) Process management, CPU scheduling, 네트워크의 기초 등 Linux 시스템의 전반적인 동작원리를 배운다. 강좌의 중반부에서는 (1) 병렬처리 시스템의 구조와 동작원리를 배운 뒤, (2) 병렬화, 최적화 기법 등을 다루며, (3) 딥 러닝 시스템에 대한 최적화 기법 등을 다룬다. 본 교과목의 후반부에서는 (1) 병렬처리 시스템을 프로그래밍하는 다양한 방법들 중 OpenMP, MPI, OpenCL, CUDA 로 병렬처리 시스템을 프로그래밍하는 방법을 배우며, 마지막으로 (2) Spark와 같은 distributed processing platform 및 (3) Dockers와 Kubernetes와 같은 virtualization에 대하여 다룬다.전선 / 대학원
항공기 및 인공위성에서 사용되는 항공전자 시스템의 기본적인 원리를 소개한다. 비행제어 컴퓨터와 다양한 입출력시스템과의 인터페이스를 위한 데이터 버스 시스템으로부터 자이로와 가속도계를 이용하는 관성항법시스템, 위성항법시스템, 속도계, 비행제어시스템 등의 다양한 시스템 레벨의 항공전자에 대한 기본 원리 및 알고리즘을 이해하고, 이를 바탕으로 실험 데이터를 통하여 실제 항법시스템을 분석하도록 한다.