skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

Predicated array data-flow analysis for run-time parallelization

New York : ACM, 1998

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

DATA FLOW ANALYSIS OF ARRAY AND SCALAR REFERENCES.

S.L. : s.n., 1989

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Static analysis for guarded code : Thèmes 1 - Réseaux et systèmes - projet A3

Rocquencourt FRA : INRIA, 2000

Voir les exemplaires

4
Flow analysis of computer programs
Material Type:
Livre
Ajouter à Mon espace

Flow analysis of computer programs

Hecht, Matthew S.

New York Amsterdam Oxford : North-Holland, 1977

Voir les exemplaires

5
Material Type:
Thèse
Ajouter à Mon espace

Contribution à la parallélisation automatique de programmes Fortran comportant des appels de procédure

TRIOLET, Rémi

Fontainebleau : ENSMP, 1984

Voir les exemplaires  et autres localisations

6
Material Type:
Livre
Ajouter à Mon espace

Program Analysis for Software Tools and Engineering : proceedings

ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering Toulouse 1999 ; ACM Special Interest Group on Software Engineering ; ACM Special Interest Group on Programming Languages

New York : ACM, 1999

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

EFFICIENT (AN) ALGORITHM FOR INCREMENTAL DATA-FLOW ANALYSIS.

S.L. : s.n., 1989

Voir les exemplaires

8
Data flow analysis : Theory and Practice
Material Type:
Livre
Ajouter à Mon espace

Data flow analysis : Theory and Practice

Khedker, Uday P. ; Sanyal, Amitabha ; Karkare, Bageshri

Boca Raton : CRC, 2009

Voir les exemplaires

9
Material Type:
Thèse
Ajouter à Mon espace

INTERPROCEDURAL DATA FLOW ANALYSIS IN A PROGRAMMING ENVIRONMENT.

S.L. : s.n., 1983

Voir les exemplaires

10
Material Type:
Versions multiples

Principles of program analysis

Nielson, Flemming (1955-....) ; Nielson, Hanne Riis ; Hankin, Chris

Plusieurs versions trouvées
Il y a 2 versions

11
Material Type:
Livre
Ajouter à Mon espace

Control and data flow analysis for parallel program debugging

S.L. : s.n., 1997

Voir les exemplaires

12
Reasoning about program transformations : imperative programming and flow of data
Material Type:
Livre
Ajouter à Mon espace

Reasoning about program transformations : imperative programming and flow of data

Collard, Jean-François

New York Berlin Paris etc. : Springer, 2003

Voir les exemplaires

13
Fifth Working conference on reverse engineering (WCRE'98) : october 12-14, 1998, Honolulu, Hawaii, USA, proceedings
Material Type:
Livre
Ajouter à Mon espace

Fifth Working conference on reverse engineering (WCRE'98) : october 12-14, 1998, Honolulu, Hawaii, USA, proceedings

Los Alamitos CA : IEEE Computer society, 1998

Voir les exemplaires

14
Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages papers presented at the Symposium, Portland, Oregon, 16-18 January 2002
Material Type:
Livre
Ajouter à Mon espace

Conference record of POPL 2002 : the 29th ACM SIGPLAN-SIGACT symposium on principles of programming languages papers presented at the Symposium, Portland, Oregon, 16-18 January 2002

ACM Symposium on Principles of Programming Languages ACM Symposium on Principles of Programming Languages 29th Portland, Or. 2002 ; ACM Special Interest Group on Algorithms and Computation ; Association for Computing Machinery Special Interest Group on Programming Languages Etats Unis ; Association for Computing Machinery États-Unis

New York, N.Y. : Association for computing machinery, 2002

Voir les exemplaires

15
Engineering a compiler
Material Type:
Livre
Ajouter à Mon espace

Engineering a compiler

Cooper, Keith D. ; Torczon, Linda

San Francisco Calif. Oxford : Morgan Kaufmann Elsevier Science, cop. 2004

Voir les exemplaires

16
Optimal interprocedural program optimization : a new framwork and its application
Material Type:
Thèse
Ajouter à Mon espace

Optimal interprocedural program optimization : a new framwork and its application

Knoop, Jens

New York : Springer, 1998

Voir les exemplaires

17
POPL 00 : conference record
Material Type:
Livre
Ajouter à Mon espace

POPL 00 : conference record

ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages 27 Boston, MA US 2000 ; ACM Special Interest Group on Programming Languages ; ACM Special Interest Group on Algorithms and Computation Theory

New York : ACM, 2000

Voir les exemplaires

18
Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 proceedings
Material Type:
Livre
Ajouter à Mon espace

Static analysis : 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998 proceedings

International Symposium on Static Analysis International Symposium on Static Analysis 5th Pisa, Italy 1998 ; Levi, G. (1942-) Giorgio

Berlin New York : Springer, 1998

Voir les exemplaires

19
Material Type:
Livre
Ajouter à Mon espace

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

Abadi, Martín

New York : ACM Press, 2005

Voir les exemplaires

20
Compiler construction : 11th International Conference, CC 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 Proceedings
Material Type:
Livre
Ajouter à Mon espace

Compiler construction : 11th International Conference, CC 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 Proceedings

International Conference CC 2002 International Conference CC 2002 11th Grenoble, FR 2002 ; Horspool, R. Nigel (1948-) ; ETAPS Grenoble, France 2002

Berlin New York : Springer, 2002

Voir les exemplaires

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Articles  (25)
  2. Livres  (26)
  3. Thèses  (4)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1989  (5)
  2. 1989 à 1994  (14)
  3. 1995 à 1999  (19)
  4. 2000 à 2005  (13)
  5. Après 2005  (4)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré