Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
Taming the IXP network processor
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
ACM SIGPLAN Notices
Hi-index | 0.00 |