DocumentCode :
317927
Title :
CTPLAN: A Planning-based Approach To Automatically Detecting Flaws In Concurrent Algorithms
Author :
Frincke, Deborah A. ; Archer, Myla ; Levitt, Karl
Author_Institution :
University of California, Davis
fYear :
1991
fDate :
22-25 Sep 1991
Firstpage :
151
Lastpage :
160
Keywords :
Costs; Counting circuits; Debugging; Interleaved codes; Performance evaluation; Programming profession; Prototypes; System recovery; System testing; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Knowledge-Based Software Engineering Conference, 1991. Proceedings., 6th Annual
ISSN :
1068-3062
Print_ISBN :
0-8186-2605-4
Type :
conf
DOI :
10.1109/KBSE.1991.638032
Filename :
638032
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=317927
بازگشت