Sciweavers

TLCA
1995
Springer
14 years 3 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
STACS
1995
Springer
14 years 3 months ago
The Number of Views of Piecewise-Smooth Algebraic Objects
Abstract. A solid object in 3-dimensional space may be described by a collection of all its topologically distinct 2-dimensional appearances, its aspect graph. In this paper, we st...
Sylvain Petitjean
STACS
1995
Springer
14 years 3 months ago
Optimal Average Case Sorting on Arrays
Abstract. We present algorithms for sorting and routing on two-dimensional mesh-connected parallel architectures that are optimal on average. If one processor has many packets then...
Manfred Kunde, Rolf Niedermeier, Klaus Reinhardt, ...
STACS
1995
Springer
14 years 3 months ago
Generalized Scans and Tri-Diagonal Systems
Motivatedby the analysis of known parallel techniques for the solution of linear tridiagonal system, we introduce generalized scans, a class of recursively de ned lengthpreserving...
Paul F. Fischer, Franco P. Preparata, John E. Sava...
STACS
1995
Springer
14 years 3 months ago
On Codings of Traces
Volker Diekert, Anca Muscholl, Klaus Reinhardt
STACS
1995
Springer
14 years 3 months ago
Communication Complexity of Key Agreement on Small Ranges
Jin-yi Cai, Richard J. Lipton, Luc Longpré,...
SOFSEM
1995
Springer
14 years 3 months ago
The Fusion Object-Oriented Method: an Evaluation
Alain Pirotte, Thierry Van den Berghe, Esteban Zim...