The Model Checking View to Clock Gating and Operand Isolation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla. The Model Checking View to Clock Gating and Operand Isolation. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 181-190, IEEE Computer Society, 2010. [doi]

Identified as Jens Brandt This author has not been identified. Look up 'Klaus Schneider' in GoogleThis author has not been identified. Look up 'Sumit Ahuja' in GoogleThis author has not been identified. Look up 'Sandeep K. Shukla' in Google

runs on WebDSL