Facilitating the Search for Compositions of Program Transformations
Albert Cohen
,
Sylvain Girbal
,
David Parello
,
Marc Sigler
,
Olivier Temam
,
et al.
ics # (ICS) , 2005, Boston, Massachusetts, Unknown Region. pp.151--160
Conference papers
hal-01257296v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Fonctions élémentaires sur GPU exploitant la localité de valeurs
Caroline Collange
,
Marc Daumas
,
David Defour
,
Régis Olivès
SYMPosium en Architectures nouvelles de machines , 2008, Fribourg, Suisse. 12p
Conference papers
hal-00202906v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Wavelet-based multi-resolution analysis and artificial neural networks for forecasting temperature and thermal power consumption
Julien Eynard
,
Stéphane Grieu
,
Monique Polit
Journal articles
hal-00567529v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Étude comparée et simulation d'algorithmes de branchements pour le GPGPU
Caroline Collange
,
Marc Daumas
,
David Defour
,
David Parello
Toulouse'2009 , Sep 2009, Toulouse, France. pp.10
Conference papers
hal-00397697v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Implementing LNS using filtering units of GPUs
Mark G. Arnold
,
David Defour
,
Caroline Collange
,
David Defour Eliaus
International Conference on Acoustics Speech and Signal Processing (ICASSP) , Mar 2010, Dallas, TX, United States. pp.1542--1545,
⟨10.1109/ICASSP.2010.5495516⟩
Conference papers
hal-00423434v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Trade-Off Approach for GHASH Computation Based on a Block-Merging Strategy
Christophe Negre
2018
Preprints, Working Papers, ...
hal-01852027v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Lab-scale prototype for on-line monitoring and energy diagnosis in buildings
Thierry Talbert
,
Benjamin Paris
,
Julien Eynard
,
Stéphane Grieu
,
Olivier Fruchier
International Conference on Renewable Energy and Eco-Design in Electrical Engineering , Dec 2008, Montpellier, France. pp.0006
Conference papers
hal-00503999v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Analyse de l'architecture GPU Tesla
Caroline Collange
[Rapport de recherche] ELIAUS. 2010
Reports
hal-00443875v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Accuracy Versus Time: A Case Study with Summation Algorithms
Philippe Langlois
,
Matthieu Martel
,
Laurent Thévenoux
Conference papers
hal-00477511v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Abstract Simulation: a Static Analysis of Simulink Models
Alexandre Chapoutot
,
Matthieu Martel
International Conference on Embedded Software and Systems , May 2009, Zhejiang, China. pp.83-92,
⟨10.1109/ICESS.2009.80⟩
Conference papers
hal-00332447v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Formal proof for delayed finite field arithmetic using floating point operators
Sylvie Boldo
,
Marc Daumas
,
Pascal Giorgi
8th Conference on Real Numbers and Computers , Jul 2008, Saint Jacques de Compostelle, Spain. pp.113-122
Conference papers
hal-00135090v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Finite field multiplication combining AMNS and DFT approach for pairing cryptography
Nadia El Mrabet
,
Christophe Negre
2009
Preprints, Working Papers, ...
hal-00360280v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides
Marc Daumas
,
Erik Martin-Dorel
,
Annick Truffert
2008
Preprints, Working Papers, ...
hal-00333895v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Stratégies de contrôle pour la gestion énergétique d'un bâtiment
Julien Eynard
,
Benjamin Paris
,
Stéphane Grieu
,
Grégory François
3ème Journées Doctorales / Journées Nationales MACS , Mar 2009, Angers, France. pp.22
Conference papers
hal-00504030v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
On-line monitoring station for energy diagnosis in buildings
Benjamin Paris
,
Thierry Talbert
,
Julien Eynard
,
Stéphane Grieu
,
Adama Traore
,
et al.
11th International Building Performance Simulation Association Conference and Exhibition , Jul 2009, Glasgow, United Kingdom. pp.2013-2019
Conference papers
hal-00504054v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Code-Partitioning for a Concise Characterization of Programs for Decoupled Code Tuning
Eric Petit
,
François Bodin
2010
Preprints, Working Papers, ...
hal-00460897v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Travaux pratiques sur la gestion énergétique optimale d'un bâtiment EnR
Benjamin Paris
,
Julien Eynard
,
Frédérik Thiéry
,
Adama Traore
,
Monique Polit
,
et al.
7e Colloque sur l'enseignement des technologies et des sciences de l'information et des systèmes , Oct 2008, Bruxelles, Belgique. pp.23
Conference papers
hal-00504019v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Verified Real Number Calculations: A Library for Interval Arithmetic
Marc Daumas
,
David Lester
,
César Muñoz
2007
Preprints, Working Papers, ...
hal-00168402v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Gestion optimale de l'énergie dans un procédé multi-source pour le chauffage de bâtiments
Julien Eynard
Automatique / Robotique. Université de Perpignan, 2010. Français.
⟨NNT : ⟩
Theses
tel-00536864v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Towards a Systematic, Pragmatic and Architecture-Aware Program Optimization Process for Complex Processors
David Parello
,
Olivier Temam
,
Albert Cohen
,
Jean-Marie Verdun
ACM Supercomputing Conference (SC) , 2004, Pittsburgh, Pennsylvania, United States
Conference papers
hal-01257302v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Hybrid PID-fuzzy control scheme for managing energy resources in buildings
Benjamin Paris
,
Julien Eynard
,
Stéphane Grieu
,
Monique Polit
Journal articles
hal-00628879v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Five forecasting algorithmes for energy consumption in Vietnam
van Giang Tran
,
Vincent Debusschere
,
Seddik Bacha
Power Tech 2013 , Jun 2013, Grenoble, France. pp.1-6
Conference papers
hal-00931596v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Heating control schemes for energy management in buildings
Benjamin Paris
,
Julien Eynard
,
Stéphane Grieu
,
Thierry Talbert
,
Monique Polit
Journal articles
hal-00543272v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Time series and artificial neural networks for short-term electric consumptions forecast
van Giang Tran
,
Stéphane Grieu
,
Monique Polit
Journal articles
hal-00506499v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Artificial intelligence tools and inverse methods for estimating the thermal diffusivity of building materials
Stéphane Grieu
,
Olivier Faugeroux
,
Adama Traoré
,
Bernard Claudet
,
Jean-Luc Bodnar
Journal articles
hal-01273275v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using Graphics Processors for Parallelizing Hash-based Data Carving
Caroline Collange
,
Yoginder Dandass
,
Marc Daumas
,
David Defour
42nd Hawaii International Conference on System Sciences , Jan 2009, Waikoloa, United States. 10 p
Conference papers
hal-00350962v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Forecasting of wind speed using wavelets analysis and cascade-correlation neural networks
van Giang Tran
,
Stéphane Grieu
,
Monique Polit
,
Tran Quoc Tuan
,
Tran Hoai Linh
European Wind Energy Conference and Exhibition (EWEC) , Mar 2009, Marseille, France. pp.558
Conference papers
hal-00506470v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Energy management for the "Perpignan Méditerranée" agglomeration community
van Giang Tran
,
Stéphane Grieu
,
Monique Polit
,
Tran Quoc Tuan
23rd International Conference on Efficiency, Cost, Optimization, Simulation and Environmental Impact of Energy Systems (ECOS2010) , Jun 2010, Lausanne, Switzerland. pp.167
Conference papers
hal-00506496v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control strategies for managing energy in a building mock-up
Julien Eynard
,
Benjamin Paris
,
Stéphane Grieu
,
Thierry Talbert
,
Frédérik Thiéry
11th International Building Performance Simulation Association Conference and Exhibition , Jul 2009, Glasgow, United Kingdom. pp.767-774
Conference papers
hal-00504041v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
Christian Bertin
,
Claude-Pierre Jeannerod
,
Jingyan Jourdan-Lu
,
Hervé Knochel
,
Christophe Monat
,
et al.
4th International Workshop on Parallel and Symbolic Computation (PASCO'10) , Jul 2010, Grenoble, France. pp.1-9,
⟨10.1145/1837210.1837212⟩
Conference papers
ensl-00549467v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More