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

期刊


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

2012, vol.17, no.1 2012, vol.17, no.2 2012, vol.17, no.3 2012, vol.17, no.4

题名作者出版年年卷期
MCEmu: A Framework for Software Development and Performance Analysis of Multicore SystemsCHIA-HENG TU; SHIH-HAO HUNG; TUNG-CHIEH TSAI20122012, vol.17, no.4
Formal Verification and Debugging of Precise Interrupts on High Performance MicroprocessorsBIJAN ALIZADEH20122012, vol.17, no.4
Synchronizing AMS Assertions with AMS Simulation: From Theory to PracticeSUBHANKAR MUKHERJEE; PALLAB DASGUPTA; SIDDHARTHA MUKHOPADHYAY; SCOTT LITTLE; JOHN HAVLICEK; SRIKANTH CHANDRASEKARAN20122012, vol.17, no.4
Resource Sharing of Pipelined Custom Hardware Extension for Energy-Efficient Application-Specific Instruction Set Processor DesignHAI LIN; YUNSI FEI20122012, vol.17, no.4
A Hardware/Software Cooperative Custom Register Binding Approach for Register Spill Elimination in Application-Specific Instruction Set ProcessorsHAI LIN; TIANSI HU; YUNSI FEI20122012, vol.17, no.4
Buffer Optimization and Dispatching Scheme for Embedded Systems with Behavioral TransparencyAN-PING WANG; JIWON HAHN; MAHSHID ROUMI; PAI H. CHOU20122012, vol.17, no.4
An Algorithm for Jointly Optimizing Quantization and Multiple Constant MultiplicationMATTHEW B. GATELY; MARK B. YEARY; CHOON YIK TANG20122012, vol.17, no.4
Synthesis of Adaptable Hybrid Adders for Area Optimization under Timing ConstraintYONGHWAN KIM; SANGHOON KWAK; TAEWHAN KIM20122012, vol.17, no.4
The Synthesis of Cyclic Dependencies with Boolean SatisfiabilityJOHN D. BACKES; MARC D. RIEDEL20122012, vol.17, no.4
Static NBTI Reduction Using Internal Node ControlDAVID R. BILD; ROBERT P. DICK; GREGORY E. BOK20122012, vol.17, no.4
12