Skip to Main content Skip to Navigation


hal-01546055v1  Directions of work or proceedings
Floréal MorandatOlivier Zendra. Proceedings of the 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Prague, Czech Republic, July 6, 2015
Floréal Morandat; Olivier Zendra. 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Jul 2015, Prague, Czech Republic. ACM, 2015, 978-1-4503-3657-4. ⟨10.1145/2843915⟩
hal-01546070v1  Directions of work or proceedings
Olivier ZendraEric Jul. Proceedings of the 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Montpellier, France, July 2, 2013
Olivier Zendra; Eric Jul. 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Jul 2013, Montpellier, France. ACM, 2013, 978-1-4503-2045-0. ⟨10.1145/2491404⟩
...
inria-00526327v1  Reports
Alvaro VazquezFlorent de Dinechin. Multi-operand Decimal Adder Trees for FPGAs
[Research Report] RR-7420, INRIA. 2010, pp.20
...
hal-02101945v1  Reports
Cedric GegoutBernard GirauFabrice Rossi. A mathematical model for feed-forward neural networks : theoretical description and parallel applications.
[Research Report] LIP RR-1995-23, Laboratoire de l'informatique du parallélisme. 1995, 2+12p
hal-00095539v1  Journal articles
Moufida MaimourCong-Duc Pham. DyRAM: an Active Reliable Multicast framework for Data Distribution
Journal of Cluster Computing, Springer, 2004, 7(2), pp.163-176
...
hal-00704288v1  Conference papers
Hong Diep NguyenNathalie RevolPhilippe Théveny. Tradeoffs between Accuracy and Efficiency for Optimized and Parallel Interval Matrix Multiplication
PARA 2012 - Workshop on the State-of-the-Art in Scientific and Parallel Computing, Jun 2012, Helsinki, Finland
...
hal-00916931v2  Journal articles
Nathalie RevolPhilippe Théveny. Numerical Reproducibility and Parallel Computations: Issues for Interval Algorithms
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, 63 (8), pp.1915-1924. ⟨10.1109/TC.2014.2322593⟩
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
...
ensl-00409366v3  Journal articles
Claude-Pierre JeannerodNicolas LouvetJean-Michel MullerAdrien Panhaleux. Midpoints and exact points of some algebraic functions in floating-point arithmetic
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.228-241. ⟨10.1109/TC.2010.144⟩
...
hal-02101778v1  Reports
Loïc PrylliBernard Tourancheau. Protocol design for high performance networking: a Myrinet experience
[Research Report] LIP RR-1997-22, Laboratoire de l'informatique du parallélisme. 1997, 2+10p
inria-00544800v1  Conference papers
Hong Diep NguyenNathalie Revol. High performance linear algebra using interval arithmetic
PASCO'10 4th International Workshop in Parallel and Symbolic Computation, Moreno Maza, Marc and Roch, Jean-Louis, Jul 2010, Grenoble, France. ⟨10.1145/1837210.1837236⟩
ensl-00549467v1  Conference papers
Christian BertinClaude-Pierre JeannerodJingyan Jourdan-LuHervé KnochelChristophe Monat et al.  Techniques and tools for implementing IEEE 754 floating-point arithmetic on VLIW integer processors
4th International Workshop on Parallel and Symbolic Computation (PASCO'10), Jul 2010, Grenoble, France. pp.1-9, ⟨10.1145/1837210.1837212⟩
...
hal-02102094v1  Reports
Frédéric LangPierre LescanneLuigi Liquori. A Framework for Defining Object-Calculi
[Research Report] LIP RR-1998-51, Laboratoire de l'informatique du parallélisme. 1998, 2 + 33p
...
hal-00672327v1  Conference papers
Claude-Pierre JeannerodJingyan Jourdan-Lu. Simultaneous floating-point sine and cosine for VLIW integer processors
23rd IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2012), Jul 2012, Delft, Netherlands. pp.69-76
...
hal-00695333v1  Conference papers
Claude-Pierre JeannerodJingyan Jourdan-LuChristophe Monat. Non-generic floating-point software support for embedded media processing
7th IEEE International Symposium on Industrial Embedded Systems (SIES'12), 2012, Karlsruhe, Germany
...
tel-01078204v1  Theses
Nicolas Brunie. Contributions to computer arithmetic and applications to embedded systems
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2014. English. ⟨NNT : 2014ENSL0894⟩
hal-01350243v1  Journal articles
Jean-Michel Muller. Les leçons d’un algorithme délinquant
Interstices, INRIA, 2004
...
hal-01153772v1  Conference papers
Frederic LangPierre LescanneLuigi Liquori. A framework for defining Object-Calculi [extended abstract]
FM’99 — Formal Methods World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II, Sep 1999, Toulouse, France. pp.963-982, ⟨10.1007/3-540-48118-4⟩
inria-00467938v1  Conference papers
Rémi DouenceDidier Le BotlanJacques NoyéMario Südholt. Concurrent Aspects
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
...
hal-03108231v1  Conference papers
Maxime BelairSylvie LaniepceJean-Marc Menaud. SNAPPY: Programmable Kernel-Level Policies for Containers
SAC 2021: 36th ACM/SIGAPP Symposium On Applied Computing, Mar 2021, Gwangju / Virtual, South Korea. pp.1636-1645, ⟨10.1145/3412841.3442037⟩
hal-00880644v1  Conference papers
Grégory LandaisNicolas Sendrier. Implementing CFS
INDOCRYPT 2012 - 13th International Conference on Cryptology in India, Dec 2012, Kolkata, India. pp.474-488, ⟨10.1007/978-3-642-34931-7_27⟩
...
hal-01485536v1  Book sections
Yacine BouzidiAdrien PoteauxAlban Quadrat. A symbolic computation approach to the asymptotic stability analysis of differential systems with commensurate delays
Giorgio Valmorbida; Alexandre Seuret; Islam Boussaada; Rifat Sipahi. Delays and Interconnections: Methodology, Algorithms and Applications, Advances in Delays and Dynamics, 10, Springer, pp.16, 2019, ⟨10.1007/978-3-030-11554-8_11⟩