Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM
	hal-02101836v1 Reports Guy Cuvillier, Gil Utard. Compilation of data-parallel program for a network of workstations [Research Report] LIP RR-1994-31, Laboratoire de l'informatique du parallélisme. 1994, 2+24p
	hal-02101995v1 Reports Pierre Boulet, Michèle Dion. Code generation in bouclettes. [Research Report] LIP RR-1995-43, Laboratoire de l'informatique du parallélisme. 1995, 2+21p
	tel-01944510v3 Theses Alix Trieu. Verifying constant-time implementations in a verified compilation toolchain Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S099⟩
	inria-00100437v1 Conference papers Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. A Pattern-Matching Compiler First Workshop on Language Descriptions, Tools and Applications - LDTA'01, Apr 2001, Genova, Italy, 14 p
	hal-00979359v1 Reports Florent Jacquemard, Clément Poncelet Sanchez. Antescofo Intermediate Representation [Research Report] RR-8520, INRIA. 2014, pp.13
	inria-00565627v1 Conference papers Olivier Zendra, Dominique Colnet, Suzanne Collin. Efficient Dynamic Dispatch without Virtual Function Tables. The SmallEiffel Compiler. 12th Annual ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'97), ACM SIGPLAN, Oct 1997, Atlanta, United States. pp.125--141
	tel-01748690v2 Theses Radu Kopetz. Contraintes d'anti-ﬁltrage et programmation par réécriture Génie logiciel [cs.SE]. Institut National Polytechnique de Lorraine - INPL, 2008. Français. ⟨NNT : 2008INPL045N⟩
	inria-00001231v1 Lectures Olivier Zendra. Compilation et gestion mémoire basse consommation Ecole thématique "Conception faible consommation de système temps réel" (ECoFac 2006) Nice, France, 2006
	hal-00717219v1 Journal articles Jean-Marc Jézéquel, Benoit Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye. Bridging the Chasm Between MDE and the World of Compilation Software and Systems Modeling, Springer Verlag, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
	hal-00310121v1 Conference papers Tom Hirschowitz, Xavier Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages PPDP '03, 2003, Uppsala, Sweden. pp.160--171, ⟨10.1145/888251.888267⟩
	hal-01213233v1 Conference papers Laurent Georget, Frédéric Tronel, Valérie Viet Triem Tong. Kayrebt: An Activity Diagram Extraction and Visualization Toolset Designed for the Linux Codebase 2015 IEEE 3rd Working Conference on Software Visualization (VISSOFT), IEEE, Sep 2015, Bremen, Germany. ⟨10.1109/vissoft.2015.7332431⟩
	hal-01546070v1 Directions of work or proceedings Olivier Zendra, Eric 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⟩
	hal-00777156v1 Conference papers Zhang Zuyu, Vania Joloboff, Xinlei Zhou, Claude Helmstetter. Fast Dynamic Translation Using LLVM On Multi-Core Hosts 5th Workshop on Architectural and Microarchitectural Support for Binary Translation (AMAS-BT), Intel Corporation, Jun 2012, Portland, Oregon, United States
	inria-00001056v1 Conference papers Cédric Bastoul, Paul Feautrier. More Legal Transformations for Locality Euro-Par 2004 Parallel Processing: 10th International Euro-Par Conference, Aug 2004, Pisa/Italy, pp.272-283
	inria-00104146v2 Conference papers Olivier Zendra. Memory and compiler optimizations for low-power and -energy. 1st ECOOP Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)., Jul 2006, Nantes, France. pp.8
	tel-01633065v2 Habilitation à diriger des recherches Laure Gonnord. Contributions to program analysis: expressivity and scalability Computation and Language [cs.CL]. Université Lyon 1 Claude Bernard, 2017
	hal-00721049v1 Reports Albert Benveniste, Benoît Caillaud, Raclet Jean-Baptiste. Application of Interface Theories to the Separate Compilation of Synchronous Programs [Research Report] RR-8030, INRIA. 2012
	tel-02972693v1 Theses Alexandre Dang. Secure compilation for memory protection Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S111⟩
	hal-03051954v1 Conference papers Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet et al. Reactive probabilistic programming PLDI 2020 - 41th ACM SIGPLAN International Conference in Programming Language Design and Implementation, Jun 2020, London / Virtual, United Kingdom. ⟨10.1145/3385412.3386009⟩
	inria-00099164v1 Conference papers Pierre-Etienne Moreau. REM (Reduce Elan Machine): Core of the New ELAN Compiler International Conference on Rewriting Techniques & Applications - RTA'2000, Richard Kennaway, 2000, Norwich, UK, pp.265-269
	inria-00099427v1 Reports Pierre-Etienne Moreau, Christophe Ringeissen, Marian Vittek. A Pattern Matching Compiler for Multiple Target Languages [Intern report] A02-R-184 \|\| moreau02b, 2002, 16 p
	inria-00563353v1 Conference papers Suzanne Collin, Dominique Colnet, Olivier Zendra. Type Inference for Late Binding. The SmallEiffel Compiler. Joint Modular Languages Conference (JMLC), 1997, Lintz, Austria. pp.67--81
	inria-00098451v1 Conference papers Pierre-Etienne Moreau, Hélène Kirchner. A Compiler for Rewrite Programs in Associative-Commutative Theories ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
	inria-00098438v1 Reports Dominique Colnet, Olivier Zendra, Philippe Coucaud. Using Type Inference to Customize the Garbage Collector in an Object-Oriented Language. The SmallEiffel Compiler [Intern report] 98-R-196 \|\| colnet98a, 1998, 20 p
	inria-00105010v1 Reports Isabelle Puaut, Christophe Pais. Scratchpad memories vs locked caches in hard real-time systems: a qualitative and quantitative comparison [Research Report] PI 1818, 2006, pp.22
	inria-00113532v1 Other publications Olivier Zendra. Compilation et faible consommation 2006
	hal-03673668v1 Conference papers Valentin Pasquale, Isabelle Puaut. Winston: Revisiting iterative compilation for WCET minimization RTNS 2022 - 30th International Conference on Real-Time Networks and Systems, Jun 2022, Paris, France. pp.1-11, ⟨10.1145/3534879.3534899⟩
	tel-02456172v2 Theses Keryan Didier. Contributions to the safe and efficient parallelisation of hard real-time systems Embedded Systems. Sorbonne Université, 2019. English. ⟨NNT : 2019SORUS485⟩
	hal-02314734v1 Journal articles Olivier Zendra, Markku Sakkinen. ICOOLPS 2010 and MASPEGHI 2010. The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (3), ⟨10.5381/jot.2012.11.3.e2⟩
	hal-02101986v1 Reports Gil Utard. Validation of the compilation of Data-Parallel C ``while'' loops for shared memory architectures [Research Report] LIP RR-1994-13, Laboratoire de l'informatique du parallélisme. 1994, 2+21p
	1 2 3 4 5 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :