Tag des Kolloquiums: 22.10.1999 (2009)
Florian Martin, Dekan Prof, Dr. W. J. Paul, Gutachter Prof, Dr. R. Wilhelm, ...
In this work the automatic generation of program analyzers from concise specifications is presented. It focuses on provably correct and complex interprocedural analyses for real world sized...
The SPARK 2.0 system - a special purpose vector processor with a VectorPASCAL compiler (2008)
A. Formella, A. Obé, W. J. Paul, T. Rauber, D. Schmidt
This paper describes the architecture of the Spark 2.0 processor and introduces a compiler for VectorPascal. Features of the architecture are the flexible address generation during vector operations...
Pinchuk, R., Kröning, M., Sklarczyk, C., Paul, W.J.
A large number of microwave sensors are available on the market today. Unfortunately, sensors of high quality are very expensive and tend to be stationary, making them unsuitable for integrating into...
Pinchuk, R., Kröning, M., Sklarczyk, C., Paul, W.J.
A large number of microwave sensors are available on the market today. Unfortunately, sensors of high quality are very expensive and tend to be stationary, making them unsuitable for integrating into...
S. Beyer, C. Jacobi, D. Kröning, D. Leinenbach, W. J. Paul
Abstract. In the VAMP (verified architecture microprocessor) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo...
Time-Space Trade-offs in a Pebble Game, (2002)
A certain pebble game on graphs has been studied in various contexts as a model for the time and space requirements of computations. In this note it is shown that there exists a family of directed...
High Performance Transaction Systems on the SB-PRAM (1995)
C. Gemünd, M. Jakob, W. Massonne, W. J. Paul, B. Spengler
The SB--PRAM is a shared memory parallel machine under construction in Saarbrucken. With the help of simulations we have evaluated the performance of transaction systems on this machine. We use the...
Applications of PRAMs in Telecommunications (1994)
R. Drefenstedt, J. Keller, W. J. Paul
ATM seems to be the most promising technique to obtain a B--ISDN with a universal interface. In order to turn this standard into an operating network, the design of highbandwidth ATM switching nodes...
Isolating the Reasons for the Performance of Parallel Machines on Numerical Programs (1993)
A. Formella, S. M. Müller, W. J. Paul, A. Bingert
: In this paper we present a nontrivial set of modules which measure performance parameters of node processors and interconnection networks. With the help of these parameters we explain the run time...
On the Physical Design of PRAMs (1993)
Abolhassan, F., Drefenstedt, R., Keller, J., Paul, W. J., Scheerer, D.
The Saarbrücken Parallel Random Access Machine (SB-PRAM) is a scalable shared memory machine. At the gate level it is a re-engineered version of the Fluent machine [A. G. Ranade, S. N. Bhatt and S....
Scheduling Vector Straight Line Code on Vector Processors (1992)
C. W. Keßler, C. W. Ke��ler, W. J. Paul, T. Rauber
We present an algorithm to schedule basic blocks of vector three-addressinstructions. This algorithm is suited for a special class of vector processors containing a buffer (register file) which may...
Isolating the Reasons for the Performance of Parallel Machines on Numerical Programs II (1992)
A. Formella, S.M. Müller, W. J. Paul, A. Bingert
In this paper we present a nontrivial set of modules which measure performance parameters of node processors and interconnection networks. With the help of these parameters we explain the run time of...
Cost Effectiveness of Data Flow Machines and Vector Processors (1992)
A. Formella, W. Massonne, W.J. Paul
. Proponents of data flow machines always emphasize the high potential for parallelization and the high performance on numerical applications reachable by that kind of architecture. On the other hand...
A Randomized Heuristic Approach to Register Allocation (1991)
C. W. Keßler, C. W. Ke��ler, W. J. Paul, T. Rauber
We present a randomized algorithm to generate contiguous evaluations for expression DAGs representing basic blocks of straight line code with nearly minimal register need. This heuristic may be used...
Opportunities for government explosives factories : research report (1978)
Typescript (photocopy) Includes bibliographical references.