Sciweavers

4315 search results - page 96 / 863
» Sorting in linear time
Sort
View
CIAC
1997
Springer
111views Algorithms» more  CIAC 1997»
14 years 1 months ago
A Meticulous Analysis of Mergesort Programs
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
Jyrki Katajainen, Jesper Larsson Träff
PRDC
2007
IEEE
14 years 3 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper
SIGMOD
1996
ACM
120views Database» more  SIGMOD 1996»
14 years 1 months ago
Query Execution Techniques for Caching Expensive Methods
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
Joseph M. Hellerstein, Jeffrey F. Naughton
BIRTHDAY
2008
Springer
13 years 11 months ago
Models of Computation: A Tribute to Ugo Montanari's Vision
e [43] is the first paper on final, observational semantics in abstract data types, and the main reference for one of the MoC contributed papers in this volume. It presented severa...
Roberto Bruni, Vladimiro Sassone
CDC
2008
IEEE
141views Control Systems» more  CDC 2008»
14 years 3 months ago
Generalized linear dynamic factor models - a structure theory
— In this paper we present a structure theory for generalized linear dynamic factor models (GDFM’s). Emphasis is laid on the so-called zeroless case. GDFM’s provide a way of ...
Brian D. O. Anderson, Manfred Deistler