Sciweavers

TLCA
1995
Springer
15 years 10 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
150
Voted
STACS
1995
Springer
15 years 10 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
133
Voted
STACS
1995
Springer
15 years 10 months ago
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract)
Oded Maler, Amir Pnueli, Joseph Sifakis
139
Voted
STACS
1995
Springer
15 years 10 months ago
On the Average Running Time of Odd-Even Merge Sort
Christine Rüb
STACS
1995
Springer
15 years 10 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
15 years 10 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
15 years 10 months ago
On Codings of Traces
Volker Diekert, Anca Muscholl, Klaus Reinhardt
123
Voted
STACS
1995
Springer
15 years 10 months ago
Communication Complexity of Key Agreement on Small Ranges
Jin-yi Cai, Richard J. Lipton, Luc Longpré,...
SOFSEM
1995
Springer
15 years 10 months ago
The Fusion Object-Oriented Method: an Evaluation
Alain Pirotte, Thierry Van den Berghe, Esteban Zim...