posted by user: berean97 || 1479 views || tracked by 3 users: [display]

CODES+ISSS 2009 : International Conference on Hardware-Software Codesign and System Synthesis

FacebookTwitterLinkedInGoogle

Link: http://esweek09.inrialpes.fr/conferences/codesisss/index.shtml
 
When Oct 11, 2009 - Oct 16, 2009
Where Grenoble, France
Submission Deadline May 1, 2009
Notification Due Jul 31, 2009
Final Version Due Aug 9, 2009
 

Call For Papers

Call for Paper
The IEEE/ACM/IFIP International Conference on Hardware-Software
Codesign and System Synthesis is one of the premier events in design
of embedded systems hardware, software, and tools. The conference
proudly continues the tradition of being a high-quality forum for active
discussion on current and innovative topics. The program will bring
together the latest in academic and industrial research and
development. High-quality original papers will be accepted for oral
presentation followed by interactive poster sessions. Selected papers
from the conference proceedings will be targeted for journal
publication.


Areas of Interest
The Conference invites papers on all aspects of the design and
architecture of embedded computing systems, from application specific
to heterogeneous systems, from custom to FPGA implementations, from
handheld to high-performance systems. Topics of interest include, but
are not limited to:
1) High-level, architectural and system-level synthesis
Synthesis algorithms and tools, integration and design flow, specification
and modeling, design representation, partitioning, estimation.
2) Hardware-software co-design
Co-design methodologies, interaction between architecture and software
design, HW/SW partitioning, design space exploration, HW/SW interface.
3) Specification languages and models
System-level models and semantics, requirements engineering, formal
properties, heterogeneous systems and components, design flow.
4) Simulation and verification
Hardware-software co-simulation, verification methodology, formal
verification, HW acceleration, test methodology, design for testability
5) Power-aware design methodology
Power and performance modeling, analysis and estimation techniques,
power management approaches, low-power design methodologies
6) Embedded systems architecture
Architecture optimization, application-specific architectures, memory
and communication architecture exploration, architecture optimization
7) Embedded software
Compilers, memory management, virtual machines, scheduling, poweraware
OS, real-time support and middleware. multi- and manycore,
multiprocessor programming models for SoCs and NoCs, profiling
techniques and trace generation
8) Application-specific architectures and algorithms
Application-specific processor architectures and tools, hardware
accelerators and/or processors for network, media and security
applications, reconfigurable processors.
9) Industrial practices and case studies and emerging
techniques
Design experiences of high interest to the community. Applications of
new state-of-the-art methodologies and tools to real-life problems in
various application areas: e.g. wireless, networking, multimedia,
automotive, medical systems and sensor networks. New challenges for
next generation embedded computing systems, arising from increased
heterogeneity, new technologies or new applications.
10) Multiprocessors and MPSoC
Multi- and many-core systems for embedded and general purpose
application, design space exploration, MPSoC.
11) Network-on-chip
On-chip communication architectures and protocols, switching, routers
and communications space exploration.

Related Resources

CODES+ISSS 2022   International Conference on Hardware/Software Codesign and System Synthesis
SASIMI 2022   The 24th Workshop on Synthesis And System Integration of Mixed Information technologies
ASYDE 2022   Automated and verifiable Software sYstem DEvelopment
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
ICSE 2023   45th International Conference on Software Engineering
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
LOPSTR 2022   32nd International Symposium on Logic-Based Program Synthesis and Transformation
SANER 2023   The 30th IEEE International Conference on Software Analysis, Evolution and Reengineering
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
ISMSI 2023   2023 7th International Conference on Intelligent Systems, Metaheuristics & Swarm Intelligence