Searching for authors named "Ewald Speckenmeyer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

Efficient Workload-Balancing on Grids, Hypercubes and Trees
by Max Böhm, Ewald Speckenmeyer
…Efficient Workload--Balancing on Grids, Hypercubes and Trees Max Bohm 1 , Ewald Speckenmeyer…
Add To MetaCart

Worst case bounds for some NP-complete modified Horn-SAT problems
by Stefan Porschen, Ewald Speckenmeyer — 2004 — in: Proceedings of the Seventh International Conference on Theory and Applications of Satisfiability Testing
…Worst Case Bounds for some NP-Complete Modified Horn-SAT Problems Stefan Porschen and Ewald…
Cited by 1 (0 self) – Add To MetaCart

Dynamic Load Balancing on Clusters of Heterogenous Workstations
by Frank Meisgen, Ewald Speckenmeyer, F. Meisgen, F. Meisgen, E. Speckenmeyer, E. Speckenmeyer, E. Speckenmeyer — 1997
…When using the computing resources of workstation networks by parallel programs dynamic load balancing is an important task. We describe a distributed, local migration algorithm, called precomputation-based load balancing, which treats this problem efficiently. Its performance is empirically demonst…
Cited by 2 (0 self) – Add To MetaCart

Precomputation based Load Balancing
by Max Böhm, Ewald Speckenmeyer — 1996 — UNIVERSITÄT ZU KÖLN
… Load Balancing by Max Bohm, Ewald Speckenmeyer 1996 submitted for publication Universitat zu Koln…
Cited by 2 (1 self) – Add To MetaCart

On Enumerating All Minimal Solutions of Feedback Problems
by Benno Schwikowski, Ewald Speckenmeyer
… for Systems Biology 4225 Roosevelt Way NE, Suite 200 Seattle, Washington 98105-6099, USA and Ewald…
Cited by 1 (0 self) – Add To MetaCart

Complexity Results of Subclasses of the Pure Implicational Calculus
by Peter Heusch, Marc-Andre Lemburg, Ewald Speckenmeyer — 1996
…-Andr'e Lemburg Ewald Speckenmeyer Universitat zu Koln Institut fur Informatik Abstract About 50 years ago…
Add To MetaCart

CATS - Computer Aided Tram Scheduling
by Peter Heusch, Peter Heusch, Frank Meisgen, Frank Meisgen, Ewald Speckenmeyer, Ewald Speckenmeyer — 1997
… Tram Scheduling by Peter Heusch Frank Meisgen Ewald Speckenmeyer 1997 To appear in: Proceedings of SOR…
Add To MetaCart

X3SAT is Decidable in Time
by Stefan Porschen, Bert Randerath, Bert R, Ewald Speckenmeyer — 2002 — Proceedings of the Fifth International Symposium on the Theory and Applications of Satis Testing (SAT 2002
…X3SAT is Decidable in Time O(2 n=5 ) Stefan Porschen, Bert Randerath and Ewald Speckenmeyer…
Add To MetaCart

On the Imbalance of Distributions of Solutions of CNF-Formulas and its Impact on Satisfiability Solvers
by Ewald Speckenmeyer, Ewald Speckenmeyer, Max Böhm, Max Bohm, Peter Heusch, Peter Heusch — 1996
… of Distributions of Solutions of CNF--Formulas and its Impact on Satisfiability Solvers by Ewald Speckenmeyer, Max…
Cited by 2 (1 self) – Add To MetaCart

A Fast Parallel SAT-Solver - Efficient Workload Balancing
by Max Böhm, Max Bohm, Ewald Speckenmeyer, Ewald Speckenmeyer — 1994
…--Solver --- Efficient Workload Balancing by Max Bohm, Ewald Speckenmeyer 1994 to appear in: Annals of Mathematics…
Cited by 35 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB