ACSD 2014
Date: Jun 23, 2014 7:00 am – Jun 27, 2014 5:00 pm
Location: Tunis, Tunisia
14th International Conference on
Application of Concurrency to System Design (ACSD 2014)
ACSD 2014 is Technically Co-Sponsored by IEEE Computer Society
VENUE
ACSD 2014 will take place in Tunis (Tunisia) from June 23 to
June 27, 2014, and will be co-located with Petri Nets 2014.
You can get more information here:
http://acsd2014.cnam.fr/
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, hardware/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.
STEERING COMMITTEE
Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Jörg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland
Submitted by Anonymous
on
14th International Conference on
Application of Concurrency to System Design (ACSD 2014)
ACSD 2014 is Technically Co-Sponsored by IEEE Computer Society
VENUE
ACSD 2014 will take place in Tunis (Tunisia) from June 23 to
June 27, 2014, and will be co-located with Petri Nets 2014.
You can get more information here:
http://acsd2014.cnam.fr/
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, hardware/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.
STEERING COMMITTEE
Alex Yakovlev, UK (chair)
Benoit Caillaud, France
Jordi Cortadella, Spain
Jörg Desel, Germany
Alex Kondratyev, USA
Luciano Lavagno, Italy
Antti Valmari, Finland