Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website; (3) the federal government Internet portal; or (4) a web search conducted using a commercial search engine such as
Accession Number ADA575478
Title Lightweight Specifications for Parallel Correctness.
Publication Date Dec 2012
Media Count 177p
Personal Author J. S. Burnim
Abstract With the spread of multicore processors, it is increasingly necessary for programmers to write parallel software. Yet writing correct parallel software with explicit multithreading remains a di cult undertaking. Though many tools exist to help test, debug, and verify parallel programs, such tools are often hindered by a lack of any specification from the programmer of the intended, correct parallel behavior of his or her software.
Keywords Computer programs

Source Agency Non Paid ADAS
NTIS Subject Category 62B - Computer Software
Corporate Author California Univ., Berkeley. Dept. of Electrical Engineering and Computer Science.
Document Type Thesis
Title Note Doctoral thesis.
NTIS Issue Number 1319
Contract Number N/A

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader