中文簡(jiǎn)介

ACM計(jì)算系統(tǒng)新興技術(shù)期刊(JETC)邀請(qǐng)?zhí)峤幻枋鲇?jì)算系統(tǒng)新興技術(shù)的研究和開發(fā)的原始技術(shù)論文。預(yù)計(jì)主要的經(jīng)濟(jì)和技術(shù)挑戰(zhàn)將阻礙半導(dǎo)體器件的繼續(xù)擴(kuò)大。這導(dǎo)致了對(duì)替代機(jī)械、生物/生化、納米電子、異步和量子計(jì)算以及傳感器技術(shù)的研究。隨著基礎(chǔ)納米技術(shù)在化學(xué)家、物理學(xué)家和生物學(xué)家的實(shí)驗(yàn)室中不斷發(fā)展，計(jì)算機(jī)科學(xué)家和工程師必須將這些實(shí)驗(yàn)室中出現(xiàn)的基本構(gòu)件(類似于晶體管)的潛力轉(zhuǎn)化為信息系統(tǒng)。他們的設(shè)計(jì)將會(huì)面臨多重挑戰(zhàn),從固有的可靠性(聯(lián)合國(guó))由于自組裝納米技術(shù)的制造過程的本質(zhì),從復(fù)雜性由于大量納米器件必須集成對(duì)于復(fù)雜的功能,和需要整合這些新納米技術(shù)與硅設(shè)備在同一系統(tǒng)。該雜志全面涵蓋了由新興技術(shù)和先進(jìn)半導(dǎo)體構(gòu)建的計(jì)算系統(tǒng)的規(guī)范、設(shè)計(jì)分析、仿真、驗(yàn)證、測(cè)試和評(píng)估方面的創(chuàng)新工作。同樣令人感興趣的還有綠色和可持續(xù)計(jì)算系統(tǒng)設(shè)計(jì)方面的創(chuàng)新，以及生物技術(shù)新興領(lǐng)域的計(jì)算驅(qū)動(dòng)解決方案。主題包括但不限于：邏輯原語(yǔ)設(shè)計(jì)與合成：如何從新的納米技術(shù)中設(shè)計(jì)計(jì)算邏輯原語(yǔ)，以及支持其有效設(shè)計(jì)與驗(yàn)證的設(shè)計(jì)工具，系統(tǒng)級(jí)規(guī)范、設(shè)計(jì)和綜合：如何互連這些計(jì)算原語(yǔ)來構(gòu)建完整的信息系統(tǒng)，以及用于指定、綜合和驗(yàn)證這些系統(tǒng)的設(shè)計(jì)工具，軟件級(jí)規(guī)范、設(shè)計(jì)和綜合：如何開發(fā)必要的軟件，使應(yīng)用程序能夠有效地映射到使用這些新納米技術(shù)實(shí)現(xiàn)的信息系統(tǒng)，以及生成和驗(yàn)證軟件的工具混合技術(shù)系統(tǒng)：如何跨可能共存于同一信息系統(tǒng)中的潛在混合納米技術(shù)進(jìn)行接口。

英文簡(jiǎn)介

The ACM Journal on Emerging Technologies in Computing Systems (JETC) invites submissions of original technical papers describing research and development in emerging technologies in computing systems. Major economic and technical challenges are expected to impede the continued scaling of semiconductor devices. This has resulted in the search for alternate mechanical, biological/biochemical, nanoscale electronic, asynchronous and quantum computing, and sensor technologies. As the underlying nanotechnologies continue to evolve in the labs of chemists, physicists, and biologists, it has become imperative for computer scientists and engineers to translate the potential of the basic building blocks (analogous to the transistor) emerging from these labs into information systems. Their design will face multiple challenges ranging from the inherent (un)reliability due to the self-assembly nature of the fabrication processes for nanotechnologies, from the complexity due to the sheer volume of nanodevices that will have to be integrated for complex functionality, and from the need to integrate these new nanotechnologies with silicon devices in the same system. The journal provides comprehensive coverage of innovative work in the specification, design analysis, simulation, verification, testing, and evaluation of computing systems constructed out of emerging technologies and advanced semiconductors. Also of interest are innovations in system design for green and sustainable computing, and computing-driven solutions to emerging areas in biotechnology. Topics include, but are not limited to:Logic Primitive Design and Synthesis: how to design computational logic primitives from the new nanotechnologies, and design tools supporting their effective design and verification,System-Level Specification, Design and Synthesis: how to interconnect these computational primitives to build complete information systems, and design tools for specifying, synthesizing, and verifying such systems,Software-Level Specification, Design and Synthesis: how to develop the necessary software so that applications can be effectively mapped onto information systems implemented using these new nanotechnologies, and tools for generating and verifying the software, andMixed-Technology Systems: how to interface across potentially hybrid nanotechnologies that may co-exist in the same information system.