( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Selection Technique for Replicated Multicast Video Servers.

, , , , и . ICPP, стр. 556-566. IEEE Computer Society, (2002)

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.

Kenichi Ishikawa

Yasaburo Taniguchi

Kenichi Kida

Kenichi Moriya

Kenichi Okuda

 

Другие публикации лиц с тем же именем

Automated Verification of Equivalence of Protocol Machines., , , , и . PSTV, стр. 235-246. North-Holland, (1989)A LOTOS Compiler Generating Multi-threaded Object Codes., , , , и . FORTE, том 43 из IFIP Conference Proceedings, стр. 271-286. Chapman & Hall, (1995)Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol., , , , и . Syst. Comput. Jpn., 20 (5): 57-68 (1989)Extension of SMIL with QoS Control and its Implementation., , , , , и . IEEE International Conference on Multimedia and Expo (III), стр. 1683-1686. IEEE Computer Society, (2000)A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels., , , , , и . FME, том 2391 из Lecture Notes in Computer Science, стр. 607-624. Springer, (2002)Protocol Synthesis from Time Petri Net Based Service Specification., , , и . ICPADS, стр. 236-243. IEEE Computer Society, (1997)Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach., , , и . TPCD, том 901 из Lecture Notes in Computer Science, стр. 165-184. Springer, (1994)Protocol visualization using LOTOS multi-rendezvous mechanism., , , и . ICNP, стр. 118-125. IEEE Computer Society, (1995)Formal Verification of CPU in Laboratory Work., , , , и . MSE, стр. 32-34. IEEE Computer Society, (2001)LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic., , и . FORTE, том C-22 из IFIP Transactions, стр. 451-466. North-Holland, (1993)