Overview of the parallel inference machine operating system (PIMOS):
Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tune...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Tokyo, Japan
1989
|
| Schriftenreihe: | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report
483 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tuned to control highly parallel programs effectively is inevitable. The parallel inference machine operating system, PIMOS, is designed for this purpose. This paper describes an overview of the design of the PIMOS. The description language of the PIMOS, KL1, is based on a concurrent logic programming language, Flat GHC To obtain the functionality required for writing a complicated system such as an operating system the KL1 language made numerous extensions to the original GHC language, mainly for efficient meta-control. Based on the features provided by the KL1 language, the PIMOS is designed to be an efficient, robust and flexible operating system tuned to the parallel inference systems. Through its development, implementing an operating system in a concurrent logic programming language has been proved to be not only feasible but also advantageous. |
| Beschreibung: | 30 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010947979 | ||
| 003 | DE-604 | ||
| 005 | 19960912 | ||
| 007 | t | ||
| 008 | 960912s1989 |||| 00||| engod | ||
| 035 | |a (OCoLC)22745092 | ||
| 035 | |a (DE-599)BVBBV010947979 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G | ||
| 100 | 1 | |a Chikayama, Takashi |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Overview of the parallel inference machine operating system (PIMOS) |c by T. Chikayama, H. Satoh & T. Miyazaki |
| 264 | 1 | |a Tokyo, Japan |c 1989 | |
| 300 | |a 30 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 483 | |
| 520 | 3 | |a Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tuned to control highly parallel programs effectively is inevitable. The parallel inference machine operating system, PIMOS, is designed for this purpose. This paper describes an overview of the design of the PIMOS. The description language of the PIMOS, KL1, is based on a concurrent logic programming language, Flat GHC | |
| 520 | 3 | |a To obtain the functionality required for writing a complicated system such as an operating system the KL1 language made numerous extensions to the original GHC language, mainly for efficient meta-control. Based on the features provided by the KL1 language, the PIMOS is designed to be an efficient, robust and flexible operating system tuned to the parallel inference systems. Through its development, implementing an operating system in a concurrent logic programming language has been proved to be not only feasible but also advantageous. | |
| 650 | 4 | |a Inference |x Computer simulation | |
| 650 | 4 | |a Operating systems (Computers) | |
| 650 | 4 | |a Parallel processing (Electronic computers) | |
| 700 | 1 | |a Satoh, Hiroyuki |e Verfasser |4 aut | |
| 700 | 1 | |a Miyazaki, Toshihiko |e Verfasser |4 aut | |
| 830 | 0 | |a Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |v 483 |w (DE-604)BV010923438 |9 483 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007322083 | ||
Datensatz im Suchindex
| _version_ | 1804125434684637184 |
|---|---|
| any_adam_object | |
| author | Chikayama, Takashi Satoh, Hiroyuki Miyazaki, Toshihiko |
| author_facet | Chikayama, Takashi Satoh, Hiroyuki Miyazaki, Toshihiko |
| author_role | aut aut aut |
| author_sort | Chikayama, Takashi |
| author_variant | t c tc h s hs t m tm |
| building | Verbundindex |
| bvnumber | BV010947979 |
| ctrlnum | (OCoLC)22745092 (DE-599)BVBBV010947979 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02352nam a2200349 cb4500</leader><controlfield tag="001">BV010947979</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960912 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960912s1989 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)22745092</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010947979</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Chikayama, Takashi</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Overview of the parallel inference machine operating system (PIMOS)</subfield><subfield code="c">by T. Chikayama, H. Satoh & T. Miyazaki</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Tokyo, Japan</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">30 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">483</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tuned to control highly parallel programs effectively is inevitable. The parallel inference machine operating system, PIMOS, is designed for this purpose. This paper describes an overview of the design of the PIMOS. The description language of the PIMOS, KL1, is based on a concurrent logic programming language, Flat GHC</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">To obtain the functionality required for writing a complicated system such as an operating system the KL1 language made numerous extensions to the original GHC language, mainly for efficient meta-control. Based on the features provided by the KL1 language, the PIMOS is designed to be an efficient, robust and flexible operating system tuned to the parallel inference systems. Through its development, implementing an operating system in a concurrent logic programming language has been proved to be not only feasible but also advantageous.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Inference</subfield><subfield code="x">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating systems (Computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Satoh, Hiroyuki</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Miyazaki, Toshihiko</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report</subfield><subfield code="v">483</subfield><subfield code="w">(DE-604)BV010923438</subfield><subfield code="9">483</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007322083</subfield></datafield></record></collection> |
| id | DE-604.BV010947979 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:01:30Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007322083 |
| oclc_num | 22745092 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM |
| owner_facet | DE-91G DE-BY-TUM |
| physical | 30 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| record_format | marc |
| series | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| series2 | Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report |
| spelling | Chikayama, Takashi Verfasser aut Overview of the parallel inference machine operating system (PIMOS) by T. Chikayama, H. Satoh & T. Miyazaki Tokyo, Japan 1989 30 S. txt rdacontent n rdamedia nc rdacarrier Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 483 Abstract: "The parallel inference machines are being developed in the Japanese FGCS project to provide the computational power required for constructing high performance knowledge information processing systems. To fully exploit the power of parallel inference machines, an operating system tuned to control highly parallel programs effectively is inevitable. The parallel inference machine operating system, PIMOS, is designed for this purpose. This paper describes an overview of the design of the PIMOS. The description language of the PIMOS, KL1, is based on a concurrent logic programming language, Flat GHC To obtain the functionality required for writing a complicated system such as an operating system the KL1 language made numerous extensions to the original GHC language, mainly for efficient meta-control. Based on the features provided by the KL1 language, the PIMOS is designed to be an efficient, robust and flexible operating system tuned to the parallel inference systems. Through its development, implementing an operating system in a concurrent logic programming language has been proved to be not only feasible but also advantageous. Inference Computer simulation Operating systems (Computers) Parallel processing (Electronic computers) Satoh, Hiroyuki Verfasser aut Miyazaki, Toshihiko Verfasser aut Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report 483 (DE-604)BV010923438 483 |
| spellingShingle | Chikayama, Takashi Satoh, Hiroyuki Miyazaki, Toshihiko Overview of the parallel inference machine operating system (PIMOS) Shin-Sedai-Konpyūta-Gijutsu-Kaihatsu-Kikō <Tōkyō>: ICOT technical report Inference Computer simulation Operating systems (Computers) Parallel processing (Electronic computers) |
| title | Overview of the parallel inference machine operating system (PIMOS) |
| title_auth | Overview of the parallel inference machine operating system (PIMOS) |
| title_exact_search | Overview of the parallel inference machine operating system (PIMOS) |
| title_full | Overview of the parallel inference machine operating system (PIMOS) by T. Chikayama, H. Satoh & T. Miyazaki |
| title_fullStr | Overview of the parallel inference machine operating system (PIMOS) by T. Chikayama, H. Satoh & T. Miyazaki |
| title_full_unstemmed | Overview of the parallel inference machine operating system (PIMOS) by T. Chikayama, H. Satoh & T. Miyazaki |
| title_short | Overview of the parallel inference machine operating system (PIMOS) |
| title_sort | overview of the parallel inference machine operating system pimos |
| topic | Inference Computer simulation Operating systems (Computers) Parallel processing (Electronic computers) |
| topic_facet | Inference Computer simulation Operating systems (Computers) Parallel processing (Electronic computers) |
| volume_link | (DE-604)BV010923438 |
| work_keys_str_mv | AT chikayamatakashi overviewoftheparallelinferencemachineoperatingsystempimos AT satohhiroyuki overviewoftheparallelinferencemachineoperatingsystempimos AT miyazakitoshihiko overviewoftheparallelinferencemachineoperatingsystempimos |