Search for persons
X
?
Proceedings of the Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. ,
4
Panel: Nano-computing - do we need new formal approaches ?:
, In:
?
Proceedings of the 16th annual international symposium on Computer architecture ,
5
Inexpensive implementations of set-associativity:
, In:
?