Sciweavers

8278 search results - page 112 / 1656
» Context-Aware Process Networks
Sort
View
PATMOS
2007
Springer
16 years 15 days ago
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations
Amit Goel, Sarvesh Bhardwaj, Praveen Ghanta, Sarma...
TACAS
2007
Springer
67views Algorithms» more  TACAS 2007»
16 years 14 days ago
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu