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 http://www.gpo.gov/fdsys; (3) the federal government Internet portal USA.gov; or (4) a web search conducted using a commercial search engine such as http://www.google.com.
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
Programmers
Theses
Writing

 
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