First Page | Document Content | |
---|---|---|
Date: 2006-09-01 15:45:37Concurrency control Subroutines X86 instructions Digital electronics Interrupt handler Interrupt latency Reentrancy Interrupt Scheduling Computer architecture Interrupts Computing | Thread Verification vs. Interrupt Verification John Regehr School of Computing University of Utah ABSTRACTAdd to Reading ListSource URL: www.cs.utah.eduDownload Document from Source WebsiteFile Size: 79,55 KBShare Document on Facebook |