13 hits in 0.008 sec.
[External link]
Truly efficient parallel algorithms: 1-optimal multisearch for an extension of the BSP model; 2
[Score: 100%]
Author / Editor: Bäumker, Armin; Dittrich, Wolfgang; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1998
Journal / Series / Collection: Theoretical computer science; 203
Subject Area: Informatik
Author / Editor: Bäumker, Armin; Dittrich, Wolfgang; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1998
Journal / Series / Collection: Theoretical computer science; 203
Subject Area: Informatik
[External link]
Optimal strategies for maintaining a chain of relays between an explorer and a base camp; 36
[Score: 100%]
Author / Editor: Kutyłowski, Jarosław; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2009
Journal / Series / Collection: Theoretical computer science; 410
Subject Area: Informatik
Author / Editor: Kutyłowski, Jarosław; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2009
Journal / Series / Collection: Theoretical computer science; 410
Subject Area: Informatik
[External link]
Optimal algorithms for page migration in dynamic networks; 4
[Score: 100%]
Author / Editor: Bienkowski, Marcin; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2009
Journal / Series / Collection: Journal of discrete algorithms; 7
Subject Area: Informatik
Author / Editor: Bienkowski, Marcin; Meyer auf der Heide, Friedhelm | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2009
Journal / Series / Collection: Journal of discrete algorithms; 7
Subject Area: Informatik
[External link]
A hierarchy of polynomial time lattice basis reduction algorithms; 2-3
[Score: 100%]
Author / Editor: Schnorr, Claus Peter | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1987
Journal / Series / Collection: Theoretical computer science; 53
Subject Area: Informatik
Author / Editor: Schnorr, Claus Peter | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1987
Journal / Series / Collection: Theoretical computer science; 53
Subject Area: Informatik
[External link]
A theory for nondeterminism, parallelism, communication and concurrency
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Theoretical computer science; 45
Subject Area: Informatik; Mathematik
[External link]
Algebraic implementations preserve program correctness
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1986
Journal / Series / Collection: Science of computer programming; 7
Subject Area: Informatik
[External link]
Checking geometric programs or verification of geometric structures; 1-2
[Score: 100%]
Author / Editor: Mehlhorn, Kurt | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1999
Journal / Series / Collection: Computational geometry; 12
Subject Area: Mathematik; Informatik
Author / Editor: Mehlhorn, Kurt | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1999
Journal / Series / Collection: Computational geometry; 12
Subject Area: Mathematik; Informatik
[External link]
Computer-aided process modeling with MODKIT; 7-8
[Score: 100%]
Author / Editor: Bogusch, R.; Lohmann, B.; Marquardt, Wolfgang | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2001
Journal / Series / Collection: Computers & chemical engineering; 25
Subject Area: Informatik; Technik; Chemie und Pharmazie
Author / Editor: Bogusch, R.; Lohmann, B.; Marquardt, Wolfgang | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 2001
Journal / Series / Collection: Computers & chemical engineering; 25
Subject Area: Informatik; Technik; Chemie und Pharmazie
[External link]
Efficient schemes for nearest neighbor load balancing; 7
[Score: 100%]
Author / Editor: Diekmann, Ralf; Frommer, Andreas; Monien, Burkhard | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1999
Journal / Series / Collection: Parallel computing; 25
Subject Area: Informatik
Author / Editor: Diekmann, Ralf; Frommer, Andreas; Monien, Burkhard | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1999
Journal / Series / Collection: Parallel computing; 25
Subject Area: Informatik
[External link]
Nondeterministic data flow programs : how to avoid the merge anomaly; 1
[Score: 100%]
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 10
Subject Area: Informatik
Author / Editor: Broy, Manfred | Place of publication: Amsterdam [u.a.] | Publisher: Elsevier | Year of Publication: 1988
Journal / Series / Collection: Science of computer programming; 10
Subject Area: Informatik