Unsubscribe: https://lists.cs.columbia.edu/cucslists/listinfo/memocode Unsubscribe: <mailto:[email protected]>
ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign MEMOCODE 2012 http://www.memocode-conference.com Arlington, Virginia July 16-18, 2012 The goal of MEMOCODE 2012, the tenth in a series of successful international conferences, is to gather researchers and practitioners in the field of the design of modern hardware and software system to explore ways in which future design methods can benefit from new results on formal methods. IMPORTANT DATES Abstract submission deadline: March 9, 2012 (extended) Paper submission deadline: March 16, 2012 (extended) Notification of acceptance: May 4, 2012 Final Version for Papers: May 18, 2012 Hardware-software 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. 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. PROCEEDINGS Conference proceedings will be published by the IEEE Computer Society. SUBMISSION 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. Poster submissions should consist of an abstract of at most 250 words. The abstract will be distributed to the conference attendants but will not be published. Note that the poster deadline is different from the paper deadline. SUBMISSION WEBSITE: http://www.easychair.org/conferences/?conf=memocode2012 DESIGN COMPETITION MEMOCODE will again have a design contest. This year's problem for the design contest is part of the DNA sequence alignment problem: exact substring matching. The challenge is to efficiently locate millions of 100-base-pair short read sequences in a 3-million-base-pair reference genome. Good solutions will combine judicious algorithm design with carefully designed data-handling architecture. The contest starts March 1, 2012. The deadline for submission is April 1st, 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 monetary award (each of the two categories was awarded a $1000 prize in 2010). Each team delivering 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. Please refer to the website for more information and updates. SPONSORS: IEEE CEDA, IEEE CAS, ACM SIGBED, and ACM SIGDA. ORGANIZING COMMITTEE General Chair Sandeep Shukla (Virginia Tech) Program Chairs Luca Carloni (Columbia) Daniel Kroening (Oxford) Design Contest Chair Stephen A. Edwards (Columbia) Finance Chair James Hoe (CMU) Publication Chair Jens Brandt (TU Kaiserslautern) PROGRAM COMMITTEE Roderick Bloem (Graz) Luca Carloni (Columbia) Abhijit Davare (Intel) Robert de Simone (INRIA) Stephen A. Edwards (Columbia) Franco Fummi (Verona) Thierry Gautier (INRIA) Alain Girault (INRIA) David Greaves (Cambridge) Daniel Grosse (Bremen) Connie Heitmeyer (NRL) Franjo Ivancic (NEC Labs) Barbara Jobstmann (CNRS) Michael Kishinevsky (Intel) Christoph Kirsch (Salzburg) Daniel Kroening (Oxford) Luciano Lavagno (Torino) Elizabeth Leonard (NRL) John O'Leary (Intel) Philip Ruemmer (Uppsala) Klaus Schneider (Kaiserslautern) Satnam Singh (Google) Jean-Pierre Talpin (INRIA) Michael Theobald (D. E. Shaw) Shobha Vasudevan (UIUC) Thomas Wahl (Northeastern) Fei Xie (Portland) Qi Zhu (UC Riverside) STEERING COMMITTEE Arvind (MIT) Masahiro Fujita (University Tokyo) Rajesh Gupta (UC San Diego) Connie Heitmeyer (NRL) James Hoe (CMU) Sandeep Shukla (Virginia Tech) Jean-Pierre Talpin (INRIA) _______________________________________________ Memocode mailing list [email protected] ------------------------------------------------------------------------------ Virtualization & Cloud Management Using Capacity Planning Cloud computing makes use of virtualization - but cloud computing also focuses on allowing computing to be delivered as a service. http://www.accelacomm.com/jaw/sfnl/114/51521223/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
