Thursday, 31 December 2009

Proof-Carrying Code

...and now to something completely different: my brother's girlfriend is working on an interesting topic: applying proof-carrying code to hardware. Her paper is available here.

Some other related resources:

Update: Corrected the PDF link to Stephanie's paper

Posted by Jürgen Pabel on 31 December 2009 at 11:57
Responses (0)
« First  « Prev   1 2 3 4 5   Next »  Last »
« December »
MonTueWedThuFriSatSun
 123456
78910111213
14151617181920
21222324252627
28293031