English
Related papers

Related papers: Proceedings of the Workshop on High Performance En…

200 papers

This is the proceedings of the third workshop on Robots and Sensors integration in future rescue INformation system (ROSIN 2013)

Robotics · Computer Science 2014-04-08 Congduc Pham , Fumitoshi Matsuno , Serge Stinckwich

This is a report from the Libraries and Tools Working Group of the High Energy Physics Forum for Computational Excellence. It presents the vision of the working group for how the HEP software community may organize and be supported in order…

High Energy Physics - Experiment · Physics 2015-06-04 Anders Borgland , Peter Elmer , Michael Kirby , Simon Patton , Maxim Potekhin , Brett Viren , Brian Yanny

RECIPE (REliable power and time-ConstraInts-aware Predictive management of heterogeneous Exascale systems) is a recently started project funded within the H2020 FETHPC programme, which is expressly targeted at exploring new High-Performance…

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…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-06-13 Alastair F. Donaldson , Vasco T. Vasconcelos

This perspective article details the program of sustainable computing workshops launched within the High Energy Physics department at DESY in 2023. The workshop series targets scientific users of the National Analysis Facility, hosted at…

High Energy Physics - Experiment · Physics 2024-12-17 J. Alimena , C. Beyer , B. Bruers , F. Gaede , N. Gillwald , M. Hernandez Villanueva , E. Jones , Y. Kemp , T. Madlener , K. Schwarz , C. Wissing

This is the Proceedings of the Ninth Workshop on Web 2.0 Security and Privacy (W2SP) 2015, held in San Jose, CA, USA, on May 21, 2015. The workshop was held as part of the IEEE Computer Society Security and Privacy Workshops, in conjunction…

Cryptography and Security · Computer Science 2015-06-24 Abigail Goldsteen , Tyrone Grandison , Mike Just , Larry Koved , Rohan Malcolm , Sean Thorpe

Interest in many-core architectures applied to real time selections is growing in High Energy Physics (HEP) experiments. In this paper we describe performance measurements of many-core devices when applied to a typical HEP online task: the…

Instrumentation and Detectors · Physics 2014-11-25 A. Gianelle , S. Amerio , D. Bastieri , M. Corvo , W. Ketchum , T. Liu , A. Lonardo , D. Lucchesi , S. Poprocki , R. Rivera , L. Tosoratto , P. Vicini , P. Wittich

These are the proceedings of the 10th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA). The workshop was held on March 23, 2013 in Rome (Italy) as a satellite event to the European…

Software Engineering · Computer Science 2013-02-21 Barbora Buhnova , Lucia Happe , Jan Kofroň

This EPTCS volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024), which was held between the 11th and 13th of November 2024. FMAS 2024 was co-located with 19th International…

Logic in Computer Science · Computer Science 2024-11-21 Matt Luckcuck , Mengwei Xu

This volume contains a final and revised selection of papers presented at the Eighth Workshop on Intersection Types and Related Systems (ITRS 2016), held on June 26, 2016 in Porto, in affiliation with FSCD 2016.

Logic in Computer Science · Computer Science 2017-03-31 Naoki Kobayashi

High Performance Computing (HPC) supercomputers are expected to play an increasingly important role in HEP computing in the coming years. While HPC resources are not necessarily the optimal fit for HEP workflows, computing time at HPC…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-11-20 Federico Stagni , Andrea Valassi , Vladimir Romanovskiy

Proceedings of the BMVC 2019 Workshop on Interpretable and Explainable Machine Vision, Cardiff, UK, September 12, 2019.

Computer Vision and Pattern Recognition · Computer Science 2019-09-17 Alun Preece

Project SETI@HOME has proven to be one of the biggest successes of distributed computing during the last years. With a quite simple approach SETI manages to process large volumes of data using a vast amount of distributed computer power. To…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 Antonio Amorim , Jaime Villate , Pedro Andrade

This volume contains the proceedings of EXPRESS/SOS 2023: the Combined 30th International Workshop on Expressiveness in Concurrency and the 20th Workshop on Structural Operational Semantics, which was held in Antwerp, Belgium, as an…

Logic in Computer Science · Computer Science 2023-09-13 Claudio Antares Mezzina , Georgiana Caltais

An overall objective of energy efficiency in the built environment is to improve building and systems performances in terms of durability, comfort and economics. In order to predict, improve and meet a certain set of performance…

Computational Engineering, Finance, and Science · Computer Science 2016-06-07 A. W. M. van Schijndel

This paper presents and justifies an open benchmark suite named BEEBS, targeted at evaluating the energy consumption of embedded processors. We explore the possible sources of energy consumption, then select individual benchmarks from…

Performance · Computer Science 2013-10-01 James Pallister , Simon Hollis , Jeremy Bennett

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

Logic in Computer Science · Computer Science 2015-08-27 Silvia Crafa , Daniel E. Gebler

Among the upgrades in current high energy physics (HEP) experiments and the new facilities coming online, solving software challenges has become integral for the success of the collaborations, The demand for human resources highly-skilled…

Physics Education · Physics 2023-03-01 Michel H. Villanueva , Sudhir Malik , Meirin Oan Evans