Your search returned 57 results. Subscribe to this search

|
1. Congrès 20 Years of the ACM SIGPLAN conference on programming language design and implementation : 1979-1999 : a selection / ed. by Kathryn S. McKinleyPublication : New York : ACM Press, 2004Description : XI-672 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI21452] (2).
2. Articles A callgraph-based search strategy for automated performance diagnosis / {B. Miller, H. Cain, B. Wylie}Publication : Berlin, Heidelberg : Springer, 2000Description : P. 108-122 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 00] (1).
3. Thèses ANALYSE SEMANTIQUE DE STRUCTURES DE DONNEES DYNAMIQUES AVEC APPLICATION AU CAS PARTICULIER DE LANGAGES LISPIENS / JAN STRANSKY ; SOUS LA DIRECTION DE PATRICK COUSOTPublication : [S.l.] : [s.n.], 1988Description : 127 P. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-690] (2).
4. Congrès ANALYSIS OF C PROGRAMS FOR PARALLELIZATION IN THE PRESENCE OF POINTERS. / {V. Guarna}Publication : S.L. : [s.n.], 1987Description : 01 VOL.,92 P. : PR 3 ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6949] (1).
5. Congrès ANALYSIS OF POINTERS AND STRUCTURES. / {D. Chase, F. Zadeck, M. Wegman}Publication : S.L. : [s.n.], 1990Description : 01 VOL.,16 P. : 33 RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-009] (1).
6. Congrès Compiler construction [Texte imprimé] : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / Alan Mycroft, Andreas Zeller (eds.)Publication : Berlin, New York : Springer, cop. 2006Description : 1 vol. (XIII-276 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE 06] (1).
7. Congrès Compiler construction [ [Texte imprimé]] : 13th international conference, CC 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Evelyn Duesterwald (ed.)Publication : Berlin, New York : Springer, cop. 2004Description : 1 vol. (X-313 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BAR 04] (1).
8. Congrès Compiler construction : 24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015 : Proceedings / Björn Franke (ed.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (XII-253 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 15] (1).
9. Congrès Computer aided verification [ [Texte imprimé]] : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings ; Thomas Ball, Robert B. Jones (eds.)Publication : Berlin, New York : Springer, 2006Description : 1 vol. (XV-564 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SEA 06] (1).
10. Congrès Computer Aided Verification [ [Texte imprimé]] : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings ; Werner Damm, Holger Hermanns (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : 1 vol. (XV-562 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 07] (1).
11. Congrès Computer aided verification [ [Texte imprimé]] : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings ; Tayssir Touili, Byron Cook, Paul Jackson (eds.)Publication : Berlin, New York : Springer, cop. 2010Description : 1 vol. (XVI-676 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 10] (1).
12. Congrès Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 : Proceedings ; Armin Biere, Roderick Bloem (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-877 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[VIE 14] (1).
13. Congrès Conference proceedings of the 2002 International Conference on Supercomputing [Texte imprimé] : June 22-26, 2002, Columbia University, New York, New York, USA / sponsored by the Association for Computing Machinery, Special Interest Group on Computer Architecure (SIGARCH)Publication : New York, NY : Association for Computing Machinery, cop. 2002Description : X-328 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 02] (2).
14. Congrès Conference record of POPL 2005 : the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages (POPL'05) : january 12-14, 2005, Long Beach, California, USA : papers presented at the symposium / Martin Abadi, POPL'05 program chairPublication : New York : ACM Press, 2005Description : VIII-394 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LON 05] (2).
15. Congrès Conference record of POPL 2006 : the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages. Papers presented at the symposium ; foreword: Simon Peyton jonesPublication : New York : ACM Press, 2006Description : 1 vol. (X-422 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[CHA 06] (1).
16. Congrès CPC'98,seventh international workshop on compilers for parallel computers : Linköping, Sweden, June 29-July 1 1998 : proceedings / of an International Workshop ; ed. by Peter FritzsonPublication : Linkoping (SWE) : UniTryck, 1998Description : 295 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2443] (1).
17. Articles Demand-driven pointer analysis [[Texte imprimé]] / Nevin Heintze, Olivier TardieuPublication : New York : ACM Press, 2001Description : P. 24-34 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SNO 01] (1).
18. Articles Dimensions of precision in reference analysis of object-oriented programming languages [[Texte imprimé]] / {B. Ryder}Publication : Berlin, Heidelberg : Springer, 2003Description : P. 126-137 : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
19. Congrès Efficient, context-sensitive pointer analysis for C programs / {R. Wilson}Publication : Stanford (CA) : STANFORD UNIVERSITY, 1997Description : XVIII-196 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[97-WIL] (1).
20. Congrès Euro-Par 2000 : parallel processing; 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000proceedings / Arndt Bode ... [et al.] (eds.)Publication : Berlin : Springer, 2000Description : xxxv, 1368 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 00] (1).
21. Congrès Foundations of software engineering : proceedings / of the ACM SIGSOFT sixth International symposium on..., FSE-6, SIGSOFT'98, Lake Buena Vista, Florida, November 3-5, 1998 ; sp. by ACM SIGSOFT ; in coop. with ACM SIGPLANPublication : New York, NY : ACM, 1998Description : VIII-244 p. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LAK 98] (1).
22. Congrès Fundamental approaches to software engineering [Texte imprimé] : 6th international conference, FASE 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Mauro Pezzè (ed.)Publication : Berlin, New York : Springer, cop. 2003Description : XIV-402 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
23. Articles Incrementalized pointer and escape analysis [[Texte imprimé]] / Frédéric Vivien, Martin RinardPublication : New York : ACM Press, 2001Description : P. 35-46 : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[SNO 01] (1).
24. Articles Instance-wise points-to analysis for loop-based dependence testing [[Texte imprimé]] / {P. Wu, D. Padua, P. Feautrier, Z. Sura}Publication : New York : ACM Press, 2002Description : P. 262-273 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[NEW 02] (1).
25. Congrès International conference on parallel processing (ICPP'01) : proceedings : 3-7 september 2001, Valencia, Spain / ed. by Lionel M. Ni and Mateo ValeroPublication : Danvers (MA) : IEEE Computer society, 2001Description : XIX-590 p. : Ill. ; 28 cmAvailability: Copies available for loan: Centre de recherche en informatique[VAL 01] (1).

Powered by Koha