Search Results for Algebra.

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.

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers için kapak resmi

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

In Memory Data Management and Analysis First and Second International Workshops, IMDM 2013, Riva del Garda, Italy, August 26, 2013, IMDM 2014, Hongzhou, China, September 1, 2014, Revised Selected Papers

Yazar

Jagatheesan, Arun. editor.

http://dx.doi.org/10.1007/978-3-319-13960-9

Format:

Electronic Resources

Alıntı:

Stores -- Compiled Plans for In-Memory Path-Counting Queries -- Bringing Linear Algebra Objects to Life

2.

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings için kapak resmi

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

Supercomputing Frontiers 5th Asian Conference, SCFA 2019, Singapore, March 11–14, 2019, Proceedings

Yazar

Abramson, David. editor. (orcid)0000-0003-0441-4596

https://doi.org/10.1007/978-3-030-18645-6

Format:

Electronic Resources

Alıntı:

: Memory-State-Aware Fault Injection Platform -- Performance Evaluation and Analysis of Linear Algebra Kernels in the

3.

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings için kapak resmi

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Advanced Parallel Processing Technologies 12th International Symposium, APPT 2017, Santiago de Compostela, Spain, August 29, 2017, Proceedings

Yazar

Dou, Yong. editor.

https://doi.org/10.1007/978-3-319-67952-5

Format:

Electronic Resources

Alıntı:

Linear Algebra Computation -- T-List: A Concurrent Skip List Balanced on Search.

4.

Handbook of Model Checking için kapak resmi

Handbook of Model Checking

Handbook of Model Checking

Yazar

Clarke, Edmund M. editor.

https://doi.org/10.1007/978-3-319-10575-8

Format:

Electronic Resources

Alıntı:

-- Symbolic Model Checking in Non-Boolean Domains -- Process Algebra and Model Checking.

5.

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings için kapak resmi

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings

Yazar

Träff, Jesper Larsson. editor.

http://dx.doi.org/10.1007/978-3-662-48096-0

Format:

Electronic Resources

Alıntı:

Trees of Malleable Tasks for Sparse Linear Algebra -- Elastic Tasks: Unifying Task Parallelism and SPMD

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