期刊


ISSN1084-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

2008, vol.13, no.1 2008, vol.13, no.2 2008, vol.13, no.3 2008, vol.13, no.4

题名作者出版年年卷期
Designing Secure Systems on Reconfigurable HardwareTED HUFFMIRE; BRETT BROTHERTON; NICK CALLEGARI; JONATHAN VALAMEHR; JEFF WHITE; RYAN KASTNER; TIM SHERWOOD20082008, vol.13, no.3
Postplacement Voltage Assignment Under Performance ConstraintsHUAIZHI WU; MARTIN D. F. WONG; WILSIN GOSTI20082008, vol.13, no.3
An Energy Characterization Platform for Memory Devices and Energy-Aware Data Compression for Multilevel-Cell Flash MemoryYONGSOO JOO; YOUNGJIN CHO; DONGHWA SHIN; JAEHYUN PARK; NAEHYUCK CHANG20082008, vol.13, no.3
Multiprocessor Systems Synthesis for Multiple Use-Cases of Multiple Applications on FPGAAKASH KUMAR; SHAKITH FERNANDO; YAJUN HA; BART MESMAN; HENK CORPORAAL20082008, vol.13, no.3
Specification-Driven Directed Test Generation for Validation of Pipelined processorsPRABHAT MISHRA; NIKIL DUTT20082008, vol.13, no.3
A Retargetable Parallel-Programming Framework for MPSoCSEONGNAM KWON; YONGJOO KIM; WOO-CHUL JEUN; SOONHOI HA; YUNHEUNG PAEK20082008, vol.13, no.3
Implementing the Scale Vector-Thread processorRONNY KRASHINSKY; CHRISTOPHER BATTEN; KRSTE ASANOVIC20082008, vol.13, no.3
Reuse and Optimization of Testbenches and Properties in a TLM-to-RTL Design FlowNICOLA BOMBIERI; FRANCO FUMMI; GRAZIANO PRAVADELLI20082008, vol.13, no.3
Automatic Verification of Safety and Liveness for Pipelined Machines Using WEB RefinementPANAGIOTIS MANOLIOS; SUDARSHAN K. SRINIVASAN20082008, vol.13, no.3
Partitioning Parameterized 45-Degree Polygons with Constraint ProgrammingI-LUN TSENG; ADAM POSTULA20082008, vol.13, no.3
12



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