11925 results  save search


hal-00751680v1  Conference papers
Yves CaniouFrédéric DesprezGhislain CharrierEddy Caron. Meta-Scheduling and Task Reallocation in a Grid Environment
ADVCOMP - The Third IEEE International Conference on Advanced Engineering Computing and Applications in Sciences, 2009, Sliema, Malta
...
hal-01053762v1  Conference papers
Chuan ShanEldar ZianbetovWeiqiang YuFrançois AnceauOlivier Billoint et al.  FPGA prototyping of large reconfigurable ADPLL network for distributed clock generation
Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference on, Dec 2013, Cancun, Mexico. pp.1 - 6, ⟨10.1109/ReConFig.2013.6732295⟩
hal-00751672v1  Book sections
Yves CaniouEddy CaronFrédéric DesprezNakada HidemotoSeymour Keith et al.  High performance GridRPC middleware
Gravvanis, G.A. and Morrison, J.P and Arabnia, H.R. and Power, D.A. Grid Technology and Applications: Recent Developments, Nova Science Publishers, 2009, 978-1-60692-768-7
...
tel-01101607v1  Theses
Alen Tosenberger. Blood flow modelling and applications to blood coagulation and atherosclerosis
Mathematics [math]. Université Claude Bernard - Lyon 1 Institut Camille Jordan - CNRS UMR 5208, 2014. English
hal-00751702v1  Conference papers
Yves CaniouPhilippe Codognet. Communication in Parallel Algorithms for Constraint-Based Local Search
PCO - IEEE Workshop on new trends in Parallel Computing and Optimization in conjonction with IPDPS, May 2011, Anchorage, United States
...
hal-01184408v2  Reports
Albert CohenAlain DartePaul Feautrier. Static Analysis of OpenStream Programs
[Research Report] RR-8764, CNRS; Inria; ENS Lyon. 2016, pp.26
...
inserm-00801773v1  Conference papers
Céline VallotChristophe HuretYann LesecqueAlissa ReschNoufϊssa Oudrhiri et al.  XACT, a long non-coding transcript coating the active X chromosome in human pluripotent cells
Epigenetics and Chromatin: Interactions and processes, Mar 2013, Boston, MA, United States. pp.O33, ⟨10.1186/1756-8935-6-S1-O33⟩
hal-01501487v1  Journal articles
Hélène JaudoinFrédéric Flouvat. Techniques de fouille de données pour la rééecriture de requêtes en présence de contraintes de valeurs
Revue I3 - Information Interaction Intelligence, Cépaduès, 2007, Numéro spé, pp.1-21
...
hal-01375657v1  Conference papers
Priscila BillerEric TannierGuillaume BeslonCarole Knibbe. In silico experimental evolution provides independent and challenging benchmarks for comparative genomics
Journées ouvertes Biologie Informatique Mathématiques, Jun 2016, Lyon, France. pp.79-82
hal-00801571v1  Conference papers
Christophe AliasAlain DartePaul FeautrierLaure Gonnord. Rank: a tool to check program termination and computational complexity
Constraints in Software Testing Verification and Analysis, Mar 2013, Luxembourg
...
tel-01951250v1  Habilitation à diriger des recherches
Thomas Begin. Contributions to the Performance Modeling of Computer Networks
Networking and Internet Architecture [cs.NI]. Université Claude Bernard Lyon 1, 2018
...
hal-01251579v1  Reports
Alain DarteAlexandre IsoardTomofumi Yuki. Liveness Analysis in Explicitly-Parallel Programs
[Research Report] RR-8839, CNRS; Inria; ENS Lyon. 2016, pp.25
hal-00800558v1  Conference papers
Alexandre Miquel. Forcing as a Program Transformation
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, Jun 2011, Toronto, Canada. pp.197-206
...
tel-00750693v1  Theses
Nuno D Mendes. Efficient algorithms for the identification of miRNA motifs in DNA sequences
Bioinformatics [q-bio.QM]. UNIVERSIDADE TECNICA DE LISBOA INSTITUTO SUPERIOR TECNICO, 2011. English
...
hal-01500371v1  Journal articles
Matthieu LatapyElie RotenbergChristophe CrespelleFabien Tarissan. Rigorous Measurement of the Internet Degree Distribution
Complex Systems, Complex Systems Publications, 2017, 26 (1)
...
hal-00650659v1  Reports
Vincent Lefèvre. SIPE: Small Integer Plus Exponent
[Research Report] RR-7832, INRIA. 2011, pp.21
hal-01350280v1  Journal articles
Alain Viari. Bioinformatique et protéomique
Interstices, INRIA, 2004
...
hal-01726120v1  Conference papers
Laëtitia MatignonOlivier Simonin. Multi-Robot Simultaneous Coverage and Mapping of Complex Scene - Comparison of Different Strategies
AAMAS 2018 - 17th International Conference on Autonomous Agents and Multiagent Systems - Robotics Track, Jul 2018, Stockholm, Sweden. pp.559-567
...
hal-01354689v1  Conference papers
George BosilcaAurelien BouteillerThomas HeraultYves RobertJack Dongarra. Assessing the Impact of ABFT and Checkpoint Composite Strategies
16th Workshop on Advances in Parallel and Distributed Computational Models (APDCM 2014), May 2014, Phoenix, United States. pp.10, ⟨10.1109/IPDPSW.2014.79⟩
hal-00402388v1  Journal articles
Arnaud DucrotVitaly Volpert. Modelling of convective heat explosion
Journal of Technical Physics, 2005, pp.129-143
...
hal-01354711v1  Conference papers
Henri CasanovaJulien HerrmannYves Robert. Computing the expected makespan of task graphs in the presence of silent errors
Ninth International Workshop on Parallel Programming Models and Systems Software for High-End Computing (P2S2), 2016, Aug 2016, Philadelphia, United States