SOFSEM '97 - CT Programme

  to SOFSEM Home Page

L. Becchetti, C. Gaibisso, Istituto di Analisi dei Sistemi e Informatica, Rome, IT
Lower Bounds for the VPL in ATM Networks

B. Dai, D. A Bell,J. G. Hughes, University of Ulster at Jordanstown, UK
Query Processing in Temporal Evidential Databases

C. De Castro Aldrovandi, C.S.I.TE.-C.N.R., Bologna, IT
A First Approach to Temporal Predicate Locking for Concurrency Detection in Temporal Relational Databases supporting Schema Versioning

C. Gaibisso, G. Proietti, Istituto di Analisi dei Sistemi e Informatica, Rome, University of L'Aquila, IT
Efficient inserting of approximately sorted sequences of items into a dictionary

P. Galdamez, F. D. Munyos-Escoi,J. M. Bernabeu-Auban, Universitat Politecnica de Valencia, ES
High Availability Support in CORBA Environments

V. Glasnak, Charles University, Prague, CZ
On f-sparse sets in NP-P

M. Hof, H. Mössenböck, P. Pirkelbauer, Johannes Kepler University Linz, AT
Zero-Overhead Exception Handling Using Metaprogramming

J. Janousek, B. Melichar, Czech Technical University, Prague, CZ
The Output-Store Formal Translator Directed by LR Parsing

J. Kadlec, Czech Academy of Sciences, Prague, CZ
Parallel processing on Alphas under MATLAB 5

P. Kolman, Charles University, Prague, CZ
PRAM Lower Bound for Element Distinctness Revised

I. Kopecek, Masaryk University Brno, CZ
Optimal Trees for Searching in Codebook

R. Kralovic, Comenius University Bratislava, SK
Time Optimal Self-Stabilizing Algorithms

P. Kroha, M. Strauss, TU Chemnitz, DE
Requirements Specification Iteratively Combined with Reverse Engineering

A. Kucera, Masaryk University Brno, CZ
On Finite Representations of Infinite-state Behaviours

S. Lucas, RWTH Aachen, DE
Efficient strong sequentiality using replacement restrictions

M. Marchiori, CWI, NL
Optimal Encodings

F.Mraz, M. Platek, P. Jancar, J. Vogel, Charles University, Prague, University of Ostrava, CZ, Friedrich Schiller University Jena, DE
Monotonic Rewriting Automata with a Restart Operation

S. H. Nienhuys-Cheng, A. de Bruin, Erasmus University, Rotterdam, NL
Kahn's fixed point characterization for linear dynamic networks

K. Pala, P. Rychly, P. Smrz, Masaryk University Brno, CZ
DESAM - Annotated Corpus for Czech

Y. Peter, France Telecom/CNET, FR
A Generic Implementation of CORBA's LifeCycle Service

W. Pijls, A. de Bruin, Erasmus University, Rotterdam, NL
A theory of game trees, based on solution trees

H. Schröder, A. E. May, I. Vrto, O. Sykora, Loughborough University of Technology, UK, Slovak Academy of Sciences Bratislava, SK
Approximation Algorithms For The Vertex Bipartization Problem

H. Schröder, O. Sykora, I. Vrto, Loughborough University of Technology, UK, Slovak Academy of Sciences Bratislava, SK
Optical All-to-All Communication for some Product Graphs

D. Strupl, R. Neruda, Charles University, Academy of Sciences, Prague, CZ
Parallelizing Self-Organizing Maps

  to SOFSEM Home Page