Die Fachtagung IProzeSrechner" wurde vor 10 Jahren durch die Gesellschaft fiir Infor matik (GI), Gesellschaft fiir MeS- und Regelungstechnik (GMR) und dem Kernforschungs zentrum Karlsruhe (KfK) gemeinsam ins Leben gerufen und das erste Mal von der KfK in Karlsruhe ausgerichtet. Seither hat sich auf dem Gebiet der ProzeSdatenverarbeitung (PDV) ein technologischer Wandel vollzogen. Es wird heute eine Vielzahl von Systemkom ponenten und Rechnerarchitekturen angeboten, die eine starkere Integration der Daten verarbeitung mit der Nachrichtentechnik und ProzeSinstrumentierung erlauben. An die...

Der vorliegende Band enthalt die Beitrage zur Fachtagung Informationsbedarfsermittlung und -analyse fur den Entwurf von Informationssystemen, die von der Fachgruppe EMISA der Gesellschaft fur Informatik (GI) an der Universitat Linz im Juli 1987 durchgefuhrt wurde. Die Fachgruppe EMISA beschaftigt sich mit Methoden und Werkzeugen fur den Entwurf von Informationssystemen. Dabei haben verschiedene Tagungen der Fachgruppe spezielle Phasen oder Probleme des Entwurfsvorganges detailliert untersucht. Die Linzer Fachtagung ist vor allem denjenigen Fragen gewidmet, die am Beginn des...

Dieses Buch stellt eine Methodik zum systematischen Entwurf korrekter Mikroprogramme vor. Behandelt werden samtliche Phasen der Firmwareentwicklung: das Erstellen einer formalen Beschreibung der Anforderungen, Techniken zur hierarchischen Organisation des Entwurfs, die Mikroprogrammierung in einer geeigneten hoheren Mikroprogrammiersprache, sowie formale Techniken zur Uberprufung der Korrektheit des Entwurfs. Damit wird erstmals eine Firmwareverifikationsmethode vorgestellt, die sowohl fur beliebige Mikroarchitekturen einsetzbar ist als auch eine inkrementelle und modulare Verifikation des...

Die DAGM veranstaltet seit 1978 jahrlich an verschiedenen Orten ein wissenschaftliches Symposium mit dem Ziel, Aufgabenstellungen, Denkweisen und Forschungsergebnisse aus verschiedenen Gebieten der Mustererkennung vorzustellen, den Erfahrungs- und Ideenaustausch zwischen den Fachleuten anzuregen und den Nachwuchs zu fordern. Beitrage zum Symposium kommen nicht nur aus dem Inland, sondern aus dem gesamten deutschen Sprachraum und daruber hinaus. Die DAGM ist Mitglied der International Association for Pattern Recognition (IAPR). Der Tagungsband umfasst 3 eingeladene Votrage und 77 begutachtete...

Das vorliegende Buch behandelt die Synchronisation als eine der zentralen Funktionen zur Aufrechterhaltung der Integrit t in Datenbanksystemen. Der Schwerpunkt liegt dabei auf einer umfassenden Analyse des Einflusses von Synchronisationsma nahmen auf das Leistungsverhalten von Datenbanksystemen. Nach einer kurzen Einf hrung in die wesentlichen konzeptionellen Aspekte der Synchronisation werden ausf hrlich die Implementierungsaspekte der Synchronisationskomponente in Datenbanksystemen diskutiert. Da durch Synchronisationsma nahmen in praktischen Umst nden m glicherweise erheblich in die...

Der Band enthalt die Vortrage, die auf dem 10. DAGM-Symposium Ende September 1988 in Zurich gehalten wurden. Die DAGM veranstaltet seit 1978 jahrlich an verschiedenen Orten ein wissenschaftliches Symposium mit dem Ziel, Aufgabenstellungen, Denkweisen und Forschungsergebnisse aus verschiedenen Gebieten der Mustererkennung vorzustellen, den Erfahrungs- und Ideenaustausch zwischen den Fachleuten anzuregen und den Nachwuchs zu fordern. Die Beitrage zum Symposium kommen aus dem gesamten deutschen Sprachraum und daruber hinaus. Die DAGM ist Mitglied der International Association for Pattern...

Bei der praktischen Anwendung der Verkehrstheorie sind die Verteilungs- funktionen (VFn) der auftretenden Ankunftsabstande, Bedienungs- oder Transportzeiten zumeist nicht in analytischer Form bekannt, sondern es liegen oft nur Aussagen Uber die GraBe einiger Momente oder Uber die Werte der VF an diskreten Stellen vor. Dies ist der Fall bei Messungen an realen Systemen oder bei der Auswertung von umfangreichen System- simulationen (s. auch Anhang). Gesucht ist dann eine analytische Funk- tion, die diese Werte mit einer vorgeschriebenen Genauigkeit einhalt, den Bedingungen fUr eine...

Nach den vier vorangegangenen Fachtagungen 1) in Mlinchen (1971), Saar brlicken (1972), Kiel (1974) und Erlangen (1976) veranstaltet der Fach ausschuB Programmiersprachen der Gesellschaft flir Informatik 2) seine flinfte Fachtagung am 8. und 9. Marz 1978 in Braunschvleig. Hatten bei diesen Fachtagungen neben dem Ubersetzerbau zunachst Fragen des Entwurfes und der Definition von Programmiersprachen, danach der Semantik und Programmverifikation sowie spezieller Programmiersprachen im Vordergrund gestanden, so hatte sich der FachausschuB vorgenommen, diese Tagung vor allem der Anwendung von...

die Aufgabenstellung und damit die Organisation der Rechenzentren.