Modelling and performance analysis of a parallel theorem prover:
Abstract: "For the evaluation of the performance of an OR- parallel theorem prover (PARTHEO) on a network of transputers, a technique of modelling has been used to gain insight into the migration of proof tasks, load balancing, and the utilisation of the processors. The model which will be desc...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
München
1991
|
| Series: | Technische Universität <München>: TUM-I
9129 |
| Subjects: | |
| Summary: | Abstract: "For the evaluation of the performance of an OR- parallel theorem prover (PARTHEO) on a network of transputers, a technique of modelling has been used to gain insight into the migration of proof tasks, load balancing, and the utilisation of the processors. The model which will be described in this paper is a queueing network model extended with explicit process interaction and communication. It is evaluated by simulation using the software tools MAOS. In this paper we will present the results of several experiments which show the influence of parameters upon the distribution of proof tasks over the network of processors." |
| Physical Description: | 17 S. graph. Darst. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008993492 | ||
| 003 | DE-604 | ||
| 005 | 20040413 | ||
| 007 | t | ||
| 008 | 940206s1991 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)28296038 | ||
| 035 | |a (DE-599)BVBBV008993492 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T |a DE-91G | ||
| 100 | 1 | |a Jobmann, M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Modelling and performance analysis of a parallel theorem prover |c M. Jobmann ; J. Schumann |
| 264 | 1 | |a München |c 1991 | |
| 300 | |a 17 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Technische Universität <München>: TUM-I |v 9129 | |
| 490 | 1 | |a Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |v 1991,20 | |
| 520 | 3 | |a Abstract: "For the evaluation of the performance of an OR- parallel theorem prover (PARTHEO) on a network of transputers, a technique of modelling has been used to gain insight into the migration of proof tasks, load balancing, and the utilisation of the processors. The model which will be described in this paper is a queueing network model extended with explicit process interaction and communication. It is evaluated by simulation using the software tools MAOS. In this paper we will present the results of several experiments which show the influence of parameters upon the distribution of proof tasks over the network of processors." | |
| 650 | 4 | |a Automatic theorem proving | |
| 700 | 1 | |a Schumann, J. |e Verfasser |0 (DE-588)127288929 |4 aut | |
| 810 | 2 | |a A |t Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht |v 1991,20 |w (DE-604)BV004627888 |9 1991,20 | |
| 830 | 0 | |a Technische Universität <München>: TUM-I |v 9129 |w (DE-604)BV006185376 |9 9129 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005942256 | ||
Record in the Search Index
| _version_ | 1804123336023736320 |
|---|---|
| any_adam_object | |
| author | Jobmann, M. Schumann, J. |
| author_GND | (DE-588)127288929 |
| author_facet | Jobmann, M. Schumann, J. |
| author_role | aut aut |
| author_sort | Jobmann, M. |
| author_variant | m j mj j s js |
| building | Verbundindex |
| bvnumber | BV008993492 |
| ctrlnum | (OCoLC)28296038 (DE-599)BVBBV008993492 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01906nam a2200325 cb4500</leader><controlfield tag="001">BV008993492</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040413 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1991 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)28296038</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008993492</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Jobmann, M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modelling and performance analysis of a parallel theorem prover</subfield><subfield code="c">M. Jobmann ; J. Schumann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17 S.</subfield><subfield code="b">graph. Darst.</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">Technische Universität <München>: TUM-I</subfield><subfield code="v">9129</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A</subfield><subfield code="v">1991,20</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "For the evaluation of the performance of an OR- parallel theorem prover (PARTHEO) on a network of transputers, a technique of modelling has been used to gain insight into the migration of proof tasks, load balancing, and the utilisation of the processors. The model which will be described in this paper is a queueing network model extended with explicit process interaction and communication. It is evaluated by simulation using the software tools MAOS. In this paper we will present the results of several experiments which show the influence of parameters upon the distribution of proof tasks over the network of processors."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automatic theorem proving</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schumann, J.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)127288929</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">A</subfield><subfield code="t">Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht</subfield><subfield code="v">1991,20</subfield><subfield code="w">(DE-604)BV004627888</subfield><subfield code="9">1991,20</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Technische Universität <München>: TUM-I</subfield><subfield code="v">9129</subfield><subfield code="w">(DE-604)BV006185376</subfield><subfield code="9">9129</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005942256</subfield></datafield></record></collection> |
| id | DE-604.BV008993492 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:28:09Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005942256 |
| oclc_num | 28296038 |
| open_access_boolean | |
| owner | DE-29T DE-91G DE-BY-TUM |
| owner_facet | DE-29T DE-91G DE-BY-TUM |
| physical | 17 S. graph. Darst. |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| record_format | marc |
| series | Technische Universität <München>: TUM-I |
| series2 | Technische Universität <München>: TUM-I Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A |
| spelling | Jobmann, M. Verfasser aut Modelling and performance analysis of a parallel theorem prover M. Jobmann ; J. Schumann München 1991 17 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Technische Universität <München>: TUM-I 9129 Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht / A 1991,20 Abstract: "For the evaluation of the performance of an OR- parallel theorem prover (PARTHEO) on a network of transputers, a technique of modelling has been used to gain insight into the migration of proof tasks, load balancing, and the utilisation of the processors. The model which will be described in this paper is a queueing network model extended with explicit process interaction and communication. It is evaluated by simulation using the software tools MAOS. In this paper we will present the results of several experiments which show the influence of parameters upon the distribution of proof tasks over the network of processors." Automatic theorem proving Schumann, J. Verfasser (DE-588)127288929 aut A Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung paralleler Rechnerarchitekturen: SFB-Bericht 1991,20 (DE-604)BV004627888 1991,20 Technische Universität <München>: TUM-I 9129 (DE-604)BV006185376 9129 |
| spellingShingle | Jobmann, M. Schumann, J. Modelling and performance analysis of a parallel theorem prover Technische Universität <München>: TUM-I Automatic theorem proving |
| title | Modelling and performance analysis of a parallel theorem prover |
| title_auth | Modelling and performance analysis of a parallel theorem prover |
| title_exact_search | Modelling and performance analysis of a parallel theorem prover |
| title_full | Modelling and performance analysis of a parallel theorem prover M. Jobmann ; J. Schumann |
| title_fullStr | Modelling and performance analysis of a parallel theorem prover M. Jobmann ; J. Schumann |
| title_full_unstemmed | Modelling and performance analysis of a parallel theorem prover M. Jobmann ; J. Schumann |
| title_short | Modelling and performance analysis of a parallel theorem prover |
| title_sort | modelling and performance analysis of a parallel theorem prover |
| topic | Automatic theorem proving |
| topic_facet | Automatic theorem proving |
| volume_link | (DE-604)BV004627888 (DE-604)BV006185376 |
| work_keys_str_mv | AT jobmannm modellingandperformanceanalysisofaparalleltheoremprover AT schumannj modellingandperformanceanalysisofaparalleltheoremprover |