Showing results 1 to 2 of 2
Modular Verification of Preemptive OS Kernels Gotsman, Alexey; Yang, Hongseok, JOURNAL OF FUNCTIONAL PROGRAMMING, v.23, no.4, pp.452 - 514, 2013-07 |
TLB update-hint : a scalable TLB consistency algorithm for CC-NUMA multiprocessors = 케쉬 일관성을 지원하는 NUMA 다중프로세서에서의 확장가능한 TLB 일관성 알고리즘에 관한 연구link Seong, Byeong-Hag; 성병학; et al, 한국과학기술원, 2004 |
Discover