Sciweavers

8278 search results - page 112 / 1656
» Context-Aware Process Networks
Sort
View
PATMOS
2007
Springer
16 years 1 months 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 1 months ago
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State Processes
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu