( en | de | ru )

 

Disambiguation of "Araki, Keijiro"

Author of the publication

copydeleteadd this publication to your clipboard
The use of Ada in the development of distributed systems: experience implementing a communications system.

, and . WADAS, page 245-251. ACM, (1986)

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.

Kazuo Araki

Tadao Johannes Araki

Emiko Dorothea Araki

 

Other publications of authors with the same name

Privacy-Aware Location Dependent Services over Wireless Internet with Anycast., , and . Human.Society@Internet, volume 3597 of Lecture Notes in Computer Science, page 311-321. Springer, (2005)Specification slicing in formal methods of software development., and . COMPSAC, page 313-319. IEEE, (1993)Lamarckian Evolution of Associative Memory., and . International Conference on Evolutionary Computation, page 676-680. IEEE, (1996)Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware., , and . FM, volume 9109 of Lecture Notes in Computer Science, page 593-596. Springer, (2015)SIMPEL: An innovative web application interface supporting online course management system., and . ITHET, page 1-8. IEEE, (2012)Estimating Parallel Execution Time of Loops with Loop-Carried Dependencies., , , , and . ICPP, Vol. 3, page 61-69. IEEE Computer Society, (1996)0-8186-7623-X.Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , and . ICSOFT (1), page 264-268. INSTICC Press, (2009)Design of General Reliable Multicast Architecture with Active Network Framework., , and . ICOIN, page 825-830. IEEE Computer Society, (2001)A Calculus Based on the Agent-Place Model., and . ICFEM, page 56-63. IEEE Computer Society, (1998)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , and . SMC, page 1394-1399. IEEE, (2007)