Sciweavers

25908 search results - page 332 / 5182
» Predictable Network Computing
Sort
View
128
Voted
SLIP
2003
ACM
16 years 15 days ago
Understanding metrics in logic synthesis for routability enhancement
Victor N. Kravets, Prabhakar Kudva
DSN
2002
IEEE
16 years 6 days ago
Formal Development of an Embedded Verifier for Java Card Byte Code
Ludovic Casset, Lilian Burdy, Antoine Requet