中文
相关论文

相关论文: Proceedings of the DATE Friday Workshop on Heterog…

200 篇论文

This volume contains the papers accepted at the first DATE Friday Workshop on System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA 2021), held virtually on February 5, 2021. SLOHA 2021 was co-located with the…

硬件体系结构 · 计算机科学 2021-02-02 Frank Hannig , Paolo Meloni , Matteo Spallanzani , Matthias Ziegler

The present volume contains the proceedings of the Fourth International Workshop on Engineering Safety and Security Systems (ESSS'15). The workshop was held in Oslo, Norway, on June 22nd, 2015, as a satellite event of the 20th International…

软件工程 · 计算机科学 2015-06-11 Jun Pang , Yang Liu , Sjouke Mauw

This volume contains the proceedings of F-IDE 2014, the first international workshop on Formal Integrated Development Environment, which was held as an ETAPS 2014 satellite event, on April 6, 2014, in Grenoble (France). High levels of…

软件工程 · 计算机科学 2014-04-24 Catherine Dubois , Dimitra Giannakopoulou , Dominique Méry

This volume contains the proceedings of the Ninth Workshop on Model-Based Testing (MBT 2014), which was held in Grenoble, France on April 6, 2014 as a satellite workshop of the European Joint Conferences on Theory and Practice of Software…

软件工程 · 计算机科学 2014-03-28 Holger Schlingloff , Alexander K. Petrenko

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th…

计算机科学中的逻辑 · 计算机科学 2015-08-17 Maurice H. ter Beek , Alberto Lluch Lafuente

This volume contains the proceedings of F-IDE 2015, the second international workshop on Formal Integrated Development Environment, which was held as an FM 2015 satellite event, on June 22, 2015, in Oslo (Norway). High levels of safety,…

编程语言 · 计算机科学 2015-08-17 Catherine Dubois , Paolo Masci , Dominique Méry

This volume contains the proceedings of the Fifth Workshop on Mathematically Structured Functional Programming (MSFP 2014), taking place on 12 April, 2014 in Grenoble, France, as a satellite event of the European Joint Conferences on Theory…

编程语言 · 计算机科学 2014-06-09 Paul Levy , Neel Krishnaswami

This volume represents the proceedings of the 3rd Workshop on Open-Source Design Automation (OSDA) 2023, co-hosted with Design, Automation, and Test in Europe (DATE) conference in Antwerp, Belgium, April 17, 2023.

硬件体系结构 · 计算机科学 2023-04-03 Christian Krieg

These are the proceedings of the Third Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), which took place on April 5, 2014 in Grenoble, France, as a satellite event of the 17th European Joint Conferences on Theory and…

计算机科学中的逻辑 · 计算机科学 2014-07-30 Dragan Bošnački , Stefan Edelkamp , Alberto Lluch Lafuente , Anton Wijs

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

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2016. Prague, January 18th. Collocated with HIPEAC 2016 Conference.

分布式、并行与集群计算 · 计算机科学 2016-02-11 David Castells-Rufas , Cédric Bastoul

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2018. Manchester, United Kingdom, January 22nd. Collocated with HIPEAC 2018 Conference.

分布式、并行与集群计算 · 计算机科学 2018-01-12 David Castells-Rufas , Cédric Bastoul

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 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

The present volume contains the proceedings of the First International Workshop on Graphical Models for Security (GraMSec'14). The workshop was held in Grenoble, France, on April 12, 2014, as one of the satellite events of the European…

密码学与安全 · 计算机科学 2014-04-08 Barbara Kordy , Sjouke Mauw , Wolter Pieters

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2017. Stockholm, Sweden, January 25th. Collocated with HIPEAC 2017 Conference.

分布式、并行与集群计算 · 计算机科学 2017-01-12 David Castells-Rufas , Cédric Bastoul

This volume contains the proceedings of the 13th International Workshop on Programmability and Architectures for Heterogeneous Multicores. The workshop was held in conjunction with the 16th International Conference on High-Performance and…

分布式、并行与集群计算 · 计算机科学 2020-05-18 Miquel Pericas , Oscar Palomar , Vassilis Papaefstathiou , Mahmoud Eljammaly

This volume contains the proceedings of PROHA 2016, the first workshop on Program Transformation for Programmability in Heterogeneous Architectures, held on March 12, 2016 in Barcelona, Spain, as an affiliated workshop of CGO 2016, the 14th…

编程语言 · 计算机科学 2016-03-14 Salvador Tamarit , Julio Mariño , Guillermo Vigueras , Manuel Carro

Proceedings of the 5th International Workshop on Software Engineering Methods in Spreadsheets (SEMS'18), held on October 1st, 2018, in Lisbon, Portugal, and co-located with the 2018 IEEE Symposium on Visual Languages and Human-Centric…

软件工程 · 计算机科学 2018-08-29 Birgit Hofer , Jorge Mendes
‹ 上一页 1 2 3 10 下一页 ›