for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
The book will be especially rewarding for researchers and students of software engineering methodologies in general and of domain engineering and its related fields in particular, as it contains the most comprehensive and up-to-date information on this topic.
This book presents core concepts and algorithms of distributed computing, covering distributed graph algorithms; logical time and global states; mutual exclusion and resource allocation; high-level communication abstractions;distributed shared memory and more.
The exposition's level increases along the book, starting in the context of linear algebra at an undergraduate level and reaching in its third part the recent developments and partial solutions for Smale's 17th problem which can be explained within a graduate course.
This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of concurrent objects in the presence of asynchrony and process crashes.
This introduction to cryptography uses a programming-oriented approach to study important current cryptographic schemes and the main cryptanalytic attacks against them. The Maple implementations include many examples with parameters of realistic size.
Finally, the diversity of mashups is tracked through a few application areas: mathematical knowledge, speech, crisis and disaster management,... Læs mere
This book constitutes the refereed post-proceedings of the 10th International Symposium on Advanced Parallel Processing Technologies, APPT 2013, held in Stockholm, Sweden, in August 2013.
This book constitutes the thoroughly refereed revised selected papers of the... Læs mere
The papers are published in two volumes ac cording to the emphasis of the topics: volume I gives a slight leaning towards statistics and modelling, while volume II is focussed more on computation;
The papers cover a wide range of topics including program verification,... Læs mere