Multiprocessor Systems-on-Chips (The Morgan Kaufmann Series in Systems on Silicon)Wolf and Jerraya have struck a delicate balance in the presentation of a specialized body of knowledge that is highly detailed and topic-specific, yet sufficiently wide-ranging to reflect the overall concept of an MPSOC as the next logical step in integrated complex system design. The text provides an eminently accessible and practical view of the... | | Formal Models of Operating System KernelsThe work that this book represents is something I have wanted to do since 1979. While in Ireland, probably in 2001, I sketched some parts of a small operating system specification in Z but left it because of other duties. In 2002, I worked on the sketches again but was interrupted. Finally, in April, 2005, I decided to devote some time to it and... | | |