15 citations · 15 across the 2 of their papers we have counts for
3 papers
IEDM, an Ontology for Irradiation Experiment Data Management
Blerina Gkotse, Pierre Jouvelot, Federico Ravotti
Irradiation experiments (IE) are an essential step in the development of High-Energy Physics (HEP) particle accelerators and detectors. They assess the radiation hardness of materi…
Building the Case for Temperature Awareness in Energy Consumption Models: an Application of the Energy-Frequency Convexity Rule
Kameswar Vaddina, Florian Brandner, Gerard Memmi +1
Optimizing computing and communication systems that host energy-critical applications is becoming a key issue for software developers. In previous work, we introduced and validated…
jsCoq: Towards Hybrid Theorem Proving Interfaces
Emilio Jesús Gallego Arias, Benoît Pin, Pierre Jouvelot
We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5-ECMAScript 2015 specification, and it is typical…