Back to Results
First PageMeta Content
Programming language implementation / Software transactional memory / Transactional memory / Software engineering / Structure / Mathematics / Concurrency control / Transaction processing / Computing


1 Verifying Correctness of Transactional Memories Ariel Cohen (CS/CIMS/NYU, [removed]) John W. O’Leary (Intel, [removed]) Amir Pnueli (CS/CIMS/NYU, [removed]) Mark R. Tuttle (Intel, tuttle@
Add to Reading List

Document Date: 2007-10-07 00:00:00

Open Document

File Size: 177,65 KB

Share Result on Facebook

City

Suppport / Ottawa / New York / /

Company

Fair Discrete Systems / ACM Press / Reactive Systems / S. Marlow S. P. / Intel / /

Country

United States / /

/

Facility

University of Rochester / /

IndustryTerm

software transactional memory / abstract systems / multi-core processors / recent software implementations / ee protocols / software verification technology / finite-state systems / temporal operator / verification technology / software verification / /

MusicGroup

B. C. / /

Organization

Department of Computer Science / DC DA / University of Rochester / NYU / /

Person

T. Shpeisman / V / B. D. Carlstrom / Scott / Mark R. Tuttle / M. J. Moravan / Lenore D. Zuck / Amir Pnueli / M. F. Spear / V / Overlap (wo) Lazy / /

Position

Driver / writer / representative / programmer / /

ProgrammingLanguage

Java / R / DC / C++ / /

ProvinceOrState

Virginia / /

PublishedMedium

Theoretical Computer Science / /

RadioStation

8 What / /

Technology

software verification technology / ee protocols / Java / verification technology / /

SocialTag