Search Results for Tools.

6 sonuç bulundu

Tümünü Seç

000000DEFAULTTR

Supercomputing 4th Russian Supercomputing Days, RuSCDays 2018, Moscow, Russia, September 24–25, 2018, Revised Selected Papers

Yazar

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

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

Format:

Electronic Resources

Alıntı:

sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and

Coordination Models and Languages 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings

Yazar

Riis Nielson, Hanne. editor. (orcid)0000-0002-2484-5580

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

Format:

Electronic Resources

Alıntı:

in topical sections named: computational models; tools; exploring new frontiers; and coordination

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

Yazar

Liu, Zhiming. editor.

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

Format:

Electronic Resources

Alıntı:

the design and use of theories, techniques and tools for software specification and modeling, analysis

Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings

Yazar

Dutot, Pierre-François. editor.

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

Format:

Electronic Resources

Alıntı:

176 submissions. The papers are organized in 12 topical sections: Support Tools and Environments

End-User Development 7th International Symposium, IS-EUD 2019, Hatfield, UK, July 10–12, 2019, Proceedings

Yazar

Malizia, Alessio. editor.

https://doi.org/10.1007/978-3-030-24781-2

Format:

Electronic Resources

Alıntı:

-- Technologies and infrastructures for end-user development -- Methods and tools for end-user development

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Yazar

Merayo, Mercedes G. editor.

http://dx.doi.org/10.1007/978-3-662-44857-1

Format:

Electronic Resources

Alıntı:

Planning -- Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria -- Tools and

Tümünü Seç

6 sonuç bulundu

	{displayName}	{count}
{error}