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: Journal=Theor.~Comput.~Sci. AND Volume=162
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
On the relations between distributive computability and the BSS model
Sebastiano Vigna
Theoretical Computer Science
162
(1), 1996, pp. 5-21
Recursion theory on the reals and continuous-time computation
Cristopher Moore
Theoretical Computer Science
162
(1), 1996, pp. 23-44
Recursive characterization of computable real-valued functions and relations
Vasco Brattka
Theoretical Computer Science
162
(1), 1996, pp. 45-77
PCF extended with real numbers
Martín Hötzel Escardó
Theoretical Computer Science
162
(1), 1996, pp. 79-115
On the linearity of on-line computable functions
Hratchia Pélibossian
Theoretical Computer Science
162
(1), 1996, pp. 117-132
Parallel evaluation of arithmetic circuits
Nathalie Revol
,
Jean-Louis Roch
Theoretical Computer Science
162
(1), 1996, pp. 133-150
Large-scale addition of machine real numbers: Accuracy estimates
Alexander I. Mikov
Theoretical Computer Science
162
(1), 1996, pp. 151-170
Parallel computation of polynomial GCD and some related parallel computations over abstract fields
Victor Y. Pan
Theoretical Computer Science
162
(2), 1996, pp. 173-223
Mutual exclusion scheduling
Brenda S. Baker
,
Edward G., Jr. Coffman
Theoretical Computer Science
162
(2), 1996, pp. 225-243
Exploiting storage redundancy to speed up randomized shared memory simulations
Friedhelm Meyer auf der Heide
,
Christian Scheideler
,
Volker Stemann
Theoretical Computer Science
162
(2), 1996, pp. 245-281
Divide-and-conquer algorithms on the hypercube
Ernst W. Mayr
,
Ralph Werchner
Theoretical Computer Science
162
(2), 1996, pp. 283-296
Efficient massively parallel implementation of some combinatorial algorithms
Tsan-sheng Hsu
,
Vijaya Ramachandran
Theoretical Computer Science
162
(2), 1996, pp. 297-322
Scheduling UET-UCT series-parallel graphs on two processors
Lucian Finta
,
Zhen Liu
,
Ioannis Milis
,
Evripidis Bampis
Theoretical Computer Science
162
(2), 1996, pp. 323-340
Random allocation of jobs with weights and precedence
Soumen Chakrabarti
Theoretical Computer Science
162
(2), 1996, pp. 341-349
Massively parallel approximation of irregular triangular meshes of arbitrary topology with smooth parametric surfaces
Miguel Angel García
Theoretical Computer Science
162
(2), 1996, pp. 351-369