Sign for Notice Everyday    Sign Up| Sign In| Link| English|
Home Post Event 2025Event 2026Event By Topic By Country Contact

Our Sponsors


    MEMOCODE 2012 - ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign

    View: 3220

    Website memocode.irisa.fr | Want to Edit it Edit Freely

    Category MEMOCODE 2012

    Deadline: March 09, 2012 | Date: July 16, 2012-July 18, 2012

    Venue/Country: Arlington, U.S.A

    Updated: 2012-01-05 15:47:52 (GMT+9)

    Call For Papers - CFP

    The tenth MEMOCODE conference will attract researchers and practitioners who create methods, tools, and architectures for the design of hardware/software systems. These systems face increasing design complexity including tighter constraints on timing, power, costs, and reliability. MEMOCODE seeks submissions that present novel formal methods and design techniques addressing these issues to create, refine, and verify hardware/software systems. We also invite application-oriented papers, and especially encourage submissions that highlight the design perspective of formal methods and models, including success stories and demonstrations of hardware/software codesign. Furthermore, we invite poster presentations describing ongoing work with promising preliminary results.

    IMPORTANT DATES

    Abstract submission deadline: March 2, 2012

    Paper submission deadline: March 9, 2012

    Notification of acceptance: May 4, 2012

    Final Version for Papers: May 18, 2012

    TOPICS

    Topics of interest for regular submissions include but are not limited to

    system and transaction-level modeling and verification, abstraction and refinement between different modeling levels, formal, semi-formal, and specification-driven verification,

    design and verification methods for composition of concurrent systems: multi-core platform architectures, systems-on-chip, networks-on-chip,

    formal methods and tools for hardware and software verification including theorem proving, decision procedures,

    non-traditional and domain-specific design languages for hardware and software, novel models of computation, and new design paradigms that unify hardware and software design,

    system-level estimation of performance and power in heterogeneous hardware/software architectures,

    applications and demonstrators of formal design methodologies and case studies of innovative system-level design flows,

    modeling and reuse of intellectual property at system-level, and design abstraction and high-level design demonstrating productivity and quality in generating and validating RTL and software.

    SUBMISSIONS

    Submissions of research and experience papers will only be accepted through the conference website. Papers must not exceed 10 pages and must be formatted following IEEE Computer Society guidelines. Submissions must be written in English, describe original work, and not substantially overlap papers that have been published or are being submitted to a journal or another conference with published proceedings

    SUBMISSION WEBSITE: http://www.easychair.org/conferences/?conf=memocode2012

    DESIGN CONTEST

    MEMOCODE 2012 will have a design contest. The contest will start March 1, 2012. The deadline for submission is 31 March 2012 and the notification of the results is on May 13, 2012. The conference will sponsor at least two prize categories, each with a significant cash award. In past editions we awarded a $1000 prize in each of the two categories. Each team that submits a complete and working entry will be invited to submit for review a 2-page abstract for the formal conference proceedings and present a poster at the conference; winning teams will be invited to contribute a 4-page short paper and present their work at the conference. Each team submitting a completed and working entry will also receive a commemorative plaque with their name and results. Please refer to the website for more information and updates.

    PROCEEDINGS

    Conference proceedings will be published by the IEEE Computer Society.

    Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
    Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.