Your search returned 74 results. Subscribe to this search

|
51. Congrès LCTES '10 [ [Texte imprimé]] : proceedings of ACM SIGPLAN-SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded systems : Stockholm, Sweden, April 13-15, 2010 / sponsored by ACM SIGPLAN & SIGBEDSet Level : , SIGPLAN notices, vol. 45, n° 4Publication : New York, N.Y. : Association for Computing Machinery, 2010Description : 1 vol. (IX-173 p.) ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[STO 10] (1).
52. Congrès LCTES '14 [ [Texte imprimé]] : Proceedings of the 2014 ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems : Edinburg, UK, June 12-13, 2014 ; Youtao Zhang, general chair ; Prasad Kulkarni, program chair ; sponsored by, ACM SIGPLAN & SIGBEDPublication : New York, N.Y. : Association for Computing Machinery, cop. 2014Description : 1 v. (VII-165 p.) : ill. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 14] (1).
53. Congrès LCTES '15 : Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems : Portland, Oregon, USA, June 18-19, 2015 ; general chair: Sam H. Noh ; program chairs: Sebastian Fischmeister, Jason Xue ; sponsored by, ACM SIGPLAN & SIGBEDPublication : New York, N.Y. : Association for Computing Machinery, cop. 2015Description : 1 vol. (VIII-143 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[POR 15] (1).
54. Congrès LCTES '16 [] : Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems : Santa Barbara, CA, USA, June 13-14, 2016 / edited by: Tei-Wei Kuo, David B. Whalley ; sponsored by, ACM SIGPLAN & SIGBED, Co-located with: PLDI'16Publication : New York, N.Y. : Association for Computing Machinery, cop. 2016Description : 1 vol. (VI-123 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[Sta. BAR 16] (1).
55. Congrès Microarchitecture : proceedings : 31st Annual ACM/IEEE International Symposium on Microarchitecture : November 30-December 2, 1998, Dallas, Texas / co-sponsored by ACM SIGMICRO, the IEEE Computer Society Technical Committee on Microprogramming and MicroarchitecturePublication : Los Alamitos, Calif. : IEEE Computer Society Press, c1998Description : xiv, 317 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[DAL 98] (1).
56. Congrès OOPSLA'15 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications : October 25-30, 2015, Pittsburgh, PA, USA ; edited by: Jonathan Aldrich, Patrick EugsterPublication : New York, NY : ACM Press, 2015Description : 1 vol. (XI-954 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PIT 15] (1).
57. Optimisation des transferts de données pour le traitement du signal : pavage, fusion et réallocation des tableaux / par Youcef Bouchebaba ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (156 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.790 CCL.TH.1064] (1). Copies available for reference: Bib. Paris[EMP 150.789 CCL.TH.1064] (1), Centre de recherche en informatique[02 BOU] (1).
58.  Monographies, textes Optimizing compilers for modern architectures [] : a dependence-based approach / Randy Allen,... [and] Ken Kennedy,...Publication : San Francisco, San Diego, New York [et al.] : M. Kaufmann, cop. 2002Description : 1 vol. (xxv-790 p.) : ill. ; 25 cm + errata, 1 p.Availability: No copies available Checked out (1).
59.  Monographies, textes Optimizing supercompilers for supercomputers / Michael WolfePublication : Cambridge, Mass. : MIT Press, London, England : Pitman Pub., 1989Description : 165 p. : ill. ; 23 cmAvailability: Copies available for loan: Centre de recherche en informatique[WOL] (1).
60. Congrès PACT 2002 [Texte imprimé] : 2002 International Conference on Parallel Architectures and Compilation Techniques : proceedings : 22-25 September, 2002, Charlottesville, Virginia, USA / sponsored by IEEE Computer Society Technical Committee on Computer Architecture ... [et al.]Publication : Los Alamitos, Calif. : IEEE Computer Society, cop. 2002Description : XVIII-305 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 02] (1).
61. Congrès Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers / O. Danvy, R. Glück, P. Thiemann (eds.)Publication : Berlin, New York : Springer, 1996Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2052] (1).
62. Congrès PLDI'15 : Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation : Portland, Oregon, June 13-17, 2015 ; edited by David Grove, Steve Blackburn ; sponsored by ACM SIGPLAN, supported by: NSF, Microsoft Research, Google, [et al.]Publication : New York N.Y. : Association for Computing Machinery, cop. 2015Description : 1 vol. (XV-632 p.) : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[POR 15] (1).
63. Congrès POPL' 16 : proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages : January 20-22, 2016, St. Petersburg, FL, USA ; edited by: Rastislav Bodik, Rupak Majumdar, Association for Computing Machinery ; sponsored by ACM SIGPLAN and ACM SIGACTPublication : New York(NY) : ACM Press, 2016Description : 1 vol. (XVI-817 p.) : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).
64. Congrès POPL' 17 : Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages : January 15-21, 2017, Paris, France ; edited by: Giuseppe Castagna, Andrew D. Gordon ; sponsored by ACM SIGPLAN, in-coop with ACM SIGACT and SIGLOGPublication : New York(NY) : ACM Press, 2017Description : 1 vol. (XIX-901 p.) : fig. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 17] (1).
65. Congrès Proceedings of the ACM SIGPLAN 1999 workshop on languages, compilers, and tools for embedded systems, Atlanta, GA, May 5, 1999 / [sponsored by the Special Interest Group on Programming Languages]Publication : New York : Association for Computing Machinery, c1999Description : vi, 120 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[ATL 99] (2).
66.  Monographies, textes Program Analysis and Compilation, Theory and Practice [] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : X-361 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[REP] (1).
67.  Monographies, textes Retargetable compilers for embedded core processors : methods and experiences in industrial applications / by Clifford LiemPublication : Boston : Kluwer Academic, c1997Description : xxvi, 155 p. : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[LIE] (1).
68. Congrès RSP 2000 [Texte imprimé] : Proceedings : 11th International Workshop on Rapid Systems Prototyping : June 21-23, 2000, Paris, France / sponsored by IEEE Computer Society Technical Committee on Design Automation, IEEE Computer Society Technical Committee on Simulation, IEEE Computer Society Technical Committee on Test TechnologyPublication : Los Alamitos, California : IEEE Computer Society, cop. 2000Description : VII-234 p. : ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 00] (1).
69.  Monographies, textes Symbolic analysis for parallelizing compilers [] / Mohammad R. Haghighat,...Publication : Boston, London, Dordrecht : Kluwer Academic, cop. 1995Description : XXIII-137 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1729] (1).
70.  Monographies, textes The art of compiler design [] : theory and practice / Thomas Pittman, James PetersPublication : Englewood Cliffs, NJ : Prentice Hall, cop. 1992Description : 1 vol. (xi, 420 p.) : ill. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-752] (1).
71.  Monographies, textes The compiler design handbook [] : optimizations and machine code generation / edited by Y. N. Srikant, P. ShankarPublication : Boca Raton (Fla), London : CRC Press, cop. 2003Description : XII-916 p. ; 27 cmAvailability: Copies available for loan: Centre de recherche en informatique[SRI] (1).
72.  Monographies, textes Translation of computer languages [] / Frederick W. WeingartenPublication : San Francisco, London, Toronto [etc.] : Holden-Day, 1973Description : 1 vol. (XI-180 p.) : ill ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1215A] (1).
73.  Monographies, textes Using rewriting techniques to produce code-generators and proving them correct / Annie Despland, Monique Mazaud, Raymond RakotozafyPublication : Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989Description : 31 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6361] (1).
74. Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code / par Thi Viet Nga Nguyen ; sous la dir. de François IrigoinPublication : 2002Description : 1 vol. (189 p.) ; 30 cmAvailability: Copies available for loan: Bib. Paris[EMP 150.759 CCL.TH.1063] (2). Copies available for reference: Centre de recherche en informatique[02 NGU] (1).

Powered by Koha