Networked Systems [electronic resource] : 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers / edited by Parosh Aziz Abdulla, Carole Delporte-Gallet.
Contributor(s): Abdulla, Parosh Aziz [editor.] | Delporte-Gallet, Carole [editor.] | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 9944Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Description: X, 396 p. 118 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319461403.Subject(s): Computer science | Computer communication systems | Software engineering | Algorithms | Computer logic | Computer Science | Computer Communication Networks | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Software Engineering | Information Systems Applications (incl. Internet)Additional physical formats: Printed edition:: No titleDDC classification: 004.6 Online resources: Click here to access online
In:
Springer eBooksSummary: This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification. .
This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification. .
There are no comments for this item.