Your search returned 137 results. Subscribe to this search

|
1. Congrès ABSTRACT EXECUTION : A TECHNIQUE FOR EFFICIENTLY TRACING PROGRAMS. / {J. Larus}Publication :S.L. : [s.n.], 1990Description : 01 VOL.,30 P. : 13 RF ; 30 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-023] (1).
2. Congrès Acm/Onr Workshop on parallel and distributed debuggingPublication :1515, Broadway N.Y. 10036 : ACM, New York, 1993Description : 243 P., X RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1086] (1).
3. Congrès ACM Transactions on design automation of electronic systems : Volume 1, number 1-4, 1996, Volume 2, number 1-4, 1997, volume 3, numbers 1-4, 1998 / Jason Cong and Bryan Preas, directorsPublication :ACM, New York, 1515, Broadway N.Y. 10036, 1999Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI:8370] (1).
4. Congrès ACM Transactions on design automation of electronic systems : Volume 1-4, 1996-1999 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2000Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9085] (1).
5. Congrès ACM Transactions on design automation of electronic systems : Volume 1-5, 1996-2000 / editor in chief, Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2001Description : CD-ROM ; 18 cmAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9086] (1).
6. Ressources électroniques ACM Transactions on design automation of electronic systems : Volumes 1-6: 1996-2001 / editor in chief: Mary Jane IrwinPublication :1515, Broadway N.Y. 10036 : ACM, New York, 2002Description : 1 CD-ROMAvailability: Copies available for reference: Centre de recherche en informatique[CD BNI: 9919] (1).
7. Congrès ADA ENVIRONNEMENTS AND TOOLS. / {J. Urban}Publication :NEW-YORK : IEEE, 1985Description : P. 6 A 71 : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI7589] (1).
8. Congrès ALGORITHMIC DEBUGGING FOR IMPERATIVE LANGUAGES WITH SIDE-EFFECTS. / {N. Shahmehri, P. Fritzson}Publication :LINKOPING : LINKOPING UNIVERSITY, 1989Description : 01 VOL.,21 P. : PR 1 ; SWE CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6687] (1).
9.  Monographies, textes Analyse formelle d'algorithmes / R. Lesuisse,...Publication :Paris : Masson, 1984Description : 206 p ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2599] (1).
10. Congrès ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES. 2,SOFTWARE TRACK.Publication :WASHINGTON : IEEE, 1988Description : 01 VOL.,822 P. : X RF ; 28 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6277] (1).
11. Congrès ASE 2002 : 17th IEEE International conference on automated software engineering : proceedings : 23-27 september 2002, Edinburgh, UKPublication :Los Alamitos (CA) : IEEE Computer society, 2002Description : XIII-320 p. : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EDI 02] (1).
12. ASPLOS XII : twelfth International conference on Architectural support for programming languages and operating systems (Asplos-06) : october 21-25, 2006, San Jose, California / general chair: John Paul Shen, program chair: Margaret R. MartonosiPublication :New York, 1515, Broadway N.Y. 10036 : ACM, 2006Description : 1 vol. (XI-428 p.) : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN 06] (2).
13. Congrès ASPLOS-XVIII : Eigteenth International conference on architectural support for programming languages and operating systems, march 16-20, 2013, Houston, Texas, USA / sponsored by SIGARCH, SIGOPS, SIGPLANSet Level : , SIGPLAN notices, vol. 48, n° 4Publication :New York(NY) : Association for Computing Machinery, 2013Description : 1 vol. (XII-562 p.) : Fig. ; 28 cmAvailability: Copies available for reference: Bib. Fontainebleau[HOU 13] (1).
14. Congrès Automatic Detection of Nondeterminacy, and Scalar Optimizations in Parallel Programs / {S. Ghosh}Publication :S.L. : [s.n.], 1992Description : 144 P., PR 5 ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1148] (1).
15.  Monographies, textes Automatic parallelization of programs with tools of trace theory / Cérin, ChristophePublication :Orsay, France : Université Paris-Sud, Centre d'Orsay, Laboratoire de recherche en Informatique, 1992Description : 22 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-954] (1).
16. Articles Call-mark slicing: an efficient and economical way of reducing slice [[Texte imprimé]]Publication :New York : ACM, 1999Description : P. 422-431 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LOS 99] (1).
17. Congrès La chimie et la santé, au service de l'homme [Texte imprimé] / Jean-François Bach, Mireille Blanchard-Desce, Patrick Couvreur... [et al.] ; coordonné par Minh-Thu Dinh-Audouin, Rose Agnès Jacquesy, Danièle Olivier et Paul RignyPublication :Les Ulis : EDP sciences, DL 2009, cop. 2010Description : 1 vol. (180 p.) : ill. en noir et en coul., couv. ill. en coul. ; 24 cmAvailability: Copies available for loan: Bib. Paris[615.19 BAC c] (1).
18. Congrès CMMD user's guide : version 3.0Publication :Cambridge (MA) : Thinking machines corporation, 1993Description : 82 p. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1783] (1).
19. Articles Coca [[Texte imprimé]] : An automated debugger for CPublication :New York : ACM, 1999Description : P. 504-513 : Ill. ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[LOS 99] (1).
20. Congrès Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April, 1996 : proceedings / Tibor Gyimóthy, edPublication :Berlin, New York : Springer, c1996Description : X-355 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1801] (1).
21. Congrès Compilers for parallel computers, 2Publication :S.L. : [s.n.], 1993Description : 200 P., X RF ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1284] (1).
22. Congrès Computer architecture [Texte imprimé] : proceedings / the 21st Annual international symposium on ..., ISCA'94, April 18-21, 1994, Chicago, Illinois ; sp. by IEEE Computer society technical committee on computer architecture ; ACM SIGARCHPublication :Los Alamitos, CA, Brussels, Tokyo : IEEE computer society press, cop. 1994Description : 1 vol. (XII-394 p.) ; 28 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1535] (2).
23. Congrès CONPAR 90-VAPP IV, Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / H. Burkhart, edPublication :Berlin, New York : Springer-Verlag, c1990Description : xi, 900 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6891] (1).
24. Congrès Control and data flow analysis for parallel program debugging / {J. Kepler, D. Kranzlmuller, S. Grabner, A. Christanell, J. Volkert}Publication :S.L. : [s.n.], 1997Description : 81-95 p. : Ill. ; 30 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2265] (1).
25. Congrès Debugging a program with dbxPublication :Palo Alto (CA) : Sun microsystems, 2000Description : XVI-254 p. : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[Doc. BNI: 9101] (1).

Powered by Koha