Name=ACPC Technical Report Series
Path=1/archive/acpc/reports

Text=
<h3>1990</h3>
endText=

HName=<b>90-17</b></a>:Kurt SIEGL:<br><i>A Parallel Version of Buchberger's Algorithm in STRAND88</i>
Path=0/archive/reports/1990/90-17.html

HName=<b>90-42</b></a>:Wolfgang SCHREINER:<br><i>ADAM \& EVE    An Abstract Dataflow Machine    and Its Programming Language</i>
Path=0/archive/reports/1990/90-42.html
 
HName=<b>90-53</b></a>:Wolfgang SCHREINER:<br><i>ADAM -- An Abstract Dataflow Machine and Its Transputer Implementation</i>
Path=0/archive/reports/1990/90-53.html
 
HName=<b>90-54</b></a>:Kurt SIEGL:<br><i>Gr&ouml;bner Bases Computation in STRAND:      A Case Study for        Concurrent Symbolic Computation         in Logic Programming Languages</i>
Path=0/archive/reports/1990/90-54.html
 
Text=
<HR><h3>1991</h3>
endText=

HName=<b>91-30</b></a>:Dongming WANG:<br><i>On the Parallelization of Characteristic-Set-Based Algorithms</i>
Path=0/archive/reports/1991/91-30.html

HName=<b>91-49</b></a>:Wolfgang SCHREINER:<br><i>A High-Level Target Language for the Compilation of Dataflow Programs</i>
Path=0/archive/reports/1991/91-49.html
 
HName=<b>91-50</b></a>:Wolfgang SCHREINER:<br><i>A Model for the Compilation of Dataflow Languages on Conventional Parallel Architectures</i>
Path=0/archive/reports/1991/91-50.html
 
HName=<b>91-55</b></a>:Hoon HONG:<br><i>Parallelization of Quantifier Elimination on Workstation Network</i>
Path=0/archive/reports/1991/91-55.html
 
HName=<b>91-59</b></a>:Klaus KUSCHE:<br><i>Parallel Symbolic Computation:            Pointers to the Literature</i>
Path=0/archive/reports/1991/91-59.html

Text= 
<HR><h3>1992</h3>
endText=

HName=<b>92-06</b></a>:Hans Wolfgang LOIDL:<br><i>Circular Programs on Compound Data Structures</i>
Path=0/archive/reports/1992/92-06.html
 
HName=<b>92-07</b></a>:Klaus KUSCHE:<br><i>Practical Experiments with Various Garbage Collection Methods</i>
Path=0/archive/reports/1992/92-07.html

HName=<b>92-10</b></a>:Kurt SIEGL:<br><i>Programming Techniques for ||MAPLE||</i>
Path=0/archive/reports/1992/92-10.html
 
HName=<b>92-11</b></a>:Kurt SIEGL:<br><i>Parallel Gr&ouml;bner Basis Computation in ||MAPLE||</i>
Path=0/archive/reports/1992/92-11.html
 
HName=<b>92-12</b></a>:Gerhard FUNK:<br><i>Dynamic-CCS</i>
Path=0/archive/reports/1992/92-12.html
 
HName=<b>92-24</b></a>:Martin RUDALICS:<br><i>Distributed Termination Enforcement</i>
Path=0/archive/reports/1992/92-24.html
 
HName=<b>92-29</b></a>:Bruno BUCHBERGER, Tudor JEBELEAN:<br><i>Parallel Rational Arithmetic for Computer Algebra Systems: Motivating Experiments</i>
Path=0/archive/reports/1992/92-29.html
 
HName=<b>92-30</b></a>:Hans Wolfgang LOIDL:<br><i>A Parallelizing Compiler for the Functional Programming Language EVE</i>
Path=0/archive/reports/1992/92-30.html
 
HName=<b>92-32</b></a>:Hoon HONG, Wolfgang SCHREINER, Andreas NEUBACHER, Kurt SIEGL, Hans-Wolfgang LOIDL, Tudor JEBELEAN, Peter ZETTLER:<br><i>PAC LIB User Manual</i>
Path=0/archive/reports/1992/92-32.html
 
HName=<b>92-33</b></a>:Wolfgang SCHREINER:<br><i>The Design of the PACLIB Kernel</i>
Path=0/archive/reports/1992/92-33.html
 
HName=<b>92-35</b></a>:Tudor JEBELEAN:<br><i>An Algorithm for Exact Division</i>
Path=0/archive/reports/1992/92-35.html
 
HName=<b>92-36</b></a>:Peter ZETTLER:<br><i>RISC Linda -- A Dialect of Linda</i>
Path=0/archive/reports/1992/92-36.html
 
HName=<b>92-38</b></a>:Bruno BUCHBERGER, Tudor JEBELEAN:<br><i>Systolic Algorithms in Computer Algebra State of the Project</i>
Path=0/archive/reports/1992/92-38.html
 
HName=<b>92-68</b></a>:Tudor JEBELEAN:<br><i>Systolic Multiplication on MasPar</i>
Path=0/archive/reports/1992/92-68.html
 
HName=<b>92-69</b></a>:Tudor JEBELEAN:<br><i>Improving the Multiprecision Euclidean Algorithm</i>
Path=0/archive/reports/1992/92-69.html
 
HName=<b>92-70</b></a>:Tudor JEBELEAN:<br><i>Comparing Several GCD Algorithms</i>
Path=0/archive/reports/1992/92-70.html
 
HName=<b>92-71</b></a>:Tudor JEBELEAN:<br><i>Systolic Algorithms for Exact Division</i>
Path=0/archive/reports/1992/92-71.html
 
HName=<b>92-72</b></a>:Tudor JEBELEAN:<br><i>On the Possibility of Implementing Fine Grain Systolic Algorithms on Certain Parallel Architectures</i>
Path=0/archive/reports/1992/92-72.html

HName=<b>92-73</b></a>:Wolfgang SCHREINER, Hoon HONG:<br><i>A New Library for Parallel Algebraic Computation</i>
Path=0/archive/reports/1992/92-73.html

Text= 
<HR><h3>1993</h3>
endText=

HName=<b>93-01</b></a>:Tudor Jebelean:<br><i>A Generalization of the Binary GCD Algorithm</i>
Path=0/archive/reports/1993/93-01.html
 

HName=<b>93-03</b></a>:Wolfgang SCHREINER, Hoon HONG:<br><i>PACLIB -- A System for Parallel Algebraic Computation on Shared Memory Multiprocessors</i>
Path=0/archive/reports/1993/93-03.html
 
HName=<b>93-05</b></a>:Hoon HONG, Wolfgang SCHREINER:<br><i>Programming in PACLIB</i>
Path=0/archive/reports/1993/93-05.html
 
HName=<b>93-06</b></a>:Kurt SIEGL:<br><i>$\|$MAPLE$\|$: A System for Parallel Computer Algebra for Transputers</i>
Path=0/archive/reports/1993/93-06.html
 
HName=<b>93-07</b></a>:Kurt SIEGL:<br><i>$\|$MAPLE$\|$: A System for Parallel Symbolic Computation</i>
Path=0/archive/reports/1993/93-07.html
 
HName=<b>93-08</b></a>:Kurt SIEGL:<br><i>Parallelizing Algorithms for Symbolic Computation Using $\|$MAPLE$\|$</i>
Path=0/archive/reports/1993/93-08.html
 
HName=<b>93-09</b></a>:Hans Wolfgang LOIDL:<br><i>A Parallelizing Compiler for the Functional Programming Language EVE</i>
Path=0/archive/reports/1993/93-09.html
 
HName=<b>93-13</b></a>:Wolfgang SCHREINER:<br><i>The Correctness of the PACLIB Kernel\\A Case Study in Parallel Program Verification by Temporal Logic</i>
Path=0/archive/reports/1993/93-13.html
 
HName=<b>93-24</b></a>:Wolfgang SCHREINER:<br><i>Parallel Functional Programming  (An Annotated Bibliography)</i>
Path=0/archive/reports/1993/93-24.html
 
HName=<b>93-27</b></a>:Volker STAHL:<br><i>Exact Real Root Isolation with Sturm Sequences on a Shared Memory Multiprocessor</i>
Path=0/archive/reports/1993/93-27.html
 
HName=<b>93-30</b></a>:Hoon HONG, Andreas NEUBACHER, Wolfgang SCHREINER:<br><i>The Design of the SACLIB/PACLIB Kernels</i>
Path=0/archive/reports/1993/93-30.html
 
HName=<b>93-41</b></a>:Carla LIMONGELLI, Hans Wolfgang LOIDL:<br><i>Rational Number Arithmetic by Parallel P-adic Algorithms</i>
Path=0/archive/reports/1993/93-41.html
 
HName=<b>93-45</b></a>:Tudor JEBELEAN:<br><i>Systolic Normalization of Rational Numbers</i>
Path=0/archive/reports/1993/93-45.html
 
HName=<b>93-48</b></a>:Tudor JEBELEAN:<br><i>Rational Arithmetic Using FPGA</i>
Path=0/archive/reports/1993/93-48.html
 
HName=<b>93-49</b></a>:Wolfgang SCHREINER:<br><i>Compiling a Functional Language to Efficient SACLIB C</i>
Path=0/archive/reports/1993/93-49.html
 
HName=<b>93-53</b></a>:Ion POPESCU:<br><i>Construction of Delaunay Triangulation and Voronoi Diagram. Efficient Sequential and Parallel Implementation.</i>
Path=0/archive/reports/1993/93-53.html
 
HName=<b>93-69</b></a>:Hans Wolfgang LOIDL:<br><i>Solving a System of Linear Equations by Using a Modular Method</i>
Path=0/archive/reports/1993/93-69.html
 
Text=
<HR><h3>1994</h3>
endText=

HName=<b>94-01</b></a>:Wolfgang SCHREINER:<br><i>Garbage Collection on a Stack</i>
Path=0/archive/reports/1994/94-01.html
 
HName=<b>94-02</b></a>:Wolfgang SCHREINER:<br><i>Virtual Tasks for the PACLIB Kernel</i>
Path=0/archive/reports/1994/94-02.html
 
HName=<b>94-07</b></a>:Hoon HONG, Wolfgang SCHREINER, Tibor FADGYAS:<br><i>Performance Analysis of Parallel Programs: The PACVIS Visualization Tool</i>
Path=0/archive/reports/1994/94-07.html
 
HName=<b>94-08</b></a>:Hoon HONG:<br><i>Confluency of Cooperative Constraint Solving</i>
Path=0/archive/reports/1994/94-08.html
 
HName=<b>94-09</b></a>:Hoon HONG:<br><i>CLP(CF) Constraint Logic Programming over Complex Functions</i>
Path=0/archive/reports/1994/94-09.html
 
HName=<b>94-11</b></a>:Hoon HONG:<br><i>Modular Confluency of Cooperative Constraint Solvers</i>
Path=0/archive/reports/1994/94-11.html
 
HName=<b>94-19</b></a>:Hoon HONG, Hans Wolfgang LOIDL:<br><i>Parallel Computation of Modular Multivariate Polynomial Resultants on Shared Memory Machine</i>
Path=0/archive/reports/1994/94-19.html
 
HName=<b>94-23</b></a>:Carla LIMONGELLI:<br><i>On an Efficient Algorithm  for Big Rational Number Computations  by Parallel p-adics</i>
Path=0/archive/reports/1994/94-23.html
 
HName=<b>94-25</b></a>:Carla LIMONGELLI, Roberto PIRASTU:<br><i>Exact Solution of Linear Equation Systems over Rational Numbers  by Parallel p-Adic Arithmetic</i>
Path=0/archive/reports/1994/94-25.html
 
HName=<b>94-37</b></a>:Tudor JEBELEAN:<br><i>Systolic Multiprecision Arithmetic</i>
Path=0/archive/reports/1994/94-37.html
 
HName=<b>94-42</b></a>:Lucian CUCU, Mircea DRAGAN, Tudor JEBELEAN, Viorel NEGRU:<br><i>Motion Planning Through Voronoi Diagrams Construction on Shared Memory Architecture</i>
Path=0/archive/reports/1994/94-42.html
 
HName=<b>94-44</b></a>:Wolfgang SCHREINER:<br><i>Compiling a Para-Functional Language to Parallel PACLIB C</i>
Path=0/archive/reports/1994/94-44.html
 
HName=<b>94-46</b></a>:Wolfgang SCHREINER:<br><i>A Para-Functional Programming Interface for a Parallel Computer Algebra Package</i>
Path=0/archive/reports/1994/94-46.html
 
HName=<b>94-47</b></a>:Tudor JEBELEAN:<br><i>Designing Systolic Arrays for Integer GCD Computation</i>
Path=0/archive/reports/1994/94-47.html
 
HName=<b>94-50</b></a>:Werner KRANDICK, Tudor JEBELEAN:<br><i>Bidirectional Exact Integer Divison</i>
Path=0/archive/reports/1994/94-50.html
 
HName=<b>94-51</b></a>:Kurt SIEGL:<br><i>A Parallel Factorization Tree Gr&ouml;bner Basis Algorithm</i>
Path=0/archive/reports/1994/94-51.html

HName=<b>94-57</b></a>:Tudor JEBELEAN:<br><i>Implementing GCD Systolic Arrays on FPGA</i>
Path=0/archive/reports/1994/94-57.html
 
HName=<b>94-58</b></a>:Tudor JEBELEAN:<br><i>Systolic Algorithms for Long Integer GCD Computation</i>
Path=0/archive/reports/1994/94-58.html
 
HName=<b>94-73</b></a>:Roberto PIRASTU, Kurt SIEGL:<br><i>Parallel Computation and Indefinite Summation: A $\|$MAPLE$\|$ Application for the Rational Case</i>
Path=0/archive/reports/1994/94-73.html