维普中文期刊产品整合服务
25篇 您的检索式:作者名="Devadas S K"
    题名 作者 年代 出处 被引量
1OCCOM:Efficient computation of observability-based code coverage metrics for functional verification显示文摘FALLAH F DEVADAS S KEUTZER K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
2Storage assignment to decrease code size 显示文摘Liao S Devadas S Keutzer K 1996ACM Transactions on Programming Languages and Systems1996,18,3:1
3Stressed to de- ath : implication of lymphocyte apoptosis for psychoneuroimmunology 显示文摘SHI Y DEVADAS S GREENELTCH K M 2003Brain Behav Immun2003,17,1:1
4Computation of floating mod delay in combinational circuits:theory and algorithms显示文摘Devadas S Keutzer K Malik S 1993IEEE Transaction on Computer Aided Design1993,12,12:1
5Computation of Floating Mode Delay in Combinational Circuits:Theory and Algorithms显示文摘Devadas S Keutzer K Malik S 1993IEEE Transactions on Computer Aided Design1993,12,12:1
6H-gallosilicate(MFI) propane aromatization catalyst: Influence of Si/Ga ratio on acidity, activity and deactivation due to coking显示文摘CHOUDHARY V R KINAGE A K SIVADINARAYANA C DEVADAS P SANSARE S D GUISNET M 1996J Catal1996,158,1:1
7Identification of XM- RV infection-associated microRNAs in four cell types in culture 显示文摘Mohan K V Devadas K Sainath Rao S 2012PLoS One2012,7,32:1
8Estimation of Average Switching Activity in Combinational and Sequential Circuits显示文摘Ghosh A Devadas S Keutzer K 1992IEEE/ACM Design Automation Conference1992,40,:1
9OCCOM-efficient computation of observability-based code coverage metrics for functional verification显示文摘Fallah F Devadas S Keutzer K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
10Code density optimization for embedded DSP processors using data compression techniques 显示文摘LIAO S Y DEVADAS S KEUTZER K 1998IEEE Transactions on Computer-Aided Design of Integrated Circuits Systems1998,17,7:1
11Functional vector generation for HDL models using linear programming and Boolean satisfiability显示文摘Fallah F Devadas S Keutzer K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
12Functional vector generation for HDL models using linear programming and Boolean satisfiability 显示文摘Fallah F Devadas S Keutzer K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
13Storage Assignment to Decrease Code Size显示文摘Liao S Devadas S Keutzer K 1996ACM Transactions on Programming Languages and Systems1996,18,3:1
14OCCOM:efficient computation of observability-based code coverage metrics for functional verification显示文摘Fallah F Devadas S Keutzer K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
15OCCOM-efficient Computation of Observability-based Code Coverage Metrics for Functional Verification显示文摘Fallah F Devadas S Keutzer K 2001Computer-aided Design of Integrated Circuits and Systems2001,20,8:1
16The Arabidopsis gain-offunction mutant dll spontaneously develops lesions mimic king cell death associated with disease显示文摘Pilloff R K Devadas S K Enyedi A Raina R 2002The Plant journal2002,30,:1
17Validatable Nonrobust Delay-Fault Testable Circuits via Logic Synthesis 显示文摘 K Keutzer 1992IEEE Trans on Computer-Aided Design1992,11,12:1
18The Arabidopsis hrll mutation reveals novel overlapping roles for salicylic acid, jasmonic acid and ethylene signaling in cell death and defenee against pathogens 显示文摘Devadas S K Enyedi A Raina R 2002The Plant journal2002,30,:1
19Human CD4+ cells transfected with IL-16 cDNA are resistant to HIV-1 infection: inhibition of mRNA expression显示文摘ZHOU P GOLDSTEIN S DEVADAS K 1997Nat Med1997,,6:1
20OCCOM-efficient computation of observability -based code coverage metrics for functional verification显示文摘Fallah F Devadas S Keutzer K 2001IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems2001,20,8:1
返回顶部 每页显示:
共2页 首页 上一页 第1页 下一页 末页 /2 跳转

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1 渝公网安备 50019002500403号 违法和不良信息举报中心

互联网出版许可证 新出网证(渝)字10号 全国400电话 - 免长途话费