Back to Results
First PageMeta Content
Sheaf / Mathematics / Computing / Concurrency control / Linearizability / Transaction processing


Verifying Atomicity via Data Independence Ohad Shacham Eran Yahav Guy Golan-Gueta
Add to Reading List

Document Date: 2014-07-08 18:07:14


Open Document

File Size: 696,45 KB

Share Result on Facebook

City

Server / Derby / San Jose / /

Company

Amf / DWR 26 / Israel Yahoo Labs / Adobe / Xbird 196 / Independence Ohad Shacham Eran Yahav Guy Golan-Gueta Yahoo Labs / FCM / AMD / /

Currency

USD / /

/

Facility

USA Tel Aviv University / USA Stanford University / Jack library JBoss AOP / Java Bean library Carbonado / Java library / Israel Alex Aiken Nathan Bronson Mooly Sagiv Stanford University / /

IndustryTerm

real-world applications / Web application framework ApacheCXF / runtime annotation processor / Web application framework Jack4j / compatibility tool / empirical study using code search engines / real life software / data grid tool / information management / servlet server / search space / /

OperatingSystem

Linux / /

Organization

National Science Foundation / Stanford University / US Federal Reserve / Tel Aviv University / Technion / /

Position

composed operations extractor / driver / influence driver / UML data models translator / CO Extractor / input driver / General / Composed Operation Extractor / programmer / /

ProgrammingLanguage

Ajax / Java / XQuery / C / /

SportsLeague

Stanford University / /

Technology

Cryptography / RAM / XQuery processor / Java / Relational database / Linux / unix / 1 / 430 runtime annotation processor / API / HTTP / android / operating system / operating systems / Ajax / /

URL

http /

SocialTag