Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.parallel > #340

[ecsi-2] Call for Papers > DATE2013 > TOPIC D1: "System Specifications, Models and Methodologies"

Cross-posted to 2 groups.

Show all headers | View raw

CALL FOR PAPERS DATE 2013

TRACK D: "Design Methods and Tools"
TOPIC D1: "System Specifications, Models and Methodologies"

DESIGN AUTOMATION AND TEST IN EUROPE CONFERENCE
ICC, GRENOBLE, FRANCE
19TH-22ND MARCH 2013
http://www.date-conference.com<http://www.date-conference.com/>
________________________________
DEADLINES
- Paper Submissions           September 9, 2012
- Special Session Proposals   September 9, 2012
- Tutorial Proposals          September 9, 2012
- Notification of Acceptance  November 16, 2012
- Camera-Ready Paper          December 16, 2012
________________________________

QUICK LINKS
- Conference       
http://www.date-conference.com<http://www.date-conference.com/>
- Call for Papers      http://www.date-conference.com/call-for-papers
- Author Instructions
http://www.date-conference.com/submission-instructions

________________________________

The 16th DATE conference and exhibition is the main European event bringing
together designers and design automation users, researchers and vendors, as
well as specialists in the hardware and software design, test and
manufacturing of electronic circuits and systems.

You are invited to submit your research contributions to the Topic D1

               "System Specifications, Models and Methodologies"

which is devoted to:
- modeling and specification methodologies for complex, HW-SW embedded
systems;
- (formal) models of computation and their (static) analysis;
- modeling and analysis of functional and non-functional system properties;
- concurrency models;
- multi-domain/multi-criteria specifications and models;
- application and workload models;
- requirements engineering;
- system-level modeling and simulation of multi- and many-core SoCs;
- transaction level modeling (TLM) and model refinement;
- modeling of system adaptivity;
- system modeling and specification languages;
- model-driven engineering;
- meta-modeling;
- executable specifications;
- specification driven design and validation flows.

Submissions length is limited to 6 pages for oral-presentation papers, and 4
pages for interactive-presentation papers (2 columns, blind submission).

________________________________

TOPIC TECHNICAL COMMITTEE
Topic Chair: Christian Haubelt, University of Erlangen-Nurnberg, Germany
Topic Co-Chair: Dominique Borrione, TIMA, Grenoble, France
Andreas Gerstlauer, University of Texas, USA
Jan Haase, TU Wien, Austria
Leandro Soares Indrusiak, University of York, UK
Wolfgang Mueller, University of Paderborn, Germany
Frank Oppenheimer, OFFIS e. V., Germany
Francois Pecheux, UPMC/LIP6,
France Ingo Sander, Royal Institute of Technology, Sweden
Sander Stuijk,TU Eindhoven, The Netherlands
Eugenio Villar, Universidad de Cantabria, Spain

--------------------------------------------------------------------- To
unsubscribe, e-mail: ecsi-2-unsubscribe@ecsi.org For additional commands,
e-mail: ecsi-2-help@ecsi.org

Back to comp.parallel | Previous | Next | Find similar | Unroll thread

Thread

[ecsi-2] Call for Papers > DATE2013 > TOPIC D1: "System Specifications, Models and Methodologies" "info@ecsi.org" <info@ecsi.org> - 2012-09-11 20:50 +0000

csiph-web