Partner

Partners | Elsevier

13 hits in 0.013 sec.

1 - 10    
[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
[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
[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
[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
[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
[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
[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
[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
[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
[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
1 - 10    

Active filters [Remove filter]

Drill down result

Language