posted by user: mpstew || 8366 views || tracked by 28 users: [display]

MEMOCODE 2009 : Seventh ACM-IEEE International Conference on Formal Methods and Models for Codesign

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Formal Methods and Models for Co-Design
 
Link: http://memocode.irisa.fr/
 
When Jul 12, 2009 - Jul 15, 2009
Where Cambridge, MA
Submission Deadline Feb 20, 2009
Notification Due May 8, 2009
Final Version Due May 29, 2009
Categories    architectures   design   systems   modeling
 

Call For Papers

The seventh MEMOCODE conference will gather researchers and
practitioners who create methods, tools, and architectures for
hardware/software systems. Modern design faces increased design
complexities in combination with tightening implementation
constraints. This requires new techniques to create, refine, and
verify hardware/software systems. MEMOCODE seeks submissions that
present novel formal methods and design techniques to address this
design problem. 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.

Related Resources

FM 2024   Formal Methods
ISoIRS 2024   2024 4th International Symposium on Intelligent Robotics and Systems (ISoIRS 2024)
ICFEM 2024   International Conference on Formal Engineering Methods
IJME 2024   International Journal of Microelectronics Engineering
UCC 2024   The IEEE/ACM International Conference on Utility and Cloud Computing
ISDEA 2024   2024 3rd International Conference on Intelligent Systems Design and Engineering Applications (ISDEA 2024)
BDCAT 2024   IEEE/ACM Int’l Conf. on Big Data Computing, Applications, and Technologies
ACM ICCMS 2024   ACM--2024 The 16th International Conference on Computer Modeling and Simulation (ICCMS 2024)
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AIMSA 2024   19th International Conference on Artificial Intelligence: Methodology, Systems, Applications AIMSA 2024