ACTA 1998 | Sciweavers

12

ACTA
1998

111views more ACTA 1998»

Machine Scheduling with Availability Constraints

13 years 4 months ago

We will give a survey on results related to scheduling problems where machines are not continuously available for processing. We will deal with single and multi machine problems an...

Eric Sanlaville, Günter Schmidt

claim paper

Read More »

6

click to vote

ACTA
1998

66views more ACTA 1998»

Generating Words Lexicographically: An Average-Case Analysis

13 years 4 months ago

Download www.cs.ust.hk

Rainer Kemp

claim paper

Read More »

14

click to vote

ACTA
1998

69views more ACTA 1998»

Asymptotic Expansions of the Mergesort Recurrences

13 years 4 months ago

Download algo.stat.sinica.edu.tw

This note provides exact formulæ for the mean and variance of the cost of top-down recursive mergesort. These formulæ improve upon earlier results of Flajolet and Golin. Key wor...

Hsien-Kuei Hwang

claim paper

Read More »

10

click to vote

ACTA
1998

64views more ACTA 1998»

Converting Untyped Formulas to Typed Ones

13 years 4 months ago

Download uhdspace.uhasselt.be

We observe that every rst-order logic formula over the untyped version of some many-sorted vocabulary is equivalent to a union of manysorted formulas over that vocabulary. This re...

Jan Van den Bussche, Luca Cabibbo

claim paper

Read More »

8

click to vote

ACTA
1998

81views more ACTA 1998»

Dijkstra-Scholten Predicate Calculus: Concepts and Misconceptions

13 years 4 months ago

Download www.open.ou.nl

The paper focusses on the logical backgrounds of the Dijkstra-Scholten program development style for correct programs. For proving the correctness of a program (i.e. the fact that...

Lex Bijlsma, Rob Nederpelt

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers