skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse
Ajouter à Mon espace

Source-level debugging of automatically parallelized programs

S.L. : s.n., 1992

Voir les exemplaires

2
An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios
Material Type:
Autre
Ajouter à Mon espace

An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios

Arnaud , Mathilde ; Bannour , Boutheina ; Lapitre , Arnault ; Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués ( LISE ) ; Département Ingénierie Logiciels et Systèmes ( DILS ) ; Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ) ; Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ) ; Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay ; Département Ingénierie Logiciels et Systèmes ( DILS ) ; Laboratoire d'Intégration des Systèmes et des Technologies ( LIST ) ; Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay-Commissariat à l'énergie atomique et aux énergies alternatives ( CEA ) -Université Paris-Saclay ; European Project : CATRENE CA 703,OpenES

Usages of Symbolic Execution Workshop

HAL CCSD, 2015

Accessible en ligne

3
Material Type:
Article
Ajouter à Mon espace

A symbolic debugger for real‐time embedded Ada software

Lyttle, Dan ; Ford, Ray

Software: Practice and Experience, May 1990, Vol.20(5), pp.499-514 [Revue évaluée par les pairs]

Texte intégral disponible

4
Material Type:
Article
Ajouter à Mon espace

Debugging programs that use macro‐oriented data abstractions

Katzenelson, Jacob ; Strominger, Avy

Software: Practice and Experience, February 1987, Vol.17(2), pp.79-103 [Revue évaluée par les pairs]

Texte intégral disponible

Voir toutes les versions
5
Material Type:
Article
Ajouter à Mon espace

Dispel: A run-time debugging language

Johnson, Mark Scott

Computer Languages, 1981, Vol.6(2), pp.79-94 [Revue évaluée par les pairs]

Texte intégral disponible

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  (3)
  2. Autres  (1)
  3. Thèses  (1)
  4. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à

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é