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

期刊


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

题名作者出版年年卷期
Introduction to Special Section on Verification Challenges in the Concurrent WorldSANDIP RAY; JAYANTA BHADRA; MAGDY S. ABADIR; LI-C. WANG; AARTI GUPTA20122012, vol.17, no.3
Towards the Formal Verification of Cache Coherency at the Architectural LevelFREEK VERBEEK; JULIEN SCHMALTZ20122012, vol.17, no.3
A Full Lifecycle Performance Verification Methodology for Multicore Systems-on-ChipJIM HOLT; JAIDEEP DASTIDAR; DAVID LINDBERG; JOHN PAPE; PENG YANG20122012, vol.17, no.3
Deterministic Replay for Message-Passing-Based Concurrent ProgramsMOHAMED ELWAKIL; ZIJIANG YANG20122012, vol.17, no.3
Verification and Coverage of Message Passing Multicore ApplicationsETEM DENIZ; ALPER SEN; JIM HOLT20122012, vol.17, no.3
Directed Test Generation for Validation of Multicore ArchitecturesXIAOKE QIN; PRABHAT MISHRA20122012, vol.17, no.3
Targeted Random Test Generation for Power-Aware Multicore DesignsPADMARAJ SINGH; VIJAYKRISHNAN NARAYANAN; DAVID L. LANDIS20122012, vol.17, no.3
A3MAP: Architecture-Aware Analytic Mapping for Networks-on-ChipWOOYOUNG JANG; DAVID Z. PAN20122012, vol.17, no.3
Postscheduling Buffer Management Trade-Offs in Streaming Software SynthesisMOHAMMAD H. FOROOZANNEJAD; TREVOR HODGES; MATIN HASHEMI; SOHEIL GHIASI20122012, vol.17, no.3
An ILP Solution to Address Code Generation for Embedded Applications on Digital Signal ProcessorsHASSAN SALAMY; J. RAMANUJAM20122012, vol.17, no.3
12



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