Theoretical Computer Science
, Volume 162
Volume 162, Number 1, 5 August 1996
Real Numbers and Computers
Jean-Claude Bajard
,
Christiane Frougny
,
Jean-Michel Muller
,
Gilles Villard
:
Forword to the Special Issue on Real Numbers and Computers.
1-3
Sebastiano Vigna
:
On the Relations between Distributive Computability and the BSS Model.
5-21
Cristopher Moore
:
Recursion Theory on the Reals and Continuous-Time Computation.
23-44
Vasco Brattka
:
Recursive Characterization of Computable Real-Valued Functions and Relations.
45-77
Martín Hötzel Escardó
:
PCF Extended with Real Numbers.
79-115
Hratchia Pélibossian
:
On the Linearity of On-Line Computable Functions.
117-132
Nathalie Revol
,
Jean-Louis Roch
:
Parallel Evaluation of Arithmetic Circuits.
133-150
Alexander I. Mikov
:
Large-Scale Addition of Machine Real Numbers: Accuracy Estimates.
151-170
Volume 162, Number 2, 20 August 1996
Parallelism
Afonso Ferreira
,
José D. P. Rolim
:
Foreword to the Special Issue on Parallelism.
171-172
Victor Y. Pan
:
Parallel Computation of Polynomial GCD and Some Related Parallel Computations over Abstract Fields.
173-223
Brenda S. Baker
,
Edward G. Coffman Jr.
:
Mutual Exclusion Scheduling.
225-243
Friedhelm Meyer auf der Heide
,
Christian Scheideler
,
Volker Stemann
:
Exploiting Storage Redundancy to Speed up Randomized Shared Memory Simulations.
245-281
Ernst W. Mayr
,
Ralph Werchner
:
Divide-and-Conquer Algorithms on the Hypercube.
283-296
Tsan-sheng Hsu
,
Vijaya Ramachandran
:
Efficient Massively Parallel Implementation of some Combinatorial Algorithms.
297-322
Lucian Finta
,
Zhen Liu
,
Ioannis Milis
,
Evripidis Bampis
:
Scheduling UET-UCT Series-Parallel Graphs on Two Processors.
323-340
Soumen Chakrabarti
:
Random Allocation of Jobs with Weights and Precedence.
341-349
Miguel Angel García
:
Massively Parallel Approximation of Irregular Triangular Meshes of Arbitrary Topology with Smooth Parametric Surfaces.
351-369
Copyright ©
Fri Mar 12 17:33:08 2010 by
Michael Ley
(
ley@uni-trier.de
)