<P>The theme of CPA 2008 is concurrency: the theory of concurrency, and concurrency as applied to software and hardware development, validation, verification, and implementation. There is also a special session on hardware/software co–design.<BR></P><B>Keywords:</B> * Theoretical approaches to concurrency, and formal languages<BR>supporting these approaches, including the integration of existing<BR>formal notations;<BR><BR>* Modelling of, and model–driven development of concurrent software<BR>architectures;<BR><BR>* Verification and analysis of concurrent systems;<BR><BR>* Model–checking techniques and tools for development and analysis;<BR><BR>* Theoretical approaches to hardware–software co–design;<BR><BR>* Tools and languages for hardware–software co–design;<BR><BR>* Verification and analysis of hardware–software co–design systems;<BR><BR>* Programming languages and environments for concurrent systems;<BR><BR>* Environments for distributed applications, such as grid<BR>applications;<BR><BR>* Hardware and machine architectures such as multiprocessor cores<BR>and instructiion set design;<BR><BR>* Reconfigurable computing, and tools relating to reconfigurable<BR>computing;<BR><BR>* Programming and implementation issues for concurrent languages;<BR>such as deadlock–freedom by design, starvation, and efficient<BR>inter–process communication architectures;<BR><BR>* System issues for programming languages supporting concurrency,<BR>such as multithreading kernels and interrupt architectures;<BR><BR>* Applications that exploit, or rely on, concurrency.<BR>
Abbrevation
CPA
City
York
Country
UK
Deadline Paper
Start Date
End Date
Abstract