posted by user: mpstew || 4853 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

DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
DIS 2019   Designing Interactive Systems Conference 2019
IEEE Mobile Cloud 2019   The Seventh IEEE International Conference on Mobile Cloud Computing, Services, and Engineering
ECDMO--EI Compendex, Scopus 2019   2019 3rd European Conference on Design, Modeling and Optimization (ECDMO 2019)--EI Compendex, Scopus
SIGIR 2019   International ACM SIGIR Conference on Research and Development in Information Retrieval
FAIML 2019   2019 International Conference on Frontiers of Artificial Intelligence and Machine Learning (FAIML 2019)
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
IJICS 2018   International Journal of Instrumentation and Control Systems
KDD 2019   25TH ACM SIGKDD CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING
SmartComp 2019   5th IEEE International Conference on Smart Computing