Suchergebnisse - "Information systems Data management systems Middleware for databases"
-
1
Falcon: fault localization in concurrent programs
ISBN: 9781605587196, 1605587192ISSN: 0270-5257Veröffentlicht: New York, NY, USA ACM 01.05.2010Veröffentlicht in 2010 ACM/IEEE 32nd International Conference on Software Engineering (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
Sacrificing a Little Space can Significantly Improve Monitoring of Time-Sensitive Cyber-Physical Systems
ISBN: 1479949302, 9781479949304, 1479949310, 9781479949311Veröffentlicht: Washington, DC, USA IEEE Computer Society 15.04.2014Veröffentlicht in ICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014) (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

