Sciweavers

20813 search results - page 102 / 4163
» Introduction to Computer Networking
Sort
View
76
Voted
SLIP
2003
ACM
15 years 7 months ago
Understanding metrics in logic synthesis for routability enhancement
Victor N. Kravets, Prabhakar Kudva
DSN
2002
IEEE
15 years 7 months ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet