A scientific and technological seedbank, preserving and building on high reliability concurrent computing technologies while expanding into new applications with the same reliable, robust and disciplined approach. A focus on high performance, high reliability, low latency microprocessors, microcomputers and massive parallelism with a legacy in transputers, new applications of Communicating Sequential Processes (CSP), and relevant concurrency in Embedded Systems.
Sponsor Type:1
Program Chair:
Dr. Lindsay O’Brien Quarrie, National University, San Diego, California USA
Program Co-Chair:
Dr. Kevin Chalmers, University of Roehampton, London, UK
Invited Topics research and/or application, long or short papers , Workshops and Tutorials are welcome in the following areas:
-Tools and languages for hardware-software co-design;
-Hardware and software approaches to reconfigurable computing;
-Synchronous Message Exchange
-Modeling and model-driven development of concurrent software architectures;
-Verification and analysis of concurrent systems;
-Nested formal verification techniques.
-Massively parallel computing, supercomputing architectures using concurrent processes
-Applications of concurrent processes including to IoT, 5G and future 6G hardware/software requirements
-Emphasis both software and hardware (IoT), including hardware-software equivalence like that of occam and the Transputer
-Artificial Intelligence, Machine Learning in Concurrent Systems
03月28日
2021
03月31日
2021
注册截止日期
初稿截稿日期
留言