Search Results for Algorithms.

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday

Yazar

Aceto, Luca. editor.

https://doi.org/10.1007/978-3-319-63121-9

Format:

Electronic Resources

Alıntı:

Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of

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ı:

Algorithm Analysis and Problem Complexity.

Languages and Compilers for Parallel Computing 31st International Workshop, LCPC 2018, Salt Lake City, UT, USA, October 9–11, 2018, Revised Selected Papers

Yazar

Hall, Mary. editor. (orcid)0000-0002-3058-7573

https://doi.org/10.1007/978-3-030-34627-0

Format:

Electronic Resources

Alıntı:

Parallelism with Algorithmic Skeletons -- HDArray: Parallel Array Interface for Distributed Heterogeneous

Fundamentals of Software Engineering 7th International Conference, FSEN 2017, Tehran, Iran, April 26–28, 2017, Revised Selected Papers

Yazar

Dastani, Mehdi. editor.

https://doi.org/10.1007/978-3-319-68972-2

Format:

Electronic Resources

Alıntı:

Algorithm Analysis and Problem Complexity. http://scigraph.springernature.com/things/product-market

NASA Formal Methods 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings

Yazar

Badger, Julia M. editor.

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

Format:

Electronic Resources

Alıntı:

; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional

Principles of Modeling Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday

Yazar

Lohstroh, Marten. editor.

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

Format:

Electronic Resources

Alıntı:

Software Design Methodology Based on Formal Models of Computation -- Anytime Algorithms in Time-Triggered

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Yazar

Dillig, Isil. editor.

https://doi.org/10.1007/978-3-030-25540-4

Format:

Electronic Resources

Alıntı:

Timed Automata -- Fast Algorithms for Handling Diagonal Constraints in Timed Automata -- Safety and

Euro-Par 2018: Parallel Processing 24th International Conference on Parallel and Distributed Computing, Turin, Italy, August 27 - 31, 2018, Proceedings

Yazar

Aldinucci, Marco. editor. (orcid)0000-0001-8788-0829

https://doi.org/10.1007/978-3-319-96983-1

Format:

Electronic Resources

Alıntı:

Algorithm Selection for Cloud Resource Allocation using Machine Learning -- Cloud Federation Formation in

	{displayName}	{count}
{error}