Conference Scope<br>– design methods, tools and techniques based on models of computation and concurrency (data–flow models, communicating automata, Petri nets, process algebras, state charts, MSCs, etc.), performance analysis, verification, testing and synthesis;<br>– hardware / software co–design, platform–based design, component–based design, refinement techniques, hardware / software abstractions, co–simulation and verification;<br>– synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous (GALS) systems, interface design, multi–clock systems, functional and timing verification;<br>– concurrency issues in systems on chips, massively parallel architectures, networks on chip, task and communication scheduling, resource, memory and power management, fault–tolerance and quality of service issues;<br>– (industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio–)medical applications, internet and grid computing, etc.;<br>– concurrency issues in ad–hoc, mobile and wireless networking, sensor networks, communication protocols, cross–layer optimization, concurrency–related security issues;<br>– business process modeling, simulation and verification, (distributed) workflow execution, business process (de–) composition, inter–organizational and heterogeneous workflow systems, computer–supported collaborative work systems, web services;<br>– synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control.<br>
Abbrevation
ACSD
City
Hamburg
Country
Germany
Deadline Paper
Start Date
End Date
Abstract