Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Kazuhito Ohmaki"'
Autor:
Hideki Mori, Takaaki Goto, Kensei Tsuchida, Yoshinao Isobe, Toshihiro Yoshizumi, Kazuhito Ohmaki
Publikováno v:
ICIT
An embedded system often consists of two or more processors for efficient control of various devices in parallel. However, it is difficult to correctly design parallel software for such an embedded system because of unexpected interference among proc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::01c01ae64c3d36ceefaac91baefd21db
https://doi.org/10.1109/icit.2016.7475023
https://doi.org/10.1109/icit.2016.7475023
Autor:
Kazuhito Ohmaki, Yuki Hasegawa, Yoshinao Isobe, Hideki Mori, Kensei Tsuchida, Yasunori Shiono
Publikováno v:
Journal of Information Processing. 20:559-569
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ce2e45bfd46ed4a15853d16ec35d2919
https://doi.org/10.2197/ipsjjip.20.559
https://doi.org/10.2197/ipsjjip.20.559
Autor:
Yoshinao Isobe, Kazuhito Ohmaki
Publikováno v:
APSEC
We define a process algebra DS@ to formally describe distributed systems and a process logic SP@ to formally describe their specifications. Then, we present a method to synthesize a distributed system (described in DS@) from given specifications (des
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab86e4ed61013900f68abffe2864dd30
https://doi.org/10.1109/apsec.2000.896684
https://doi.org/10.1109/apsec.2000.896684
Publikováno v:
Advances in Formal Methods ISBN: 9781441949653
FORTE
FORTE
In this paper, we show how to write a LOTOS simulator using OBJ. Both syntax rules and their inference rules (axioms) of LOTOS can be formally specified by operator definition part and equation definition part in OBJ, respectively.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bec82f07df9d1d8b2de761c2e0e35fcf
https://doi.org/10.1007/978-1-4757-6541-0_8
https://doi.org/10.1007/978-1-4757-6541-0_8
Publikováno v:
Advances in Computing Science ASIAN 98 ISBN: 9783540653882
ASIAN
ASIAN
LOTOS is a formal specification language, designed for the precise description of open distributed systems and protocols. Our purpose is to introduce the operators of logics (for example, disjunction, conjunction, greatest fixpoint, least fixpoint in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::67a946d80208923cc77f62224c7a4a6e
https://doi.org/10.1007/3-540-49366-2_20
https://doi.org/10.1007/3-540-49366-2_20
Publikováno v:
Algebraic Methodology and Software Technology ISBN: 9783540614630
AMAST
AMAST
In this paper we propose a process algebra, CCSG, in which we can approximately analyze processes by neglecting unimportant distant actions. Although many kinds of process algebra have already been proposed, there is a common problem that the number
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::411597b5ef9773502525cdf875568e6f
https://doi.org/10.1007/bfb0014326
https://doi.org/10.1007/bfb0014326
Autor:
Kenjiroh Yamanaka, Hirosato Tsuji, Toshihiko Shimizu, Yoshikazu Sato, Yoshinori Itabashi, Kazuhito Ohmaki
Publikováno v:
FORTE
LOTOS has attracted a lot of attention as a suitable language for formal description techniques, and a number of LOTOS processors have been proposed and implemented, that include specification simulators, test case generators, property checkers, and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f5383743daffdaaf76f273a380018540
https://doi.org/10.1016/b978-0-444-89402-1.50033-3
https://doi.org/10.1016/b978-0-444-89402-1.50033-3
Publikováno v:
Parallel Computing. 11:1-16
We have designed and implemented a machine, called TERM, in order to execute an equational language in parallel. The equational language is a non-procedural language based on the equational logic, and is a typical computational model of logical, alge
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90f69f4b5f5359176bbc50dac4fc85a9
https://doi.org/10.1016/0167-8191(89)90060-4
https://doi.org/10.1016/0167-8191(89)90060-4
Publikováno v:
Computer Languages. 9:39-49
The authors have developed an extended intelligent terminal system MDPS with four CRT displays controlled by microprocessors and with useful programming tools in order to achieve a high-level programming environment. The system is based on the fact t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1468acd4705625b723902b845adc6c0c
https://doi.org/10.1016/0096-0551(84)90011-0
https://doi.org/10.1016/0096-0551(84)90011-0
Publikováno v:
ResearcherID
Algebraic Methodology and Software Technology ISBN: 9783540600435
AMAST
Algebraic Methodology and Software Technology ISBN: 9783540600435
AMAST
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions of CCB, and give a sound and complete axiom system for the congruence r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cad380fde70130ea5cb966650b43f405
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1995BF02P00029&KeyUID=WOS:A1995BF02P00029
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=ORCID&SrcApp=OrcidOrg&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=WOS:A1995BF02P00029&KeyUID=WOS:A1995BF02P00029