Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Series=Lecture Note Series in Computing AND Volume=5
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Constraint-based knowledge brokers
Jean-Marc Andreoli
,
Uwe M. Borghoff
,
Remo Pareschi
Lecture Note Series in Computing
5
, 1994, pp. 1-11
A strategy-accurate parallel Buchberger algorithm
Giuseppe Attardi
,
Carlo Traverso
Lecture Note Series in Computing
5
, 1994, pp. 12-21
On the reconstruction of proofs in distributed theorem proving with contraction: A modified clause-diffusion method
Maria Paola Bonacina
Lecture Note Series in Computing
5
, 1994, pp. 22-33
Local and conditional blackboard operations in
\mu
Log: Semantics, applicability, and implementation
Koen de Bosschere
,
Jean-Marie Jacquet
Lecture Note Series in Computing
5
, 1994, pp. 34-43
Parallelising a functional program using a list-homomorphism skeleton
Tore A. Bratvold
Lecture Note Series in Computing
5
, 1994, pp. 44-53
Synchronization of constrained transition systems
Srećko Brlek
,
Antoine Rauzy
Lecture Note Series in Computing
5
, 1994, pp. 54-62
A comparative study of methods for automatic compile-time parallelization of logic programs
F. Bueno
,
M. García de la Banda
,
M. Hermenegildo
Lecture Note Series in Computing
5
, 1994, pp. 63-73
The parallel computation of
f(x)^{\frac{(p-1)}{2}}\bmod h(x)
using Sugarbush 1.1
Tracy Burke-Perline
Lecture Note Series in Computing
5
, 1994, pp. 74-83
Multi-threaded AC term rewriting
Reinhard Bündgen
,
Manfred Göbel
,
Wolfgang Küchlin
Lecture Note Series in Computing
5
, 1994, pp. 84-93
Some experiments with parallel bignum arithmetic
Bruce Char
,
Jeremy Johnson
,
David Saunders
,
Andrew P. Wack
Lecture Note Series in Computing
5
, 1994, pp. 94-103
Distributed computer algebra: The central control approach
Stéphane Dalmas
,
Marc Gaëtano
,
Alain Sausse
Lecture Note Series in Computing
5
, 1994, pp. 104-113
Recording, analyzing and presenting distributed deduction processes
Jörg Denzinger
,
Stephan Schulz
Lecture Note Series in Computing
5
, 1994, pp. 114-123
Parallelization of Gröbner basis
J.C. Faugère
Lecture Note Series in Computing
5
, 1994, pp. 124-132
Towards granularity based control of parallelism in logic programs
P. López García
,
M. Hermenegildo
,
S.K. Debray
Lecture Note Series in Computing
5
, 1994, pp. 133-144
PAC++ system and parallel algebraic numbers computation
Th. Gautier
,
J.L. Roch
Lecture Note Series in Computing
5
, 1994, pp. 145-153
Parallel implementation of the Gamma-operation on bags
Katia Gladitz
,
Herbert Kuchen
Lecture Note Series in Computing
5
, 1994, pp. 154-163
The multipath parallel execution model for Prolog
Antonio González
,
Jordi Tubella
Lecture Note Series in Computing
5
, 1994, pp. 164-173
A parallel Gröbner factorizer
Hans-Gert Gräbe
,
Wolfgang Lassner
Lecture Note Series in Computing
5
, 1994, pp. 174-180
Parallel functional programming: An introduction
Kevin Hammond
Lecture Note Series in Computing
5
, 1994, pp. 181-193
An AND parallelization method for MGTP and its evaluation
Ryuzo Hasegawa
,
Miyuki Koshimura
Lecture Note Series in Computing
5
, 1994, pp. 194-203
The vectorization monad
Jonathan M.D. Hill
,
Keith M. Clarke
,
Richard Bornat
Lecture Note Series in Computing
5
, 1994, pp. 204-213
Parallel abduction in logic programming
Antonis C. Kakas
,
George A. Papadopoulos
Lecture Note Series in Computing
5
, 1994, pp. 214-224
Parallel solution of Toeplitz and Toeplitz-like linear systems over fields of small positive characteristic
Erich Kaltofen
,
Victor Pan
Lecture Note Series in Computing
5
, 1994, pp. 225-233
A high performance runtime system for parallel evaluation of lazy languages
Owen Kaser
,
C.R. Ramakrishnan
,
R.C. Sekar
Lecture Note Series in Computing
5
, 1994, pp. 234-243
Reducing graph copying costs - Time to wrap it up
Marco Kesseler
Lecture Note Series in Computing
5
, 1994, pp. 244-253
Seiten 1
2
>