Back to Results
First PageMeta Content
Arrays / Computer memory / Data types / Parallel computing / ATS / Linearizability / Circular buffer / Variable / Lookup table / Computing / Software engineering / Computer programming


Using Lightweight Theorem Proving in an Asynchronous Systems Context Matthew Danish and Hongwei Xi Boston University Computer Science 111 Cummington Mall Boston, MA 02215
Add to Reading List

Document Date: 2014-04-20 18:02:21

Open Document

File Size: 351,60 KB

Share Result on Facebook

City

Boston / /

Company

Springer International Publishing Switzerland / /

Facility

University Computer Science / Cummington Mall / /

IndustryTerm

shared memory communication protocol / real-time operating system / bare metal programming / computer systems / low-level concurrent systems / /

Organization

Boston University / National Science Foundation / /

Person

Matthew Danish / Fig / /

Position

author / writer / coherent data reader writer / programmer / latest coherent data reader writer / /

ProgrammingLanguage

R / C / /

ProvinceOrState

Massachusetts / /

Technology

functional programming / real-time operating system / shared memory / shared memory communication protocol / /

SocialTag