PEARL 90 ¿ Workshop über Realzeitsysteme
Seit vielen Jahren sind Rechner bei der Automatisierung technischer Prozesse unverzichtlich. Dabei reicht die Palette der eingesetzten Systeme von Kleinstsystemen auf einer Kreditkarte bis zu sehr teuren Multiprozessorarchitekturen. Fast immer müssen die Rechnersysteme fähig sein, auf spontane äußere Ereignisse schnell zu reagieren oder - eventuell gleichzeitig - komplizierte zeitliche Steuerungsvorhaben einzuhalten. Dieses "Echtzeitverhalten" ist zentrales Thema dieses Tagungsbandes. Dabei werden ...
73,00 CHF
Ansätze kunsttherapeutischer Forschung
sondem darauf, was sich in der therapeutischen Aktion tatsachlich vollzieht.
98,00 CHF
Automatische Komplexitätsanalyse funktionaler Programme
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen, dessen Lösung das ...