Search Results - "Reliability Keywords Concurrent Object-Oriented Programming"

F.: Dynamic detection of atomic-set-serializability violations

Authors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Contributors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Source: http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.554.292
http://pp.info.uni-karlsruhe.de/uploads/publikationen/hammer08icse.pdf

F.: Dynamic detection of atomic-set-serializability violations

Authors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Contributors: Christian Hammer Julian Dolby M Ana Vaziri Frank Tip et al.

Source: http://www.cse.msu.edu/~cse914/Readings/dynamicDetectionOfAtomicSetSerializabilityViolations-icse08.pdf.

Subject Terms: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming—Parallel Programming, D.2.5 [Software Engineer- ing, Testing and Debugging—Tracing, D.2.4 [Software Engineering, Software/Program Verification—Reliability, F.3.2 [Logics and Meaning of Programs, Semantics of Programming Languages—Program Analysis General Terms Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atom- icity, Serializability, Dynamic Analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.548.9015

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.548.9015
http://www.cse.msu.edu/~cse914/Readings/dynamicDetectionOfAtomicSetSerializabilityViolations-icse08.pdf

Dynamic Detection of Atomic-Set-Serializability Violations

Authors: Christian Hammer Julian Dolby Mandana Vaziri et al.

Contributors: Christian Hammer Julian Dolby Mandana Vaziri et al.

Source: http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf.

Subject Terms: Algorithms, Experimentation, Measurement, Reliability Keywords Concurrent Object-Oriented Programming, Data Races, Atomicity, Serializability, Dynamic Analysis

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5310

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.5310
http://www.infosun.fim.uni-passau.de/st/papers/icse08/icse08-hammer.pdf