Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
ACSD 2015 - 15th International Conference on Application of Concurrency to System Design
Topics/Call fo Papers
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.
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.
Other CFPs
Last modified: 2014-09-25 22:59:05