( en | de | ru )

 

Disambiguierung von "Ushijima, Kazuo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.

, und . Ada-Europe, Volume 499 von Lecture Notes in Computer Science, Seite 125-146. Springer, (1991)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kazuo Inoue

Kazuo Okohira

Kazuo Yajima

Kazuo Araki

Kazuo OÌ no

 

Weitere Publikationen von Autoren mit dem selben Namen

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph., , und . APSEC, Seite 355-. IEEE Computer Society, (1996)A Test-case Generation Method for Concurrent Programs Including Task-types., , und . APSEC, Seite 485-494. IEEE Computer Society, (1997)Program dependence analysis of concurrent logic programs and its applications., , und . ICPADS, Seite 282-291. IEEE Computer Society, (1996)Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets., und . Ada-Europe, Volume 499 von Lecture Notes in Computer Science, Seite 125-146. Springer, (1991)Applying Design Patterns to Decision Tree Learning System., , und . SIGSOFT FSE, Seite 111-120. ACM, (1998)O(1) Time Algorithm on BSR for Computing Convex Hull., und . IASTED PDCS, Seite 143-143. IASTED/ACTA Press, (2002)Efficient Generation of Gray Codes for Reflectable Languages., , und . ICCSA (4), Volume 6019 von Lecture Notes in Computer Science, Seite 418-426. Springer, (2010)Tasking Deadlocks in Ada 95 Programs and Their Detection., und . Ada-Europe, Volume 1088 von Lecture Notes in Computer Science, Seite 135-146. Springer, (1996)A Run-Time Deadlock Detector for Concurrent Java Programs., , , , und . APSEC, Seite 45-52. IEEE Computer Society, (2001)Optimal Parallel Merging Algorithms on BSR., und . ISPAN, Seite 12-17. IEEE Computer Society, (2000)