First ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'2003)

Event Detail

General Information
Dates:
Tuesday, June 24, 2003 - Thursday, June 26, 2003
Days of Week:
Tuesday
Wednesday
Thursday
Target Audience:
Academic and Practice
Location:
IEEE Mont Saint-Michel, France
Sponsor:
Event Details/Other Comments:

High-level design and modeling of hardware and embedded hardware-software systems has gained prominence in the face of rising technological complexities and performances, as well as shortened time to market demands for complex electronic equipments. Numerous programming languages, tools and frameworks have been proposed in the past to design, simulate and validate heterogeneous systems within an abstract and rigorously defined mathematical model.
Recently, attention has shifted to modeling frameworks based on variants of general purpose programming languages, in response to the growing industry demand for use of higher levels of abstraction in the system design process. Meanwhile, the installed base of existing IP adds further requirements for the adaptation of existing IPs with new services within complex integrated architectures, calling for appropriate methodological approaches.