Search Results for Algorithms.

5 sonuç bulundu

Arama sonuçlarına abone ol

Tümünü Seç

1

Liste görünümüne geç

Küçük resim görünümüne geç

00000DEFAULTTR

Yazdır

1.

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers için kapak resmi

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

High Performance Computing for Computational Science -- VECPAR 2014 11th International Conference, Eugene, OR, USA, June 30 -- July 3, 2014, Revised Selected Papers

Yazar

Daydé, Michel. editor.

http://dx.doi.org/10.1007/978-3-319-17353-5

Format:

Electronic Resources

Alıntı:

Algorithms for GPU and Many cores -- Large-Scale Applications -- Numerical Algorithms -- Direct

2.

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers için kapak resmi

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers

Yazar

Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750

https://doi.org/10.1007/978-3-030-31517-7

Format:

Electronic Resources

Alıntı:

systems, theorem proving, learning, verification, distributed algorithms, and program analysis.

3.

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings için kapak resmi

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Theory and Applications of Satisfiability Testing – SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings

Yazar

Janota, Mikoláš. editor. (orcid)0000-0003-3487-784X

https://doi.org/10.1007/978-3-030-24258-9

Format:

Electronic Resources

Alıntı:

restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues

4.

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings için kapak resmi

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

High Performance Computing 30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, Proceedings

Yazar

Kunkel, Julian M. editor.

http://dx.doi.org/10.1007/978-3-319-20119-1

Format:

Electronic Resources

Alıntı:

Framework for Batched and GPU-Resident Factorization Algorithms Applied to Block Householder Transformations

5.

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings için kapak resmi

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

http://dx.doi.org/10.1007/978-3-319-07518-1

Format:

Electronic Resources

Alıntı:

for Sorting Algorithms -- Performance Analysis of Graph Algorithms on P7IH.- Sparsifying

Tümünü Seç

1

5 sonuç bulundu

Arama sonuçlarına abone ol

Arama Sonuçlarını Sınırlandır

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope

Copyright 2023 Sirsi Corporation - Enterprise Version 5.2.1.2