Suchergebnisse - "Information systems Data management systems Middleware for databases"

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1

    Falcon: fault localization in concurrent programs von Park, Sangmin, Vuduc, Richard W., Harrold, Mary Jean

    ISBN: 9781605587196, 1605587192
    ISSN: 0270-5257
    Veröffentlicht: New York, NY, USA ACM 01.05.2010
    “… Concurrency fault are difficult to find because they usually occur under specific thread interleavings. Fault-detection tools in this area find data-access …”
    Volltext
    Tagungsbericht
  2. 2

    Sacrificing a Little Space can Significantly Improve Monitoring of Time-Sensitive Cyber-Physical Systems von Medhat, Ramy, Kumar, Deepak, Bonakdarpour, Borzoo, Fischmeister, Sebastian

    ISBN: 1479949302, 9781479949304, 1479949310, 9781479949311
    Veröffentlicht: Washington, DC, USA IEEE Computer Society 15.04.2014
    “… The goal of runtime verification is to inspect the correctness of a system by incorporating a monitor during its execution. Predictability of time distribution …”
    Volltext
    Tagungsbericht