知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
1084-4309
刊名
ACM Transactions on Design Automation of Electronic Systems
参考译名
ACM电子系统自动化设计汇刊
收藏年代
2000~2024
全部
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
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 Verification
CHAO WANG; ZIJIANG YANG; FRANJO IVANCIC; AARTI GUPTA
2007
2007, vol.12, no.2
Transition-Overhead-Aware Voltage Scheduling for Fixed-Priority Real-Time Systems
BREN MOCHOCKI; XIAOBO SHARON HU; GANG QUAN
2007
2007, vol.12, no.2
Prediction of Leakage Power Under Process Uncertainties
HONGLIANG CHANG; SACHIN S. SAPATNEKAR
2007
2007, vol.12, no.2
A Model-Based Extensible Framework for Efficient Application Design Using FPGA
SUMIT MOHANTY; VIKTOR K. PRASANNA
2007
2007, vol.12, no.2
A Predictive Decode Filter Cache for Reducing Power Consumption in Embedded Processors
WEIYU TANG; ARUN KEJARIWAL; ALEXANDER V. VEIDENBAUM; ALEXANDRU NICOLAU
2007
2007, vol.12, no.2
DRDU: A Data Reuse Analysis Technique for Efficient Scratch-Pad Memory Management
ILYA ISSENIN; ERIK BROCKMEYER; MIGUEL MIRANDA; NIKIL DUTT
2007
2007, vol.12, no.2
Low Test Application Time Resource Binding for Behavioral Synthesis
MOHAMMAD HOSSEINABADY; PEJMAN LOTFI-KAMRAN; ZAINALABEDIN NAVABI
2007
2007, vol.12, no.2
A Critical-Path-Aware Partial Gating Approach for Test Power Reduction
MOHAMMED ELSHOUKRY; MOHAMMAD TEHRANIPOOR; C. P. RAVIKUMAR
2007
2007, vol.12, no.2
Forming N-Detection Test Sets Without Test Generation
IRITH POMERANZ; SUDHAKAR M. REDDY
2007
2007, vol.12, no.2
The Exact Channel Density and Compound Design for Generic Universal Switch Blocks
HONGBING FAN; JIPING LIU; YU-LIANG WU; CHAK-CHUNG CHEUNG
2007
2007, vol.12, no.2
制造业外文文献服务平台