posted by user: mpstew || 4858 views || tracked by 9 users: [display]

CORCS 2008 : 1SST IEEE International Workshop on Component-Based Design of Resource-Constrained Systems

FacebookTwitterLinkedInGoogle

Link: http://conferences.computer.org/compsac/2008/workshops/CORCS2008.html
 
When Jul 28, 2008 - Aug 1, 2008
Where Turku, Finland
Submission Deadline Mar 1, 2008
Notification Due Apr 7, 2008
Categories    embedded systems   real-time   software
 

Call For Papers

Aims and Scope
--------------
The aim of this workshop is to discuss but also advance the state-of-the-art, research and development in the area of resource constrained systems, and to promote the study of both fundamental and practical aspects of component based design of such systems.
Accepted papers will be published in the workshop proceedings of COMPSAC 2008, by the IEEE Computer Society Press.

Any submission whose content is relevant to the area of resource constrained system design will be considered, but submission whose subject matter is related to one of the following topics will be particularly welcome:

* models for software components and component interaction:
real-time, safety-critical, embedded, or mobile systems
* specification of extra-functional properties of components
* resource models
* formal techniques for verification and validation of
component software: model-checking, abstraction,
refinement, code synthesis, testing, monitoring, debugging,
model extraction
* compositional theories
* execution platform mechanisms
* scheduling and resource management
* componentization of legacy code
* impact analysis
* service oriented architectures
* certification of components and software architectures
* applications, experience reports and case studies in
component software
* system-on-chip (SoC)/networks-on-chip (NoC)/multiprocessor
system-on-chip (MPSoC) component-based design
* component-driven hardware-software co-design


Related Resources

IEEE ICSRS 2025   IEEE--2025 The 9th International Conference on System Reliability and Safety (ICSRS 2025)
MathSJ 2025   Applied Mathematics and Sciences: An International Journal
EOOLT 2025   EOOLT 2025: 10th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools
IJESA 2025   International Journal of Embedded Systems and Applications
ISORC 2025   International Symposium on Real-Time Distributed Computing
BDML 2025   6th International Conference on Big Data and Machine Learning
IEEE CRC 2025   IEEE--2025 10th International Conference on Control, Robotics and Cybernetics (CRC 2025)
EEIJ 2025   Electrical Engineering: An International Journal
IEEE ACIRS 2025   IEEE--2025 10th Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2025)
VLSIE 2025   6th International Conference on VLSI & Embedded Systems