Search Results for Algorithms.

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations

Yazar

Milutinovic, Veljko. author.

https://doi.org/10.1007/978-3-319-66125-4

Format:

Electronic Resources

Alıntı:

DataFlow Supercomputing Essentials Algorithms, Applications and Implementations / Milutinovic

Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings

Yazar

Menzies, Tim. editor. (orcid)0000-0002-5040-3196

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

Format:

Electronic Resources

Alıntı:

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

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

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

Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings

Yazar

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

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

Format:

Electronic Resources

Alıntı:

following topical sections: transformation paradigms, languages, algorithms and strategies; development of

Theory and Applications of Satisfiability Testing – SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings

Yazar

Gaspers, Serge. editor. (orcid)0000-0002-6947-9238

https://doi.org/10.1007/978-3-319-66263-3

Format:

Electronic Resources

Alıntı:

64 submissions. The papers are organized in the following topical sections: algorithms, complexity

DataFlow Supercomputing Essentials Research, Development and Education

Yazar

Milutinovic, Veljko. author.

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

Format:

Electronic Resources

Alıntı:

: Algorithms, Applications and Implementations, which reviews the key algorithms in this area, and provides

Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings

Yazar

Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448

https://doi.org/10.1007/978-3-319-66176-6

Format:

Electronic Resources

Alıntı:

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

Stabilization, Safety, and Security of Distributed Systems 19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

Yazar

Spirakis, Paul. editor.

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

Format:

Electronic Resources

Alıntı:

-- Self-stabilizing Distributed Stable Marriage -- Computing the Fault-Containment Time of Self-Stabilizing Algorithms

	{displayName}	{count}
{error}