高性能节能嵌入式系统研讨会（HIP3ES）2019会议录

第一届可适应云架构研讨会会议录

Proceedings First Workshop on Adaptable Cloud Architectures

本研究探讨了可适应云架构的设计与实现，通过研讨会形式汇集了相关领域的最新研究成果和实践案例。

可重构和以通信为中心的网络物理系统国际研讨会论文集（ReCoCyPS 2019）

Proceedings of the International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019)

本卷代表了可重新配置和以通信为中心的网络物理系统国际研讨会（ReCoCyPS 2019）的会议记录，该研讨会与2019年7月2日至3日在英国约克举行的第14届可重新配置以通信为中心的片上系统国际研讨会（ReCoSoC 2019）位于同一地点。研讨会由欧盟资助的SAFIRE项目财团组织。

Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW)

Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW), colocated with ICT4S 2022 in Plovdiv, Bulgaria on 13th of June 2022.

第二届国际互动、博弈与协议研讨会

Proceedings Second International Workshop on Interactions, Games and Protocols

本卷包含第二届国际互动、博弈和协议研讨会（IWIGP 2012）的会议记录。该研讨会于2012年3月25日在塔林举行，作为ETAPS 2012的卫星活动。上一次研讨会是在萨尔布吕肯举行的，作为ETAPS 2011的一部分。本次研讨会的目的是将工业界和学术界的研究人员聚集在一起，探讨如何更好地理解交互、游戏和协议之间的相互关系，从而设计出更好、更可靠的交互系统。我们邀请了来自理论和实践角度的科学贡献。该计划包括两个特邀演讲和四个审阅论文，由一个强大的国际声誉的计划委员会选择。本卷收录了所审阅的论文。

第八届并行和分布式方法国际研讨会论文集verifiCation

Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation

第八届并行和分布式验证方法国际研讨会（PDMC 2009）于2009年11月4日在埃因霍温理工大学举行，与正式方法2009和其他相关活动一起首次在正式方法周的标题下举行。本卷载有研讨会的最后会议记录。

第五届膜计算和生物启发过程演算研讨会论文集（MeCBIC 2011）

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)

本卷代表了第五届膜计算和生物启发过程演算研讨会（MeCBIC 2011）的会议记录，该研讨会于2011年8月23日在法国枫丹白露举行的第12届膜计算国际会议上举行。

第10届verifiCation并行与分布式方法国际研讨会论文集

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

本卷包含2011年7月14日在犹他州雪鸟举行的第10届并行和分布式验证方法国际研讨会（PDMC 2011）的会议记录。该研讨会与第23届计算机辅助验证国际会议（CAV 2011）在同一地点举行。PDMC研讨会系列涵盖了与使用特别是利用当代并行硬件架构的方法和技术来验证和分析非常大型和复杂系统有关的所有方面。为了庆祝PDMC成立10周年，研讨会包括半天的邀请会议和半天的定期贡献演讲。

第一届软件编程人员FPGA国际研讨会论文集（FSP 2014）

Proceedings of the First International Workshop on FPGAs for Software Programmers (FSP 2014)

本卷包含2014年9月1日在德国慕尼黑举行的第一届软件程序员FPGA国际研讨会（FSP 2014）上接受的论文。FSP 2014与现场可编程逻辑和应用国际会议（FPL）位于同一地点。

第二届软件编程人员FPGA国际研讨会论文集（FSP 2015）

Proceedings of the Second International Workshop on FPGAs for Software Programmers (FSP 2015)

本卷包含2015年9月1日在英国伦敦举行的第二届软件程序员FPGA国际研讨会（FSP 2015）上接受的论文。FSP 2015与现场可编程逻辑和应用国际会议（FPL）位于同一地点。

DATE周五研讨会论文集--嵌入式图像系统的异构架构和设计方法（HIS 2015）

Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS 2015)

本卷包含2015年3月13日在法国格勒诺布尔举行的嵌入式图像系统异构架构和设计方法（HIS 2015）的日期星期五研讨会上接受的论文。HIS 2015与欧洲设计、自动化和测试会议（DATE）同期举行。

第九届协调语言和软件体系结构基础国际研讨会论文集

Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures

本卷包含FOCLASA 2010的会议记录，第9届协调语言和软件架构基础国际研讨会。FOCLASA 2010于2010年7月30日在法国巴黎举行，作为第21届并发理论国际会议CONCUR 2010的卫星活动。本会议录中提出的论文解决了目前对我们社区至关重要的不同问题，即软件自适应，传感器网络，分布式控制，协调的非功能方面，如资源，定时和随机。

第一届多核计算中的资源感知和自适应研讨会论文集（Racing 2014）

Proceedings of the First Workshop on Resource Awareness and Adaptivity in Multi-Core Computing (Racing 2014)

本卷包含2014年5月29日至30日在德国帕德博恩举行的第一届多核计算资源意识和适应性研讨会（Racing 2014）上接受的论文。Racing 2014与IEEE欧洲测试研讨会（ETS）位于同一地点。