Sciweavers

9176 search results - page 75 / 1836
» algorithms 2010
Sort
View
ACSD
2010
IEEE
238views Hardware» more  ACSD 2010»
13 years 9 months ago
An Asynchronous Routing Algorithm for Clos Networks
Wei Song, Doug Edwards
CAV
2010
Springer
143views Hardware» more  CAV 2010»
13 years 9 months ago
Jtlv: A Framework for Developing Verification Algorithms
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck