X86 Assembly
Writing Boot Loader with GAS in AT&T X86 Assembly Dennis Chen.
Software Lesson #2 CS1313 Spring 2014 1 Software Lesson 2 Outline 1.Software Lesson 2 Outline 2.Languages 3.Ingredients of a Language 4.Kinds of Languages.
downey08semaphores.pdf
Taint analysis
Operating System Development
CPS3340 Computer Architecture Fall Semester, 2013
Model Checking for Embedded Systems Edmund Clarke, CMU High-Confidence Embedded Systems Workshop, May 1 st.
The Small Book of Semaphores