Back to Results
First PageMeta Content
Linear algebra / Euclidean vector / Vector calculus / Pointwise / ALGOL 68 / Vector space / Coproduct / Algebra / Mathematics / Abstract algebra


Commutativity Race Detection Dimitar Dimitrov Veselin Raychev Martin Vechev
Add to Reading List

Document Date: 2014-04-06 14:28:50

Open Document

File Size: 489,08 KB

Share Result on Facebook

City

Edinburgh / /

Company

K. AND C HEW L. P. / Define Co . / /

Country

United Kingdom / /

Currency

USD / /

/

Event

Product Issues / Product Recall / /

Facility

Version Store / New York University / /

IndustryTerm

real-world applications / multicore processors / database server / concurrent algorithms / atomicity algorithms / industrial applications / race detection algorithm / commutativity race detection algorithm / labeled transition systems / /

Organization

New York University / /

Person

Cassandra ComplexConcurrency / Dimitar Dimitrov Veselin Raychev Martin / Veselin Raychev Martin Vechev Eric / /

Position

translator / points translator / /

Product

Challenges / /

ProgrammingLanguage

SQL / Java / C / K / /

ProvinceOrState

Hawaii / /

PublishedMedium

Journal of the ACM / Communications of the ACM / /

Technology

analysis algorithm / Java / commutativity race detection algorithm / atomicity algorithms / 5.4 Algorithm / multicore processors / race detection algorithm / operating system / /

URL

http /

SocialTag