SPARAMAT - automatic detection of SPARse matrix computations in Application programs by pattern MATching techniques - Automatische Identifizierung von Operationen auf dünnbesetzten Matrizen in numerischen Anwendungsprogrammen durch Mustererkennung. Grundl

1 .在德国学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学，学习数学。日本kommen problem，它的第一个问题是：如何解决问题？ Datenabhängigkeiten，如何解决问题？父亲的母亲是安文东，母亲是德国人，母亲是德国人。我的意思是，我的意思是我的意思是我的意思是我的意思是我的意思。[Keß94] weiterentwickelt, indem wir zum einen inhierarchisches Konzeptsys- tem Zur kompakteren Wissensrepräsentation definiert and zum anderen speectiler Mustererkennung eingefhrt and mit Laufzeittechniken interaktiver Benutzereinbindung kombiniert haben。在生成分析器分析器中，在Rahmen des laufenden项目定义器中，在Rahmen des laufenden项目定义器中，在Rahmen实现器中，在konzepeptspezifikationsspachscsl中，在dereweterbarkeit中，在Anwendungsunabhängigkeit des sparamat系统定义器中。德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国德国

Bei der Untersuchung einer Reihe von öffentlich zugänglichen numerischen Quellcodes stellten wir fest, daß ein rein syntaktisch arbeitendes Vorgehen zur Mustererkennung bei Programmen mit dünnbesetzten Matritzen an den vielfältigen zu berücksichtigenden Datenabhängigkeiten scheitert. Hinzu kommen Probleme mit erst zur Laufzeit bekannten Datenabhängigkeiten, sowie eine Vervielfachung der syntaktischen Erscheinungsformen solcher Operationen. Daher reicht die Anwendung bisher bekannter Ver- fahren nicht aus; vielmehr müssen existierende Verfahren auf- grund der speziellen Kenntnis über den Anwendungsbereich verbessert werden. Zur automatischen Identifizierung der Konzepte haben wir ein automatenbasiertes Verfahren aus [Keß94] weiterentwickelt, indem wir zum einen ein hierarchisches Konzeptsys- tem zur kompakteren Wissensrepräsentation definiert und zum anderen spekulative Mustererkennung eingeführt und mit Laufzeittechniken interaktiver Benutzereinbindung kombiniert haben. Ein generativer Ansatz, aufbauend auf der im Rahmen des laufenden Projektes definierten, aber noch zu implementierenden Konzeptspezifikationssprache CSL, soll die Erweiterbarkeit und Anwendungsunabhängigkeit des SPARAMAT-Systems unterstützen. Vor allem wird aber durch die geplante Implementierung eines Mustererkennergenerators die Erfassung von Konzepten und Mustern im großen Stil - und damit die Verifikation der praktischen Einsetzbarkeit - technisch überhaupt erst ermöglicht.