Author of the publication

Tasking Deadlocks in Ada 95 Programs and Their Detection.

, and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 135-146. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An Efficient Implementation for the BROADCAST Instruction of BSR+., , , and . IEEE Trans. Parallel Distributed Syst., 10 (8): 852-863 (1999)Time Optimal n-Size Matching Parentheses and Binary Tree Decoding Algorithms on a p-Processor BSR., , and . Parallel Process. Lett., 12 (3-4): 365-374 (2002)Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets., and . Ada-Europe, volume 499 of Lecture Notes in Computer Science, page 125-146. Springer, (1991)O(1) Time Algorithm on BSR for Computing Convex Hull., and . IASTED PDCS, page 143-143. IASTED/ACTA Press, (2002)Applying Design Patterns to Decision Tree Learning System., , and . SIGSOFT FSE, page 111-120. ACM, (1998)Program dependence analysis of concurrent logic programs and its applications., , and . ICPADS, page 282-291. IEEE Computer Society, (1996)A Test-case Generation Method for Concurrent Programs Including Task-types., , and . APSEC, page 485-494. IEEE Computer Society, (1997)A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph., , and . APSEC, page 355-. IEEE Computer Society, (1996)ANSV Problem on BSRs., and . Inf. Process. Lett., 65 (3): 135-138 (1998)Interactive Courseware Quiz Creator: An Adaptive Zero-Programming Content Development Tool for Students Learning and Testing via Intra/Internet., , and . WebNet, page 1340-1341. AACE, (1999)