ACSD 2014 - 14th International Conference on Application of Concurrency to System Design

Conference Scope
Design methods, tools and techniques based on models of computation and concurrency: data-flow models, communicating automata, Petri nets, process algebras, graph rewriting, state charts, MSCs, etc.
Graph transformations as an elementary model of concurrency and many applications; logics for concurrency (e.g., modal and temporal logics).
High-performance and massively parallel architectures: many-core processors, Systems and Networks on Chip, dataflow architectures.
Hard real-time & embedded systems: concurrency, security and safety-critical issues.
Concurrency issues in ad-hoc, mobile and wireless networking, wireless sensor networks, and communication protocols.
Synchronous and asynchronous circuit design, globally asynchronous locally synchronous systems, interface design, multi-clock systems, functional and timing verification.
High-scalability system design: load balancing, network & memory management, power proportionality, decentralised control, cloud and swarm computing.
Resource management: task and communication scheduling, resource, memory and power management, fault-tolerance and Quality of Service.
Business process modelling, simulation and verification, (distributed) workflow execution, business process (de-)composition, inter-organisational and heterogeneous workflow systems, computer-supported collaborative work systems, web services.
Software engineering for concurrent systems: languages, verification, synthesis, and cross-layer optimisation.
Compositional design and modelling of concurrent systems, modular synthesis and analysis, distributed simulation and implementation, distributed control, adaptive systems, supervisory control.
Hardware/software co-design, platform-based design, component-based design, energy-aware design, refinement techniques, har dware/software abstractions, co-simulation and verification.
(Industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio-)medical applications, internet and grid computing, etc.
Systems of systems (e.g., cyber-physical systems, ambient systems): design, verification and deployment.
Software and hardware memory models, DRAM scheduling, cache coherency, memory-aware algorithms.
Paper Submissions
ACSD seeks papers describing original work which has not been previously published and is not under review for publication elsewhere. All files must be prepared using the latest IEEE Conference Publishing Services (CPS) conference proceedings guidelines for 8.5" x 11" two-column format. The page limit for regular papers is 10 pages.
In addition to regular submissions, described above, there will be a tools section.
Tool paper submissions are limited to 6 pages. They will be presented at the conference in an interactive session.
Conference proceedings will be published by the IEEE Xplore Digital Library.
Authors of accepted papers are expected to present their papers at the conference, and will be required to sign the IEEE copyright release forms.
Selected papers will be invited for publication (in extended and revised form) in a journal special issue.
All papers should be submitted via EasyChair:
https://www.easychair.org/conferences/?conf=acsd20....
Contact e-mail: acsd2014-AT-cnam.fr