[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for chapter of Ebook: Multicore Hardware-Software Designand Verification Techniques

Dear Colleagues:


Our apologies if you receive multiple copies of this CFC.

Please share this announcement with those who may be interested.

We would be most grateful.


Thank you,

Pao-Ann Hsiung, Yean-Ru Chen and Chao-Sheng Lin


Multicore Hardware-Software Design and Verification Techniques




The surge of multicore processors coming into the market and on users’ desktops has made parallel computing the focus of attention once again! At this focal point of urgency and immaturity, this e-book is being put forward as a platform for immediate collection of state-of-the-art technologies in both hardware and software designs for multicore computing. It will be of immense help to system and software engineers, including both experts and non-experts in parallel computing because this e-book will be a singular source of reference to the state-of-the-art techniques in multicore processor design and software programming that covers multiple application domains. 



The pervasion of multicore processors in the computing systems has created an urgent need for the accumulation of research results and best practices related to the design and verification of multicore hardware and software. With this goal in mind, this e-book is intended to be a reference work or a textbook for both the undergraduate and graduate students and the engineers working in the industry. Chapter contributions that are self-contained are invited on any related topics, which include, but are not limited, to the following.


n   Multicore Processor Architecture Design

n   Multicore System Software Design

n   Performance Estimation Methods and Tools for Multicore Systems

n   Power Estimation and Power Saving for Multicore Systems

n   Modeling and Verification Methods for Multicore Systems

n   Electronic System Level Design Techniques for Multicore Systems


Important Dates

Chapter submission deadline: Nov. 15, 2009

First notification date: Jan. 15, 2010

Revised version submission deadline: Feb. 28, 2010

Final notification: March 15, 2010


Chapter Format

For more detailed information, please check


I.           The title should be precise and brief and must not be more than 120 characters. The title should be all caps with font size of 14 pt bold. Authors should avoid the use of non-standard abbreviations. The title must be written in little case except for chapters, conjunctions and preconditions. Authors should also provide a short ‘running title’.

II.        The abstract should not exceed 250 words and it should condense the essential features of the chapter, with the focus on the major advances in the field. 10 pt letter should be used for the text in the abstract.

III.     HEADINGS: The typeset version of the chapter differentiates between different levels of heading by use of spacing, centering/ranging left, varying type size, italicization, emboldening, etc. While preparing a chapter the authors should ensure that various levels of heading are clearly distinguishable. This can be achieved by either using typographical differences such as bold, italic, bold+italic etc., or by numbering the headings. As a general guide, headings should be numbered only when this is necessary for cross-referencing but use only one of the two approaches throughout the eBook. The headings should follow a logical hierarchy. Five is considered the maximum number of levels of heading.

IV.     TEXT: The chapter should be written in English in a clear, direct and active style. All pages must be numbered sequentially, facilitating in the reviewing and editing of the chapter. The style of the chapter must be uniform throughout the text and 12 pt Times New Roman fonts should be used. The full term for an abbreviation should precede its first appearance in the text unless it is a standard unit of measurement. The reference numbers should be given in square brackets in the text. Italics should be used for Binomial names of organisms (Genus and Species), for emphasis and for unfamiliar words or phrases. Non-assimilated words from Latin or other languages should also be italicized e.g. per se, et al. etc.

V.        GREEK SYMBOLS AND SPECIAL CHARACTERS: Greek symbols and special characters often undergo formatting changes and get corrupted or lost during preparation of chapter for publication. To ensure that all special characters used are embedded in the text, these special characters should be inserted as a symbol but should not be a result of any format styling (Symbol font face) otherwise they will be lost during conversion to PDF/XML.

VI.     Chemical equations, chemical names, mathematical usage, unit of measurements, chemical and physical quantity & units must conform to SI and Chemical Abstracts or IUPAC.

VII.  LIST OF ABBREVIATIONS: If abbreviations are used in the text either they should be defined in the text where first used, or a list of abbreviations can be provided.


If you have any questions or concerns, please do not hesitate to contact us. We appreciate your consideration of this invitation and hope to hear from you soon!


Pao-Ann Hsiung,

Department of Computer Science and Information Engineering,

National Chung Cheng University, Taiwan





Yean-Ru Chen,

Graduate Institute of Electronic Engineering, 

National Taiwan University, Taiwan





Chao-Sheng Lin,

Department of Computer Science and Information Engineering,

National Chung Cheng University, Taiwan