Sciweavers

16 search results - page 1 / 4

» fsttcs 2000

36

FSTTCS
2000
Springer

80views Software Engineering» more FSTTCS 2000»

Frequency Assignment in Mobile Phone Systems

14 years 2 months ago

Frequency Assignment in Mobile Phone Systems

Download www.zib.de

Martin Grötschel

claim paper

Read More »

33

FSTTCS
2000
Springer

98views Software Engineering» more FSTTCS 2000»

Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints

14 years 2 months ago

Approximation Algorithms for Bandwidth and Storage Allocation Problems under Real Time Constraints

Download www.dis.uniroma1.it

Stefano Leonardi, Alberto Marchetti-Spaccamela, An...

claim paper

Read More »

31

FSTTCS
2000
Springer

63views Software Engineering» more FSTTCS 2000»

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

14 years 2 months ago

Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping

Download hal.archives-ouvertes.fr

Jan-Georg Smaus, François Fages, Pierre Der...

claim paper

Read More »

27

FSTTCS
2000
Springer

94views Software Engineering» more FSTTCS 2000»

Arithmetic Circuits and Polynomial Replacement Systems

14 years 2 months ago

Arithmetic Circuits and Polynomial Replacement Systems

Download www.thi.uni-hannover.de

Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner

claim paper

Read More »

30

FSTTCS
2000
Springer

103views Software Engineering» more FSTTCS 2000»

Model Checking CTL Properties of Pushdown Systems

14 years 2 months ago

Model Checking CTL Properties of Pushdown Systems

Download www.labri.fr

: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...

Igor Walukiewicz

claim paper

Read More »

« Prev « First page 1 / 4 Last » Next »