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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Detecting First Races using Trace and Replay for Parallel Programs with Random Synchronization
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.7 2014.07 pp.13-22
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Configuration Tool for ARINC 653 Operating Systems
보안공학연구지원센터(IJMUE) International Journal of Multimedia and Ubiquitous Engineering Vol.9 No.4 2014.04 pp.73-84
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
First Race Detection in Parallel Program with Random Synchronization using Trace Information
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.7 No.5 2013.09 pp.65-76
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Dynamic Detection of Accesses for First Races in Parallel Programs with Random Synchronization
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.7 No.2 2013.03 pp.157-170
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Testing and Debugging Concurrency Bugs in Event-Driven Programs
보안공학연구지원센터(IJAST) International Journal of Advanced Science and Technology Vol.40 2012.03 pp.55-68
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
A Tool for Space-Efficient On-the-fly Race Detection
보안공학연구지원센터(IJDTA) International Journal of Database Theory and Application Vol.4 No.3 2011.09 pp.25-38
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
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
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-