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

6
Material Type:
Article
Ajouter à Mon espace

Debugging Multithreaded Programs as if They Were Sequential

Zhang, Xiaodong ; Yang, Zijiang ; Zheng, Qinghua ; Hao, Yu ; Liu, Pei ; Yu, Lechen ; Liu, Ting

IEEE Access 2018, Vol.6, pp.40024-40040 [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  (4)
  2. Autres  (1)
  3. Thèses  (1)
  4. Plus d’options open sub menu

Auteur 

  1. Katzenelson, Jacob  (1)
  2. Yu, Lechen  (1)
  3. Lapitre , Arnault  (1)
  4. European Project : CATRENE CA 703,OpenES  (1)
  5. Bannour , Boutheina  (1)
  6. Liu, Ting  (1)
  7. Zhang, Xiaodong  (1)
  8. Hao, Yu  (1)
  9. Zhang, X.  (1)
  10. Lyttle, D.  (1)
  11. Ford, Ray  (1)
  12. Arnaud , Mathilde  (1)
  13. Ford, R.  (1)
  14. Liu, T.  (1)
  15. 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  (1)
  16. Katzenelson, J  (1)
  17. Liu, Pei  (1)
  18. Liu, P.  (1)
  19. Strominger, Avy  (1)
  20. Strominger, A  (1)
  21. 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  (1)
  22. Yang, Zijiang  (1)
  23. Johnson, Mark Scott  (1)
  24. Zheng, Qinghua  (1)
  25. Lyttle, Dan  (1)
  26. Johnson, M.S.  (1)
  27. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1987  (1)
  2. 1987 à 1989  (1)
  3. 1990 à 1991  (1)
  4. 1992 à 2015  (2)
  5. Après 2015  (1)
  6. Plus d’options open sub menu

Nouvelles recherches suggérées

Ignorer ma requête et rechercher tous les documents

Auteur, coauteur:

  1. Katzenelson, Jacob
  2. Yu, Lechen
  3. Lapitre , Arnault
  4. European Project : CATRENE CA 703,OpenES
  5. Bannour , Boutheina

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é