( en | de | ru )

 

Disambiguation of "Kusakabe, Shigeru"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Verifying VDM Using SPIN.

, , , and . FTSCS, volume 596 of Communications in Computer and Information Science, page 241-256. Springer, (2015)

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.

Shigeru Noda

Shigeru Taguchi

 

Other publications of authors with the same name

Leveraging Light-weight Formal Methods with Functional Programming Approach on Cloud., , and . ICSOFT (1), page 264-268. INSTICC Press, (2009)Parallelism Control and Storage Management in Datarol PE., , , and . IFIP Congress (1), volume A-12 of IFIP Transactions, page 535-541. North-Holland, (1992)Enforcing the optimal set of controls for state feedback with non-redundant controllers., , and . SMC, page 1394-1399. IEEE, (2007)Parallelism Control Scheme in a Dataflow Architecture., , , and . CONPAR, volume 634 of Lecture Notes in Computer Science, page 743-748. Springer, (1992)Effect of context aware scheduler on TLB., and . IPDPS, page 1-8. IEEE, (2008)Datarol-II: A Fine-Grain Massively Parallel Architecture., , , and . PARLE, volume 817 of Lecture Notes in Computer Science, page 781-784. Springer, (1994)Enhancing throughput of threaded servers on off-the-shelf LINUX platforms., and . Communications, Internet, and Information Technology, page 578-582. IASTED/ACTA Press, (2004)Co-processor System Design for Fine-Grain Message Handling in KUMP/D., , , and . Euro-Par, volume 1300 of Lecture Notes in Computer Science, page 779-788. Springer, (1997)A Dataflow-Based Massively Parallel Programming Language "V" and Its Implementation on a Stock Parallel Machine., and . Theory and Practice of Parallel Programming, volume 907 of Lecture Notes in Computer Science, page 457-471. Springer, (1994)Fine-Grain Multi-Thread Processor Architecture for Massively Parallel Processing., , , and . HPCA, page 308-317. IEEE Computer Society, (1995)