Abstrakte parallele Maschinen für das Polytopenmodell

..。它是一个多层次的模型，它不是世界上最好的东西。我们经常会遇到这样的问题，那就是与L并行不悖，同时也是一种通用的编译技术。在L的工作中，他的柴油错误和模型的质量很高。大北河流域经常出现一种新的环境。在实施过程中，我们需要更多的时间和精力，而不是为了更好地实现这些目标。PolyAPM verfolgt dagegen den Anatz der“Familie Alternativer Implementierungen”。在这里，我们将会有一个更好的选择，那就是。“abstrakten parallen maschinen”(APM)，entwickelt.您的位置：我也知道>地区>德国。Das Ziel von PolyAPM ist，auf diese Weise einen system scherenüberblicküber die Fürors and Widers Alternativer Paraller Implementierungen zu Erlangen.我们在此进行了一系列的实验。Ein Sondergutachter für Informatik Schreibt：“...ALS Ausangspunkt将使用Funktionale Programmiersprache“Haskell”Gewählt；Ather die verschiedenen abstrakten parstrakten parparken Well den dh ch Haskell-Program reprräsentiert。除了C代码外，还包括命令性程序，例如公共通信程序。这是一项非常重要的工作，它是一项非常重要的工作，它是一项非常重要的工作，它是一项重要的工作。一个男人死了，他死了，他死了。他说：“这是一件非常重要的事情。..。他说：“我不想这样做。”Ein Fachgutachter für Praktische Informatik Tilt MIT：“...这句话的意思是：Das Vorhaben hat zum ziel，verschiedene paralle parplementierungen für SchleifenProgram zu entwickeln and zu vergleichen.Sind De Schleifen程序在“Haskell”公式中给出了“数组理解”。在“Haskell”公式中实现了“abstrakter parparer maschinen”Sollen ebendown。他说：“这是一件非常重要的事情。”Es gibt zwei，niht sonderlich aufregende shop-Veröffentlichungen Aus den Jahren 1997和1999-die letztere skizziert den Anatz Grob...。在festzuhalten，daüder Antrag aufgrund unzureichender Vorarbeiten，eines zu schwammig abgefaüten arbeitspaketters and institlicher UnstimMickeiten als nnht förderungswürdierachtet wird.Der Vorsitzende des Fachausschusses Informatik Meint abschlie？end：“Zu Diesem Projekt liegt Ein sehr Posives Vorgutachten eines Sondergutachters and Experten im gesamten Bereich Bereich der Programmierung and Ein Ein Negans Vorgutachen eines Fachgutachters vor，der Jedoch Selber Schreibt，daüer auf Dem zEntralen Gebiet des Antrags Experist.他说：“这是一件非常重要的事情。”我的本色是：我的朋友，我的朋友。《每日电讯报》出版了一本名为Seit Jahren auf International alem niveau im Bereich der Parallelmierung的书。他说：“这是一件非常重要的事情。”这是一个自动的并行程序和算法，从Vektoren和Matritzen。这句话的意思是：“我的意思是，我不知道该怎么做。”随着时间的推移，我们并不是唯一的，也不是真正的。在Einem zentalen Gebiet hoffen的Lassen auf Gute Ergebnisse程序。他说：“我不知道这是怎么回事。企业：Förderung duch eine bat IIa-Stelle für 2 Jahre；1 HK-Stelle(19 Std./Woche)für 2 Jahre；DM 4.000，-für Reisen.

... Die Anwendbarkeit des Polytopenmodells ist im letzten Jahrzehnt erheblich erweitert worden. Dies führt allerdings auch oft zu weit komplizierteren parallelen Lösungen als die gegenwärtige Compilertechnologie verarbeiten kann. Daher muß jetzt das Hauptaugenmerk auf der Umsetzung dieser Erfolge auf der Modellebene in effizenten Lösungen auf der Zielcodeebene liegen. Dabei müssen eine Anzahl oft maschinenabhängiger Entscheidungen getroffen werden. Die Vorgehensweise in gegenwärtigen Implementierungsprojekten ist, diese Entscheidungen in einer sequentiellen Reihenfolge mit Blick auf eine einzige Zielimplementation, ohne vergleichende Studien zu fällen. PolyAPM verfolgt dagegen den Ansatz der "Familie alternativer Implementierungen". Hier wird von der Modellebene ausgehend ein Baum von alternativen Verfeinerungen, sog. "abstrakten parallelen Maschinen" (APMs), entwickelt. Die Blätter des voll entwickelten Baums stellen alternative Zielcodelösungen dar. Das Ziel von PolyAPM ist, auf diese Weise einen systematischeren Überblick über die Fürs und Widers alternativer paralleler Implementierungen zu erlangen. Wir werden unsere Bewertung verschiedener Implementierungen mit experimentellen Fallstudien untermauern. Ein Sondergutachter für Informatik schreibt:"... Als Ausgangspunkt wird die funktionale Programmiersprache "Haskell" gewählt; auch die verschiedenen abstrakten parallelen Maschinen werden durch Haskell-Programme repräsentiert. Der endgültige Zielcode soll hingegen C-Code, also eine imperative Programmiersprache, samt entsprechenden Kommunikationsprimitiven sein. Der Antragsteller verspricht sich von dieser Vorgehensweise nicht nur eine Erleichterung der Arbeit, sondern auch ein Demonstrationsbeispiel, um die Möglichkeiten und Vorzüge funktionaler Programmierung anstelle der üblichen imperativen Programmierung im wissenschaftlichen Rechnen deutlicher herauszustellen. Insgesamt ist dies ein wohldurchdachter Antrag für ein lohnendes Ziel. Die dem Antrag beigefügte Arbeit zeigt bereits erste veröffentlichungsreife Ergebnisse auf dem Weg zum angestrebten Ziel. ... Entscheidungsvorschlag: bewilligen wie beantragt." Ein Fachgutachter für Praktische Informatik teilt mit:"... Das Vorhaben hat zum Ziel, verschiedene parallele Implementierungen für Schleifenprogramme zu entwickeln und zu vergleichen. Die Schleifenprogramme sind dabei in "Haskell" formuliert und verwenden als wesentliches Konstrukt sogenannte "array comprehensions". Die verschiedenen Implementierungszweige auf Basis "abstrakter paralleler Maschinen" sollen ebenfalls in "Haskell" formuliert werden. Die Vorarbeiten zu diesem konkreten Vorhaben sind relativ dürftig; die bisher erzielten experimentellen Ergebnisse mager. Es gibt zwei, nicht sonderlich aufregende Workshop-Veröffentlichungen aus den Jahren 1997 und 1999 - die letztere skizziert den Ansatz grob. ... Insgesamt ist festzuhalten, daß der Antrag aufgrund unzureichender Vorarbeiten, eines zu schwammig abgefaßten Arbeitspaketes und inhaltlicher Unstimmigkeiten als nicht förderungswürdig erachtet wird." Der Vorsitzende des Fachausschusses Informatik meint abschließend: "Zu diesem Projekt liegt ein sehr positives Vorgutachten eines Sondergutachters und Experten im gesamten Bereich der Programmierung und ein negatives Vorgutachen eines Fachgutachters vor, der jedoch selber schreibt, daß er auf dem zentralen Gebiet des Antrags kein Experte ist. Die Kritikpunkte beziehen sich daher mehr auf mangelndes Kontextwissen (und damit auf eine kleine Schwäche des Antrags, sich zu stark an Experten zu wenden). Mein eigener Eindruck von dem Antrag stimmt mit dem positiven Vorgutachten überein. Der Antragsteller publiziert seit Jahren auf internationalem Niveau im Bereich der Parallelprogrammierung. Vorarbeiten zu diesem speziellen Vorhaben liegen umfassend vor, ein technischer Bericht enthält veröffentlichungswürdige Resultate. Es geht um die automatische Parallelisierung sequentieller Algorithmen auf Vektoren und Matritzen. Dabei werden ganz neue Ansätze vorgeschlagen, um implizite Abhängigkeiten zu erkennen. Dies wird Entscheidungen, wie parallelisiert werden soll, unterstützen. Ziel und Arbeitsprogramm lassen auf gute Ergebnisse in einem zentralen Gebiet hoffen. Die Förderungsempfehlung kann uneingeschränkt ausgesprochen werden. Entscheidungsvorschlag: Förderung durch eine BAT IIa-Stelle für 2 Jahre; 1 HK-Stelle (19 Std./Woche) für 2 Jahre; DM 4.000,-- für Reisen."