← Back to Users
bit13's activity in the archive.
PC World has a decent summary of Intel Remote Wake Technology.http://www.pcworld.com/article/149863/2008/08/.html
Then there's also the actual Intel sitehttp://www.intel.com/technology/chipset/remotewake.htm
Wait for Code Complete 2 -- should be out in June.
I finished a class recently that concentrated on using Z for formal modeling. The two professors published a reasonably interesting paper (for Z) on a thread safe X Windows C library binding to the X protocol. X meets Z: Verifying correctness in the presence of POSIX Threads
Slashdot Mirror
PC World has a decent summary of Intel Remote Wake Technology.
http://www.pcworld.com/article/149863/2008/08/.html
Then there's also the actual Intel site
http://www.intel.com/technology/chipset/remotewake.htm
Wait for Code Complete 2 -- should be out in June.
I finished a class recently that concentrated on using Z for formal modeling. The two professors published a reasonably interesting paper (for Z) on a thread safe X Windows C library binding to the X protocol.
X meets Z: Verifying correctness in the presence of POSIX Threads