A|B|C|D|E|F|G|H|I|J|K|L|M|N|O|P|Q|R|S|T|U|V|W|X|Y|Z|ALL

  检 索： 期刊名称 ISSN         高级检索

期刊名称：ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS ISSN： 1084-4309 出版频率： Quarterly 出版社： ASSOC COMPUTING MACHINERY, 1515 BROADWAY, NEW YORK, NY, 10036   出版社网址： http://www.acm.org/ 期刊网址： http://www.acm.org/todaes/ 影响因子： 0.848(2008) 主题范畴： COMPUTER SCIENCE, HARDWARE & ARCHITECTURE;    COMPUTER SCIENCE, SOFTWARE ENGINEERING 期刊简介(About the journal)    投稿须知(Instructions to Authors)    编辑部信息(Editorial Board)    About the journal The Transactions on Design Automation of Electronic Systems (TODAES) is part of the family of journals produced by the ACM, the First Society in Computing. NOTE: Starting in 1998, published issues which are available on the ACM Digital Library Server will not be available here. Only accepted papers as electronic pre-prints will be here. You will have to have a subscription to access published issues. The ACM Transactions on Design Automation of Electronic Systems (TODAES) publishes recent significant results of research and development efforts in the area of design automation of electronic systems. (See the Editorial Charter for further details.) The journal will provide a comprehensive coverage of innovative works concerning the specification, design, analysis, simulation, testing, and evaluation of very large scale integrated electronic systems, emphasizing a computer science/engineering orientation. Topics include, but are not limited to: System Design: Hardware description languages, design systems and databases, embedded systems, hardware/software co-design High-Level Synthesis: Datapath/control synthesis and optimization Logic Synthesis: Sequential and combinational synthesis and optimization, technology mapping Physical Layout: Module generation, partitioning, floorplanning, placement, routing, compaction, layout verification Design Verification: Formal methods, emulation, simulation, electrical and timing analysis System Reliability: Fault tolerance, testing and test patterns generation, design for testability High Performance Circuits: High frequency, low power, analog and mixed-signal circuits Instructions to Authors   Types of Papers TODAES will publish research papers (approximately 10-15 printed pages each), tutorial and survey papers (approximately 20-30 printed pages each), and short technical notes (no more than 5 printed pages each). Prior Publication Policy The technical contributions appearing in ACM journals are normally original papers which have not been published elsewhere. Widely disseminated conference proceedings and newsletters are a form of publication, although they are usually only semiarchival and often unrefereed. Publication, or republication, of a (perhaps revised) paper which has been widely disseminated is permitted only if the editor judges that (a) the revision contains significant amplification or clarification of the original material or (b) there is a significant additional benefit to be gained from journal publication. In either case, any prior appearance should be noted on the title page of the paper. Manuscript Preparation Authors are required to prepare and submit their manuscripts electronically. This facilitates both a quicker editorial review process as well as facilitating electronic publication of accepted papers. While ACM admits a wide variety of formats for the electronic submission of accepted papers, the emerging technologies which support electronic publishing currently force us to impose some restrictions on submission for both review and final acceptance of manuscripts. Therefore for purposes of editorial review, TODAES permits electronic submissions only in PDF or PostScript format. While it is not a requirement, for both privacy and efficiency, authors are encouraged to send their PDF or PostScript files via email as uuencoded gzipped PostScript. TODAES authors should familiarize themselves with the ACM accepted manuscript preparation guidelines. Since these guidelines are in a state of transition with regard to electronic publication, the guidelines here take precedence whenever there is a conflict. Authors preparing manuscripts in Latex should (for now) use the Proposed JACM Article Formats style. We will soon have our own style guides which addresses more of the specific needs for electronic publishing. Please see Formatting Documents For Electronic Publication below. To ensure proper indexing, classification, retrieval and dissemination, authors must include the following in the manuscript. Descriptive title Author names and affiliations Abstract Content indicators Citations to relevant literature The following serve as guidelines for the preparation of this material. Descriptive Title Select a title that accurately and clearly tells what the paper is about. Choose title terms as highly specific as content and emphasis of the paper permit. Avoid special symbols and formulas in titles unless essential to indicate content. Avoid cute or clever titles. Author Names and Affiliations Authors' names should be given without titles or degrees along with the name and address of the organization for which the work was carried out. A footnote on the first page should acknowledge funding sources and presentations, if any, of the material at technical meetings (give dates and sponsoring societies). The author's current address should be given in a footnote on the first page. Abstract The abstract should be from 150 to 200 words long and consist of short, direct, and complete sentences. It should be informative enough to serve in some cases as a substitute for reading the paper itself. It should state the objectives of the work, summarize the results, and give the principle conclusions. The title need not be repeated. Work planned but not done should not be described in the abstract. Because abstracts are extracted and used separately, do not use the first person, do not display mathematics, and do not use citation reference numbers. Try to avoid starting with the words "This paper ..." Content Indicators Three types of content indicators must be assigned: (1) categories and subject descriptors, (2) general terms, (3) keywords and phrases. The first two items are selected from the Computing Reviews Classification Scheme published in the January 1991 issue of Computing Reviews. Select as many of these as may be applicable. The keywords and phrases are additional English language words that indicate the content of the submission. They should not be synonymous with those already in the classification system : they can be more specific in relation to the paper than the subject descriptors, or they may not be covered by the existing system at all. The following guidelines may be helpful. Use important terms from the title; include their synonyms, related words and words of higher or lower generic rank. Use English nouns, or noun-noun and noun-adjective combinations; do not use hyphens except if the hyphenated parts are always treated as a single unit. Use specific terms whose meanings are generally accepted; do not use broad catchall terms (such as "computer", "automatic", "machine", "system", "discussion", "description"); do not use private terms or acronyms that may not be generally known. Do not use negative terms stressing what your paper does not do. Citations References to items in periodicals: These should take the form: author, title, journal, volume, number, date, pages. For authors, last names are given first, even for multiple authors; likewise for editors, with the name followed by (Ed.). The author's name always ends with a period, either the period which follows his initial, or a period for the purpose. The title has only the first word and proper names (or their derivatives) starting with capital letters, and it ends with a period. The date is given in parentheses. Example: 3. Jenkins, M. A., and Traub, J. F. Principles for testing zerofinding programs. ACM Trans. Math. Soft. 1, 1 (March 1975), 26-34. References to reports or proceedings: Author(s) name(s) and title (same style as above), report number, source including date and pages. References to books: Author(s) -- same style as in periodicals. Title -- all principal words start with a capital letter, and is set in italics. Include publisher, city, and year. Page or chapter references follow the year. Sequence: In the reference list, entries must be arranged alphabetically according to authors' or editors' names, or publishing organizations for items to which no names can be attached. References are to be numbered in the list, and the numbers are then cited in the text. Accuracy: Authors are responsible for checking that all information in the references is correct. Completeness: Include any and all information necessary for finding the work referenced. It is better to include more than enough information than too little information. Submission for Editorial Review How to Submit In order to ensure timely review and facilitate electronic publication, manuscripts must be submitted as PDF or PostScript files either via electronic mail to: todaes@cse.psu.edu or on the web at http://manuscriptcentral.com Please note, if you don't have an account at ACM Manuscript Central you will need to create an account before you can log in and submit to Transactions on Design Automation of Electronic Systems. The Editor-in-Chief can also be reached at: TODAES Mary Jane Irwin, Editor-in-Chief Department of Computer Science & Engineering The Pennsylvania State University 220 Pond Lab University Park, PA 16802 USA tel: +1-814-865-1802 fax: +1-814-865-3176 e-mail: mji@cse.psu.edu Each submission must include a PDF or PostScript file for the complete manuscript and an ASCII file containing title, abstract, authors, and contact information for the corresponding author of the manuscript. The files should be named xxxxxxxx.ps and xxxxxxxx.asc where xxxxxxxx is a 5 to 8 character string from the last name of the corresponding author. Review Process Details of the review process are currently under revision by the Editorial Board. In general, the process follows the same guidelines as the other ACM Journal publications: Submitted papers are evaluated by anonymous referees for originality, relevance, and presentation. The author will be notified of the name of an associate editor who will be responsible for the processing of the manuscript, and is expected to keep this editor informed of any change of address. Revisions requested by the associate editor should be returned directly to that editor. After the refereeing process is complete, the associate editor makes a recommendation for acceptance or rejection to the Editor-in-Chief, who makes the final decision on publication. Procedures for Accepted Papers How to Submit Copyright and Use Agreement Authors whose papers are accepted sign a form which either transfers copyright to the ACM or declares that the paper is part of government work. Authors retain liberal rights to material published by the ACM. The following is the standard copyright notice used by ACM journals : Copyright ?199x by the Association for Computing Machinery, Inc. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or direct commercial advantage and that copies show this notice on the first page or initial screen of a display along with the full citation. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission and/or a fee. Permissions may be requested from Publications Dept, ACM Inc., 1515 Broadway, New York, NY 10036 USA, fax +1 (212) 869-0481, or permissions@acm.org. Further details can be found in the ACM Interim Copyright Policies and the Author's Guide to ACM Interim Copyright Policies which appeared in the April 1995 issue of the Communications of the ACM. Page Charges At this time, rates and policies for page charges have not been set. Formatting Documents For Submission & Electronic Publication Please read and observe the official ACM Copyright Policy, which is part of the the official ACM Publications Plan. We are currently developing information for authors to prepare their manuscripts so that they will have a consistent and appealing look as PostScript documents on the server. Guidelines for preparing your paper for publication can be found at ACM accepted manuscript preparation guidelines. More detailed instructions for electronic publication are being developed, and will be located here. At the very least, it is essential that the ACM copyright be included on the first page of your final PostScript document.   Editorial Board Editorial Charter The TODAES editorial board invites submission of technical papers describing recent results of research and development efforts in the area of design automation of electronic systems. The journal intends to provide a comprehensive coverage of innovative works concerning the specification, design, analysis, simulation, testing, and evaluation of very large scale integrated electronic systems, emphasizing a computer science/engineering orientation. Topics include, but are not limited to: System Design: Hardware description languages, design systems and databases, embedded systems, hardware/software co-design High-Level Synthesis: Datapath/control synthesis and optimization Logic Synthesis: Sequential and combinational synthesis and optimization, technology mapping Physical Layout: Module generation, partitioning, floorplanning, placement, routing, compaction, layout verification Design Verification: Formal methods, emulation, simulation, electrical and timing analysis System Reliability: Fault tolerance, testing and test patterns generation, design for testability High Performance Circuits: High frequency, low power, analog and mixed-signal circuits TODAES will publish research papers (approximately 10-15 printed pages each), tutorial and survey papers (approximately 20-30 printed pages each), and short technical notes (no more than 5 printed pages each). TODAES will utilize state-of-art electronic publishing and communication technology for its distribution in three formats, hardcopy (quarterly, approximately 400 printed pages per year), electronic distribution via an Internet server (upon acceptance of final manuscript), and CD-ROM (yearly, cumulative for each five year period). Continual evolution of the distribution formats are expected as technology progresses. Potential authors should consult the Information for Authors. Authors and readers are both encouraged to peruse the TODAES World Wide Web (WWW) pages for related information, including current articles. These pages can be reached through the ACM WWW pages at http://www.acm.org/pubs/todaes Editor-in-Chief Mary Jane Irwin Department of Computer Science & Engineering The Pennsylvania State University 220 Pond Lab University Park, PA 16802 USA tel: +1-814-865-1802 fax: +1-814-865-3176 e-mail: mji@cse.psu.edu Associate Editors Francky Catthoor Chief Scientist IMEC Kapeldreef 75 B-3001 Leuven BELGIUM tel: +32-1628-1202 fax: +32-1628-1515 email: catthoor@imec.be Areas of interest: System Design Jason Jingsheng Cong Computer Science Department University of California, Los Angles 4711 Boelter Hall Los Angeles, CA 90024 USA tel: +1-310-206-2775 fax: +1-310-825-2273 e-mail: todaes@cs.ucla.edu e-mail: cong@cs.ucla.edu Areas of interest: Physical Layout Nikil Dutt Center for Embedded Computer Systems 444 CS University of California at Irvine Irvine, CA 92697-3425 USA tel: +1-949-824-7219 fax: +1-949-824-7219 email: dutt@uci.edu Areas of interest: System Design, High-Level Synthesis Steven German IBM T.J. Watson Research Center P.O. Box 218 Yorktown Heights, NY 10598 USA tel: +1-914-945-3795 fax: +1-914-945-4469 e-mail: german@watson.ibm.com Areas of interest: Design Verification TingTing Hwang Department of Computer Science Tsing Hua University Hsin-Chu 300 TAIWAN tel: +886-3-5715131 ext 3540 or 1001 fax: +886-3-5723694 email: tingting@cs.nthu.edu.tw Areas of interest: Logic Synthesis William H. Joyner, Jr. Semiconductor Research Corporation PO Box 12053 Research Triangle Park, NC 27709 USA tel: +1-919-941-9472 fax: +1-919-941-9450 e-mail: joyner@src.org Areas of interest: Design Verification, Logic Synthesis Steve Levitan Department of Electrical Engineering 348 Benedum Engineering Hall University of Pittsburgh Pittsburgh, PA 15261 USA tel: +1-412-648-9663 sec: +1-412-624-8000 fax: +1-412-624-8003 e-mail: steve@ee.pitt.edu Areas of interest: System Design, High-Level Synthesis, High Performance Circuits Enrico Macii Politecnico di Torino Dip. di Automatica e Informatica Corso Duca degli Abruzzi 24 10129 Torino ITALY tel: +39-011-564-7074 fax: +39-011-564-7099 e-mail: enrico@athena.polito.it Areas of interest: System Design, Logic Synthesis Massoud Pedram University of Southern California Dept. of EE-Systems Room 344, EE Building 3740 McClintock Avenue Los Angeles CA 90089-2562 USA tel: (213) 740-4458 fax: (213) 740-7290 e-mail: massoud@zugros.usc.edu Areas of interest: Logic Synthesis, High Performance Circuits Irith Pomeranz School of Electrical and Computer Engineering 1285 EE Building Purdue University West Lafayette, IN 47907-1285 USA tel: +1-765-494-3357 fax: +1-765-494-3371 email: pomeranz@ecn.purdue.edu Area of interest: System Reliability Shishpal Rawat Intel Corporation Microporcessor Products Group FM5-108 1900 Prairie City Road Folsom, CA 95630 tel: +1-916-356-6639 fax: +1-916-356-4838 email: shishpal.s.rawat@intel.com Area of interest: System Reliability Majid Sarrafzadeh Computer Science Department University of California, Los Angles Los Angeles, CA 90095-1596 USA tel: +1-310-794-4303 email: majid@cs.ucla.edu Area of interest: System Design Logic Synthesis Physical Layout Martin D. F. Wong University of Illinois at Urbana-Champaign Department of Electrical and Computer Engineering 409 Coordinated Science Laboratory 1308 West Main Street Urbana, IL 61801 USA tel: +1-217-244-1729 fax: +1-217-244-1946 Email: mdfwong@uiuc.edu email: mdfwong@uiuc.edu Area of interest: Physical Layout