Im Rahmen des ELAN Projekts des Landes Niedersachsen wird der Aufbau eines Lehrverbundes Informatik zwischen der Universität Göttingen und der Technischen Universität Clausthal durchgeführt. Im Bereich der Informatik sollen Kapazitäten und Ressourcen zusammengeführt werden, um standortübergreifend für beide Hochschulen eine umfangreiche und hochwertige Informatikausbildung zu gewährleisten. In ...

In this paper we present a view of constraint programming based on the notion of rewriting controlled by strategies. We argue that this concept allows us to describe in a uniied way the constraint solving mechanism as well as the metalanguage needed to manipulate the constraints. This has the advantage to provide descriptions that are very close to the proof theoretical setting used now to desc...

Reconfigurable Systolic Arrays are a generalization of Systolic Arrays where node operations and interconnections can be redefined even at run time. This flexibility increases the range of systolic array’s application, making the choice of the best systolic architecture to a given problem a critical task. In this work we investigate the specification and verification of such architectures using...