Zobrazeno 1 - 10
of 98
pro vyhledávání: '"Jouvelot P"'
With the Open Science approach becoming important for research, the evolution towards open scientific-paper reviews is making an impact on the scientific community. However, there is a lack of publicly available resources for conducting research acti
Externí odkaz:
http://arxiv.org/abs/2312.04576
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 materials used in HEP experimental devices by simulating, in a short time, t
Externí odkaz:
http://arxiv.org/abs/1901.05233
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 the Energy/Frequency Convexity Rule for CPU-bound benchmarks on recen
Externí odkaz:
http://arxiv.org/abs/1811.09285
Publikováno v:
EPTCS 239, 2017, pp. 15-27
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 typically run inside a standards-compliant browser, without the need of exter
Externí odkaz:
http://arxiv.org/abs/1701.07125
Both theoretical and experimental evidence are presented in this work in order to validate the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and microprocessor frequency for nanometer-scale microprocessors. Data ga
Externí odkaz:
http://arxiv.org/abs/1508.07740
A new global analytical model of the heat dissipation process that occurs in passively-cooled embedded systems is introduced, and we explicit under what circumstances the traditional assumption that exponential cooling laws apply in such context is v
Externí odkaz:
http://arxiv.org/abs/1410.0628
We introduce and experimentally validate a new macro-level model of the CPU temperature/power relationship within nanometer-scale application processors or system-on-chips. By adopting a holistic view, this model is able to take into account many of
Externí odkaz:
http://arxiv.org/abs/1404.3381
This paper provides both theoretical and experimental evidence for the existence of an Energy/Frequency Convexity Rule, which relates energy consumption and CPU frequency on mobile devices. We monitored a typical smartphone running a specific computi
Externí odkaz:
http://arxiv.org/abs/1401.4655
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 239, Iss Proc. UITP 2016, Pp 15-27 (2017)
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 typically run inside a standards-compliant browser, without the need of ext
Externí odkaz:
https://doaj.org/article/c0d0e65544174445867f27afe7ae70a6
Publikováno v:
In Entertainment Computing December 2012 3(4):111-120