Treffer 1 - 4 von 4 für Suche 'Holter, Karoliine', Suchdauer: 0,38s Treffer weiter einschränken
  1. 1
    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap

    Interactive abstract interpretation: reanalyzing multithreaded C programs for cheap von Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

    Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap von Erhard, Julian, Saan, Simmo, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Sound Static Data Race Verification for C: Is the Race Lost?

    Sound Static Data Race Verification for C: Is the Race Lost? von Holter, Karoliine, Saan, Simmo, Lam, Patrick, Vojdani, Vesal

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap

    Interactive Abstract Interpretation: Reanalyzing Whole Programs for Cheap von Erhard, Julian, Simmo Saan, Tilscher, Sarah, Schwarz, Michael, Holter, Karoliine, Vojdani, Vesal, Seidl, Helmut

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: