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

PERFORMANCE CHARACTERIZATION OF N3S : A METHODOLOGY AND A CASE STUDY

S.L. : s.n., 1992

Voir les exemplaires

2
Material Type:
Livre
Ajouter à Mon espace

OMEGA - A DATA FLOW ANALYSIS TOOL FOR THE C PROGRAMMING LANGUAGE.

New York : IEEE, 1985

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

New types signatures for legacy fortran subroutines

New York : ACM, 1999

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Testability analysis for software components

Los Alamitos CA : IEEE Computer society, 2002

Voir les exemplaires

5
Material Type:
Versions multiples

Principles of program analysis.

Nielson, Flemming. ; Nielson, Hanne Riis. ; Hankin, Chris.

Plusieurs versions trouvées
Il y a 2 versions

6
Material Type:
Thèse
Ajouter à Mon espace

Détection et exploitation des récurrences dans les programmes scientifiques en vue de leur parallélisation

Paris : s.n., 1995

Voir les exemplaires  et autres localisations

7
Material Type:
Thèse
Ajouter à Mon espace

UTILISATION DES TRANSFORMATIONS SEMANTIQUES POUR LA CORRECTION AUTOMATIQUE DES PROGRAMMES

ADAM, ANNE

S.l. : s.n., 1978

Voir les exemplaires

8
ESOP '90 : proceedings ..
Material Type:
Acte de conférence
Ajouter à Mon espace

ESOP '90 : proceedings ..

European Symposium on Programming 003 Copenhagen 1990. ; Jones, Neil D. (1941-.....)

Berlin New York NY Paris : Springer, 1990

Voir les exemplaires

9
Partial evaluation and mixed computation : proceedings ..
Material Type:
Acte de conférence
Ajouter à Mon espace

Partial evaluation and mixed computation : proceedings ..

IFIP TC2 Workshop on Partial Evaluation and Mixed Computation Avernaes 1987. ; Bjorner, Dines ; Ershov, Andrei P. ; Jones, Neil D. (1941-....) ; International Federation for Information Processing.

Amsterdam New York NY Oxford : North-Holland, 1987

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

FORTRAN STATIC SOURCE CODE ANALYZER PROGRAM (SAP) SYSTEM DESCRIPTION.

MARYLAND : NASA, 1982

Voir les exemplaires

11
Material Type:
Thèse
Ajouter à Mon espace

SYSTEME (UN) QUI MET EN EVIDENCE DES ERREURS SEMANTIQUES DANS LES PROGRAMMES.

S.L. : s.n., 1978

Voir les exemplaires  et autres localisations

12
Material Type:
Livre
Ajouter à Mon espace

STATIC ANALYSIS OF PROGRAMS AS AN AID TO DEBUGGING.

New York : ACM, 1983

Voir les exemplaires

13
Material Type:
Livre
Ajouter à Mon espace

ANALYSE STATIQUE DES PROPRIETES LINEAIRES DES SYSTEMES INDETERMINISTES ET PARALLELES.

S.L. : s.n., 1983

Voir les exemplaires

14
Material Type:
Livre
Ajouter à Mon espace

Languages, compilers, & tools for real-time systems

New York : ACM, 1995

Voir les exemplaires  et autres localisations

15
SERIES GENERATRICES ET ANALYSE AUTOMATIQUE D'ALGORITHMES.
Material Type:
Thèse
Ajouter à Mon espace

SERIES GENERATRICES ET ANALYSE AUTOMATIQUE D'ALGORITHMES.

ROCQUENCOURT : INRIA, 1991

Voir les exemplaires  et autres localisations

16
Material Type:
Livre
Ajouter à Mon espace

A Static Parameter based performance Prediction tool for parallel programs

S.L. : s.n., 1993

Voir les exemplaires

17
Ninth Working conference on reverse engineering (WCRE 2002) : proceedings : 29 october - 1 november 2002, Richmond, Virginia
Material Type:
Livre
Ajouter à Mon espace

Ninth Working conference on reverse engineering (WCRE 2002) : proceedings : 29 october - 1 november 2002, Richmond, Virginia

Los Alamitos CA : IEEE Computer society, 2002

Voir les exemplaires

18
Material Type:
Thèse
Ajouter à Mon espace

Compilation techniques for explicitly parallel programs

Urbana IL : UNIV. ILLINOIS, 1999

Voir les exemplaires

19
International Conference on Software Maintenance : proceedings October 3-6, 2002, Montreal, Quebec, Canada
Material Type:
Livre
Ajouter à Mon espace

International Conference on Software Maintenance : proceedings October 3-6, 2002, Montreal, Quebec, Canada

International Conference on Software Maintenance International Conference on Software Maintenance Montreal, Canada 2002 ; IEEE Computer Society Technical Council on Software Engineering

Los Alamitos, California : IEEE Computer Society, 2002

Voir les exemplaires

20
Material Type:
Thèse
Ajouter à Mon espace

Analyse statique et dynamique de la complexité des programmes scientifiques

ZHOU, Lei

Paris : ENSMP, 1994

Voir les exemplaires  et autres localisations

Résultats 1 2 3 4 5 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. Actes de conférence  (3)
  2. Articles  (15)
  3. Autres  (5)
  4. Livres  (191)
  5. Thèses  (28)
  6. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1980  (20)
  2. 1980 à 1988  (36)
  3. 1989 à 1997  (84)
  4. 1998 à 2007  (76)
  5. Après 2007  (30)
  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é