长垣产业园区科技文献服务平台

期刊


ISSN1084-4309
刊名ACM Transactions on Design Automation of Electronic Systems
参考译名ACM电子系统自动化设计汇刊
收藏年代2000～2023



全部

2000 2001 2002 2003 2004 2005
2006 2007 2008 2009 2010 2011
2012 2013 2014 2015 2016 2017
2018 2019 2020 2021 2022 2023

2007, vol.12, no.1 2007, vol.12, no.2 2007, vol.12, no.3 2007, vol.12, no.4

题名作者出版年年卷期
Disjunctive Image Computation for Software VerificationCHAO WANG; ZIJIANG YANG; FRANJO IVANCIC; AARTI GUPTA20072007, vol.12, no.2
Transition-Overhead-Aware Voltage Scheduling for Fixed-Priority Real-Time SystemsBREN MOCHOCKI; XIAOBO SHARON HU; GANG QUAN20072007, vol.12, no.2
Prediction of Leakage Power Under Process UncertaintiesHONGLIANG CHANG; SACHIN S. SAPATNEKAR20072007, vol.12, no.2
A Model-Based Extensible Framework for Efficient Application Design Using FPGASUMIT MOHANTY; VIKTOR K. PRASANNA20072007, vol.12, no.2
A Predictive Decode Filter Cache for Reducing Power Consumption in Embedded ProcessorsWEIYU TANG; ARUN KEJARIWAL; ALEXANDER V. VEIDENBAUM; ALEXANDRU NICOLAU20072007, vol.12, no.2
DRDU: A Data Reuse Analysis Technique for Efficient Scratch-Pad Memory ManagementILYA ISSENIN; ERIK BROCKMEYER; MIGUEL MIRANDA; NIKIL DUTT20072007, vol.12, no.2
Low Test Application Time Resource Binding for Behavioral SynthesisMOHAMMAD HOSSEINABADY; PEJMAN LOTFI-KAMRAN; ZAINALABEDIN NAVABI20072007, vol.12, no.2
A Critical-Path-Aware Partial Gating Approach for Test Power ReductionMOHAMMED ELSHOUKRY; MOHAMMAD TEHRANIPOOR; C. P. RAVIKUMAR20072007, vol.12, no.2
Forming N-Detection Test Sets Without Test GenerationIRITH POMERANZ; SUDHAKAR M. REDDY20072007, vol.12, no.2
The Exact Channel Density and Compound Design for Generic Universal Switch BlocksHONGBING FAN; JIPING LIU; YU-LIANG WU; CHAK-CHUNG CHEUNG20072007, vol.12, no.2



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  机械工业信息研究院 2018-2024