Round-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structures

Simple item page
dc.contributor.authorZhang, Lu
dc.contributor.authorChattopadhyay, Arijit
dc.contributor.authorWang, Chao
dc.date.accessioned2022-02-24T09:18:48Z
dc.date.available2022-02-24T09:18:48Z
dc.date.issued2015
dc.description1202-1216 p. ; 714ko.en_US
dc.identifier.issn0098-5589
dc.identifier.urihttp://repository.usthb.dz//xmlui/handle/123456789/9018
dc.language.isoenen_US
dc.publisherInstitute of electrical and electronics engineersen_US
dc.subjectQuasilinéarisationen_US
dc.subjectEquations différentielles non linéaires : Solutions numériquesen_US
dc.subjectCompilateur LLVMen_US
dc.subjectCode sourceen_US
dc.subjectCompilation (informatique)en_US
dc.titleRound-Up : Runtime Verification of Quasi Linearizability for Concurrent Data Structuresen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
nl3291.pdf
Size:
713.17 KB
Format:
Adobe Portable Document Format
Description:
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Articles Électroniques