Treffer 1 - 10 von 10 für Suche 'Rakamaric, Z.', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    A logic and decision procedure for predicate abstraction of heap-manipulating programs

    A logic and decision procedure for predicate abstraction of heap-manipulating programs von BINGHAM, Jesse, RAKAMARIC, Zvonimir


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    STORM: static unit checking of concurrent programs

    STORM: static unit checking of concurrent programs von Rakamaric, Z.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Java simulator of real-time scheduling algorithms

    Java simulator of real-time scheduling algorithms von Jakovljevic, G., Rakamaric, Z., Babic, D.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Bytecode optimization

    Bytecode optimization von Babic, D., Rakamaric, Z.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations

    Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations von Constantinides, G, Dahlqvist, F, Rakamaric, Z, Salvia, R

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Rigorous roundoff error analysis of probabilistic floating-point computations

    Rigorous roundoff error analysis of probabilistic floating-point computations von Constantinides, G, Dahlqvist, F, Rakamaric, Z, Salvia, R

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Automatic Inference of Frame Axioms Using Static Analysis

    Automatic Inference of Frame Axioms Using Static Analysis von Rakamaric, Z., Hu, A.J.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers

    Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers von Deligiannis, P, Donaldson, AF, Rakamaric, Z

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Portable Inter-workgroup Barrier Synchronisation for GPUs

    Portable Inter-workgroup Barrier Synchronisation for GPUs von Sorensen, T, Donaldson, AF, Batty, M, Gopalakrishnan, G, Rakamaric, Z

    Volltext bestellen
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Proving Termination by Divergence

    Proving Termination by Divergence von Babic, D., Hu, A.J., Rakamaric, Z.


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: