Zobrazeno 1 - 10
of 161
pro vyhledávání: '"Akinori Yonezawa"'
Publikováno v:
IPSJ Online Transactions. 4:228-239
GMount is a high-performance distributed file system with locality-aware metadata lookups and small installation effort. GMount organizes computer nodes in a decentralized hierarchical overlay to unify separate local file systems into a global shared
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::045f5ba6cf53da338f90102291e0dad2
https://doi.org/10.2197/ipsjtrans.4.228
https://doi.org/10.2197/ipsjtrans.4.228
Autor:
RICCI, ALESSANDRO, Akinori Yonezawa
The fundamental turn of software towards concurrency that we are witnessing today has a strong impact on modeling and programming. How to properly integrate ΟΟ modelling/programming and concurrency is still an open problem, in spite of the many ad-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______4094::ece0524d4db5f34c3daa1f362f27491b
http://hdl.handle.net/11585/398336
http://hdl.handle.net/11585/398336
Publikováno v:
ICFP
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml with two AOP mechanisms similar to those in AspectJ language. This paper describes the design and implementati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d44bcebe4570593c2a670679767dc014
https://doi.org/10.1145/1090189.1086405
https://doi.org/10.1145/1090189.1086405
Publikováno v:
IPSJ Digital Courier. 1:117-127
We show how to model and verify a concurrent program using the Coq proof assistant. The program in question is an existing mail server written in Java. The approach we take is to use an original library that provides a language for modeling, a logic,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::af2442240174affe0c5c0dbf2312b907
https://doi.org/10.2197/ipsjdc.1.117
https://doi.org/10.2197/ipsjdc.1.117
Autor:
Akinori Yonezawa, Etsuya Shibayama
Publikováno v:
New Generation Computing. 21:87-106
The rapid growth and penetration of the Internet are now leading us to a world where networks are ubiquitous and everything is connected. Breaking the distance barrier by the ubiquitous connection, however, is a two-edged sword. Our network infrastru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::72c1c78828db2af593ad4de815072bd7
https://doi.org/10.1007/bf03037627
https://doi.org/10.1007/bf03037627
Publikováno v:
CCGRID
We describe design and implementation of virtual private grid (VPG), a shell that can utilize many machines distributed over multiple subnets. VPG works around common security policies (e.g., firewall, private IP, DHCP) that restrict communication be
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f41383dfceb11ee7775991b920758d8c
https://doi.org/10.1016/s0167-739x(03)00036-0
https://doi.org/10.1016/s0167-739x(03)00036-0
Autor:
Kazuhiko Kato, Yuuichi Someya, Yutaka Moriyama, Tatsurou Sekiguchi, Kazumasa Itabashi, Akinori Yonezawa, Katsuya Matsubara
Publikováno v:
Systems and Computers in Japan. 34:32-42
An applet is program code which is downloaded dynamically from a server on the World Wide Web and which can be executed while maintaining security on the client side. The majority of applet systems at present, as represented by the Java Applet, imple
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a01dc67bd9b2143876290d403fa938ef
https://doi.org/10.1002/scj.10013
https://doi.org/10.1002/scj.10013
Autor:
Hidehiko Masuhara, Akinori Yonezawa
Publikováno v:
New Generation Computing. 20:101-124
This paper proposes a run-time bytecode specialization (BCS) technique that analyzes programs and generates specialized programs at run-time in an intermediate language. By using an intermediate language for code generation, a back-end system can opt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9728da0e05cbcf73170f93d19a85621a
https://doi.org/10.1007/bf03037261
https://doi.org/10.1007/bf03037261
Publikováno v:
ResearcherID
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::30eeefeea6d74437f91b49c899682cab
https://doi.org/10.1002/1096-9128(200005)12:6<407::aid-cpe482>3.0.co
https://doi.org/10.1002/1096-9128(200005)12:6<407::aid-cpe482>3.0.co
Autor:
Akinori Yonezawa
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662444702
Concurrent Objects and Beyond
Concurrent Objects and Beyond
Before attaining the mandatory retirement age of the University of Tokyo, I left the university and moved to the Riken Advanced Institute of Computational Science (AICS) in the spring of 2011. AICS is located in Kobe, which is 600 km to the west of T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::94123df0e8327551f8c2fae4721aadb4
https://doi.org/10.1007/978-3-662-44471-9_1
https://doi.org/10.1007/978-3-662-44471-9_1