62754021
Transparent replication for fault tolerance in distributed Ada 95
In this paper we present the foundations of RAPIDS ("Replicated Ada Partitions In Distributed Systems"), an implementation of the PCS supporting the transparent replication of partitions in distributed Ada 95 using semi-active replication. The inherently non-deterministic executions of multi-tasked partitions are modeled as piecewise deterministic histories. I discuss the validity and correctness of this model of computation and show how it can be used for efficient semi-active replication. The R APIDS prototype ensures that replicas of a partition all go through the same history and are hence consistent.
1084067
On exceptions as first-class objects in Ada 95
This short position paper argues that it might be beneficial to try to bring the exception model of Ada 95 more in-line with the object-oriented model of programming. In particular, it is felt that exceptions --- being such an important concept for the development of fault-tolerant software --- have deserved a promotion to first-class objects of the language. It is proposed to resolve the somewhat awkward dichotomy of exceptions and exception occurrences as it exists now in Ada 95 by treating exceptions as (tagged) types, and exception occurrences as their instances.
196094
Integrating object-oriented programming and protected objects in Ada 95
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is a now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language, which is an extension to the object-based concurrent programming language Ada 83. Arguably, Ada 95 does not fully integrate its models of concurrency and object-oriented programming. For example, neither tasks nor protected objects are extensible. This article discusses ways in which protected objects can be made more extensible.
30440565
Ein optisches Meßsystem zur Echtzeitanalyse von Konturen mit der PLL-Schaltung
Mit einer einfachen analogen Phasenmestechnik, der PLL-Schaltung, lassen sich Phasenmessungen mit hoher Genauigkeit in Echtzeit realisieren. Insbesondere in optischen Messystemen, in denen mit einer Phasenbestimmung aus einem harmonischen Intensitatsmuster die gesuchte physikalische Mesgrose extrahiert werden mus, stellt die hier vorgestellte Methode eine lohnende Alternative zu den bekannten digitalen Auswertemethoden dar. Dabei entfallen sowohl die Beschrankung auf statische Phasenbilder sowie Problematiken bei der Phasenentfaltung. Die Konturmessung an einem Kalibrierkor per sowie ein Versuch zur Bestimmung des Kriechverhaltens eines PE-Schaumes werden als Beispielmessungen vorgestellt.
23941957
Model Checking
Die Gewährleistung der korrekten
Funktionsweise von Hard- und Software ist ein entscheidender
Faktor bei der heutigen Systementwicklung. Dies trifft ganz
besonders auf das Gebiet der sog. „sicherheitskritischen“
Systeme zu, bei dem ein Systemversagen Menschenleben gefährden
kann.
8186069
On solving large systems of polynomial equations appearing In discrete differential geometry
The poster describes methods that combined find all solutions of a very large overdetermined polynomial algebraic system for only up to 22 unknowns but with billions of equations all homogeneous of degree 8 with on average millions of terms each. This problem resulted from the classification of all integrable 3-dimensional scalar discrete quasilinear equations Q3 = 0 on an elementary cubic cell of the lattice Z3.
40351745
Vom Rechenzentrum zum Zentrum für Informations- und Kommunikationstechnik
Belege fur die technische Unterstutzung der menschlichen Informationsverarbeitung finden sich bis weit in die Vergangenheit. Die historischen Entwicklungslinien der drei Teilfunktionen der Informations- und Kommunikationstechnologie (IuK-Technik) — Transport, Verarbeitung und Speicherung — sind lange Zeit getrennt verlaufen. Hiermit ist gemeint, das die technischen Losungen fur die der drei Teilfunktionen unabhangig waren.
27997406
Forward Pruning and Other Heuristic Search Techniques in Tsume Go
Abstract G o T ools is the name of a computer program to analyse life and death fights in the game of go. First, a motivation for programing go is given. General aspects of the heuristic search performed in G o T ools are discussed. The absolute strength and the effect of forward tree pruning are tested in a competition between G o T ools and dan level human players. It is found that with a speed up of a factor of 30 the program still finds for 70% of the problems of a test set the correct first move. A suggestion is made to compare intelligence between contestants (in solving fully enclosed life/death problems) by comparing their relative increase in the time to solve problems with the increase of the difficulty of the problems. The rules of go are explained in the shortest possible form in Appendix A .