Sciweavers

9176 search results - page 75 / 1836
» algorithms 2010
Sort
View
72
Voted
ASPDAC
2010
ACM
110views Hardware» more  ASPDAC 2010»
15 years 18 days ago
A fast heuristic scheduling algorithm for periodic ConcurrenC models
Weiwei Chen, Rainer Dömer
101
Voted
CAV
2010
Springer
143views Hardware» more  CAV 2010»
15 years 17 days ago
Jtlv: A Framework for Developing Verification Algorithms
Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck