Name=ACPC Technical Report Series
Path=1/archive/acpc/reports
Text=
1990
endText=
HName=90-17:Kurt SIEGL:
A Parallel Version of Buchberger's Algorithm in STRAND88
Path=0/archive/reports/1990/90-17.html
HName=90-42:Wolfgang SCHREINER:
ADAM \& EVE An Abstract Dataflow Machine and Its Programming Language
Path=0/archive/reports/1990/90-42.html
HName=90-53:Wolfgang SCHREINER:
ADAM -- An Abstract Dataflow Machine and Its Transputer Implementation
Path=0/archive/reports/1990/90-53.html
HName=90-54:Kurt SIEGL:
Gröbner Bases Computation in STRAND: A Case Study for Concurrent Symbolic Computation in Logic Programming Languages
Path=0/archive/reports/1990/90-54.html
Text=
1991
endText=
HName=91-30:Dongming WANG:
On the Parallelization of Characteristic-Set-Based Algorithms
Path=0/archive/reports/1991/91-30.html
HName=91-49:Wolfgang SCHREINER:
A High-Level Target Language for the Compilation of Dataflow Programs
Path=0/archive/reports/1991/91-49.html
HName=91-50:Wolfgang SCHREINER:
A Model for the Compilation of Dataflow Languages on Conventional Parallel Architectures
Path=0/archive/reports/1991/91-50.html
HName=91-55:Hoon HONG:
Parallelization of Quantifier Elimination on Workstation Network
Path=0/archive/reports/1991/91-55.html
HName=91-59:Klaus KUSCHE:
Parallel Symbolic Computation: Pointers to the Literature
Path=0/archive/reports/1991/91-59.html
Text=
1992
endText=
HName=92-06:Hans Wolfgang LOIDL:
Circular Programs on Compound Data Structures
Path=0/archive/reports/1992/92-06.html
HName=92-07:Klaus KUSCHE:
Practical Experiments with Various Garbage Collection Methods
Path=0/archive/reports/1992/92-07.html
HName=92-10:Kurt SIEGL:
Programming Techniques for ||MAPLE||
Path=0/archive/reports/1992/92-10.html
HName=92-11:Kurt SIEGL:
Parallel Gröbner Basis Computation in ||MAPLE||
Path=0/archive/reports/1992/92-11.html
HName=92-12:Gerhard FUNK:
Dynamic-CCS
Path=0/archive/reports/1992/92-12.html
HName=92-24:Martin RUDALICS:
Distributed Termination Enforcement
Path=0/archive/reports/1992/92-24.html
HName=92-29:Bruno BUCHBERGER, Tudor JEBELEAN:
Parallel Rational Arithmetic for Computer Algebra Systems: Motivating Experiments
Path=0/archive/reports/1992/92-29.html
HName=92-30:Hans Wolfgang LOIDL:
A Parallelizing Compiler for the Functional Programming Language EVE
Path=0/archive/reports/1992/92-30.html
HName=92-32:Hoon HONG, Wolfgang SCHREINER, Andreas NEUBACHER, Kurt SIEGL, Hans-Wolfgang LOIDL, Tudor JEBELEAN, Peter ZETTLER:
PAC LIB User Manual
Path=0/archive/reports/1992/92-32.html
HName=92-33:Wolfgang SCHREINER:
The Design of the PACLIB Kernel
Path=0/archive/reports/1992/92-33.html
HName=92-35:Tudor JEBELEAN:
An Algorithm for Exact Division
Path=0/archive/reports/1992/92-35.html
HName=92-36:Peter ZETTLER:
RISC Linda -- A Dialect of Linda
Path=0/archive/reports/1992/92-36.html
HName=92-38:Bruno BUCHBERGER, Tudor JEBELEAN:
Systolic Algorithms in Computer Algebra State of the Project
Path=0/archive/reports/1992/92-38.html
HName=92-68:Tudor JEBELEAN:
Systolic Multiplication on MasPar
Path=0/archive/reports/1992/92-68.html
HName=92-69:Tudor JEBELEAN:
Improving the Multiprecision Euclidean Algorithm
Path=0/archive/reports/1992/92-69.html
HName=92-70:Tudor JEBELEAN:
Comparing Several GCD Algorithms
Path=0/archive/reports/1992/92-70.html
HName=92-71:Tudor JEBELEAN:
Systolic Algorithms for Exact Division
Path=0/archive/reports/1992/92-71.html
HName=92-72:Tudor JEBELEAN:
On the Possibility of Implementing Fine Grain Systolic Algorithms on Certain Parallel Architectures
Path=0/archive/reports/1992/92-72.html
HName=92-73:Wolfgang SCHREINER, Hoon HONG:
A New Library for Parallel Algebraic Computation
Path=0/archive/reports/1992/92-73.html
Text=
1993
endText=
HName=93-01:Tudor Jebelean:
A Generalization of the Binary GCD Algorithm
Path=0/archive/reports/1993/93-01.html
HName=93-03:Wolfgang SCHREINER, Hoon HONG:
PACLIB -- A System for Parallel Algebraic Computation on Shared Memory Multiprocessors
Path=0/archive/reports/1993/93-03.html
HName=93-05:Hoon HONG, Wolfgang SCHREINER:
Programming in PACLIB
Path=0/archive/reports/1993/93-05.html
HName=93-06:Kurt SIEGL:
$\|$MAPLE$\|$: A System for Parallel Computer Algebra for Transputers
Path=0/archive/reports/1993/93-06.html
HName=93-07:Kurt SIEGL:
$\|$MAPLE$\|$: A System for Parallel Symbolic Computation
Path=0/archive/reports/1993/93-07.html
HName=93-08:Kurt SIEGL:
Parallelizing Algorithms for Symbolic Computation Using $\|$MAPLE$\|$
Path=0/archive/reports/1993/93-08.html
HName=93-09:Hans Wolfgang LOIDL:
A Parallelizing Compiler for the Functional Programming Language EVE
Path=0/archive/reports/1993/93-09.html
HName=93-13:Wolfgang SCHREINER:
The Correctness of the PACLIB Kernel\\A Case Study in Parallel Program Verification by Temporal Logic
Path=0/archive/reports/1993/93-13.html
HName=93-24:Wolfgang SCHREINER:
Parallel Functional Programming (An Annotated Bibliography)
Path=0/archive/reports/1993/93-24.html
HName=93-27:Volker STAHL:
Exact Real Root Isolation with Sturm Sequences on a Shared Memory Multiprocessor
Path=0/archive/reports/1993/93-27.html
HName=93-30:Hoon HONG, Andreas NEUBACHER, Wolfgang SCHREINER:
The Design of the SACLIB/PACLIB Kernels
Path=0/archive/reports/1993/93-30.html
HName=93-41:Carla LIMONGELLI, Hans Wolfgang LOIDL:
Rational Number Arithmetic by Parallel P-adic Algorithms
Path=0/archive/reports/1993/93-41.html
HName=93-45:Tudor JEBELEAN:
Systolic Normalization of Rational Numbers
Path=0/archive/reports/1993/93-45.html
HName=93-48:Tudor JEBELEAN:
Rational Arithmetic Using FPGA
Path=0/archive/reports/1993/93-48.html
HName=93-49:Wolfgang SCHREINER:
Compiling a Functional Language to Efficient SACLIB C
Path=0/archive/reports/1993/93-49.html
HName=93-53:Ion POPESCU:
Construction of Delaunay Triangulation and Voronoi Diagram. Efficient Sequential and Parallel Implementation.
Path=0/archive/reports/1993/93-53.html
HName=93-69:Hans Wolfgang LOIDL:
Solving a System of Linear Equations by Using a Modular Method
Path=0/archive/reports/1993/93-69.html
Text=
1994
endText=
HName=94-01:Wolfgang SCHREINER:
Garbage Collection on a Stack
Path=0/archive/reports/1994/94-01.html
HName=94-02:Wolfgang SCHREINER:
Virtual Tasks for the PACLIB Kernel
Path=0/archive/reports/1994/94-02.html
HName=94-07:Hoon HONG, Wolfgang SCHREINER, Tibor FADGYAS:
Performance Analysis of Parallel Programs: The PACVIS Visualization Tool
Path=0/archive/reports/1994/94-07.html
HName=94-08:Hoon HONG:
Confluency of Cooperative Constraint Solving
Path=0/archive/reports/1994/94-08.html
HName=94-09:Hoon HONG:
CLP(CF) Constraint Logic Programming over Complex Functions
Path=0/archive/reports/1994/94-09.html
HName=94-11:Hoon HONG:
Modular Confluency of Cooperative Constraint Solvers
Path=0/archive/reports/1994/94-11.html
HName=94-19:Hoon HONG, Hans Wolfgang LOIDL:
Parallel Computation of Modular Multivariate Polynomial Resultants on Shared Memory Machine
Path=0/archive/reports/1994/94-19.html
HName=94-23:Carla LIMONGELLI:
On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics
Path=0/archive/reports/1994/94-23.html
HName=94-25:Carla LIMONGELLI, Roberto PIRASTU:
Exact Solution of Linear Equation Systems over Rational Numbers by Parallel p-Adic Arithmetic
Path=0/archive/reports/1994/94-25.html
HName=94-37:Tudor JEBELEAN:
Systolic Multiprecision Arithmetic
Path=0/archive/reports/1994/94-37.html
HName=94-42:Lucian CUCU, Mircea DRAGAN, Tudor JEBELEAN, Viorel NEGRU:
Motion Planning Through Voronoi Diagrams Construction on Shared Memory Architecture
Path=0/archive/reports/1994/94-42.html
HName=94-44:Wolfgang SCHREINER:
Compiling a Para-Functional Language to Parallel PACLIB C
Path=0/archive/reports/1994/94-44.html
HName=94-46:Wolfgang SCHREINER:
A Para-Functional Programming Interface for a Parallel Computer Algebra Package
Path=0/archive/reports/1994/94-46.html
HName=94-47:Tudor JEBELEAN:
Designing Systolic Arrays for Integer GCD Computation
Path=0/archive/reports/1994/94-47.html
HName=94-50:Werner KRANDICK, Tudor JEBELEAN:
Bidirectional Exact Integer Divison
Path=0/archive/reports/1994/94-50.html
HName=94-51:Kurt SIEGL:
A Parallel Factorization Tree Gröbner Basis Algorithm
Path=0/archive/reports/1994/94-51.html
HName=94-57:Tudor JEBELEAN:
Implementing GCD Systolic Arrays on FPGA
Path=0/archive/reports/1994/94-57.html
HName=94-58:Tudor JEBELEAN:
Systolic Algorithms for Long Integer GCD Computation
Path=0/archive/reports/1994/94-58.html
HName=94-73:Roberto PIRASTU, Kurt SIEGL:
Parallel Computation and Indefinite Summation: A $\|$MAPLE$\|$ Application for the Rational Case
Path=0/archive/reports/1994/94-73.html