Dynamic Verification of Memory Consi

Dynamic Verification of Memory Consistency in Cache-Coherent Multithreaded Computer Architectures

ผลลัพธ์ (ไทย) 1:

Verification ไดนามิกของความสอดคล้องของหน่วยความจำในคอมพิวเตอร์ให้แค Coherent สถาปัตยกรรม

ผลลัพธ์ (ไทย) 2:

แบบไดนามิกไอออนบวกไฟ Veri ของความสอดคล้องในหน่วยความจำแคชสอดคล้องกันแบบมัลติเธรดสถาปัตยกรรมคอมพิวเตอร์

ผลลัพธ์ (ไทย) 3:

แบบไดนามิกที่มีความสอดคล้องในการถ่ายทอดความจำแคชคอมพิวเตอร์สถาปัตยกรรม
ติดต่อกันหลายเธรด