Case Study on Message Races in Data Distribution Service Programs
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.3 2016.03 pp.95-106
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.2 2016.02 pp.65-76
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
AR653 : Dynamic Detection Tool for Atomicity Races in ARINC 653 Applications
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.10 No.1 2016.01 pp.201-212
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Visualization Tool for Debugging Data Races in Structured Fork-join Parallel Programs
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.4 2014.04 pp.157-168
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.9 No.4 2014.04 pp.199-208
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Configuration Tool for ARINC 653 Operating Systems
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.9 No.4 2014.04 pp.73-84
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
On-the-fly Race Detection for Structured Fork-join Parallel Programs
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.4 2014.04 pp.11-22
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
A Framework for On-the-fly Race Healing in ARINC-653 Applications
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.4 No.2 2011.04 pp.1-12
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling
보안공학연구지원센터(IJUNESST) International Journal of u- and e- Service, Science and Technology vol.4 no.1 2011.03 pp.21-36
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Improving Information Service for Earthquake Using Rapid ShakeMap
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.26 No.5 2021 pp.95-101
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.25 No.12 2020 pp.25-34
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Development of Livestock Monitoring Device based on Biosensors for Preventing Livestock Diseases
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.21 No.10 2016 pp.91-98
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-