中文
相关论文

相关论文: Proceedings 14th International Workshop on Foundat…

200 篇论文

This volume contains the proceedings of FOCLASA 2014, the 13th International Workshop on the Foundations of Coordination Languages and Self-Adaptive Systems. FOCLASA 2014 was held in Rome, Italy, on September 9, 2014 as a satellite event of…

分布式、并行与集群计算 · 计算机科学 2015-02-12 Javier Cámara , José Proença

Welcome to the proceedings of FOCLASA 2012, the 11th International Workshop on the Foundations of Coordination Languages and Self-Adaptation. FOCLASA 2012 was held in Newcastle upon Tyne, UK, on September 8, 2012 as a satellite event of…

分布式、并行与集群计算 · 计算机科学 2012-08-22 Natallia Kokash , António Ravara

This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held in Paris, France on July 30th, 2010 as a satellite event of…

软件工程 · 计算机科学 2010-07-29 MohammadReza Mousavi , Gwen Salaün

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the…

软件工程 · 计算机科学 2011-08-01 Mohammad Reza Mousavi , Antonio Ravara

PLACES 2015 (full title: Programming Language Approaches to Concurrency- and Communication-Centric Software) is the eighth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

编程语言 · 计算机科学 2016-02-11 Simon Gay , Jade Alglave

This volume contains the proceedings of the Combined 22nd International Workshop on Expressiveness in Concurrency and the 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015) which was held on 31 August 2015 in Madrid,…

计算机科学中的逻辑 · 计算机科学 2015-08-27 Silvia Crafa , Daniel E. Gebler

This volume contains the proceedings of PLACES 2025, the 16th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Hamilton, Canada, on May…

编程语言 · 计算机科学 2025-05-27 Farzaneh Derakhshan , Jan Hoffmann

Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens,…

编程语言 · 计算机科学 2020-04-03 Stephanie Balzer , Luca Padovani

This volume consists of the proceedings of the 5th Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11). The FLACOS Workshops serve as annual meeting places to bring together researchers and practitioners…

计算机科学中的逻辑 · 计算机科学 2011-09-13 Ernesto Pimentel , Valentín Valero

This volume contains the proceedings of DCM 2015, the 11th International Workshop on Developments in Computational Models held on October 28, 2015 in Cali, Colombia. DCM 2015 was organized as a one-day satellite event of the 12th…

计算机科学中的逻辑 · 计算机科学 2016-03-03 César A. Muñoz , Jorge A. Pérez

This volume contains the papers presented at the first international workshop on Logics for Component Configuration (LoCoCo 2010) which was associated with the International Conference on Theory and Applications of Satisfiability Testing…

计算机科学中的逻辑 · 计算机科学 2010-07-07 Inês Lynce , Ralf Treinen

Modern hardware platforms, from the very small to the very large, increasingly provide parallel and distributed computing resources for applications to maximise performance. Many applications therefore need to make effective use of tens,…

编程语言 · 计算机科学 2019-04-02 Francisco Martins , Dominic Orchard

This volume contains the proceedings of WCSI 2010, the International Workshop on Component and Service Interoperability. WCSI 2010 was held in Malaga (Spain) on June 29th, 2010 as a satellite event of the TOOLS 2010 Federated Conferences.…

软件工程 · 计算机科学 2010-10-13 Javier Cámara , Carlos Canal , Gwen Salaün

This volume contains the proceedings of the Combined 20th International Workshop on Expressiveness in Concurrency and the 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013) which was held on 26th August, 2013 in Buenos…

编程语言 · 计算机科学 2013-07-29 Johannes Borgström , Bas Luttik

The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The International Workshop on Programming Language…

编程语言 · 计算机科学 2022-03-24 Marco Carbone , Rumyana Neykova

This volume contains the proceedings of the Combined 21st International Workshop on Expressiveness in Concurrency and the 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014) which was held on 1st September 2014 in Rome,…

计算机科学中的逻辑 · 计算机科学 2014-08-07 Johannes Borgström , Silvia Crafa

This volume contains the proceedings of PLACES 2026, the 17th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The workshop is scheduled to take place in Turin, Italy, on April…

编程语言 · 计算机科学 2026-04-08 Kirstin Peters , Lorenzo Gheri

This volume contains a selection of the papers presented at the XV Jornadas sobre Programaci\'on y Lenguajes (PROLE 2015), held at Santander, Spain, during September 15th-17th, 2015. Previous editions of the workshop were held in C\'adiz…

编程语言 · 计算机科学 2015-12-22 Marisa Navarro

PLACES 2013 (full title: Programming Language Approaches to Concurrency- and Communication-cEntric Software) was the sixth edition of the PLACES workshop series. After the first PLACES, which was affiliated to DisCoTec in 2008, the workshop…

编程语言 · 计算机科学 2013-12-10 Nobuko Yoshida , Wim Vanderbauwhede

This volume contains the post-proceedings of PLACES 2014, the seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, which was held in Grenoble, France, on April 12th 2014, and co-located with…

分布式、并行与集群计算 · 计算机科学 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos
‹ 上一页 1 2 3 10 下一页 ›