Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich
Concurrent Zero-Knowledge: With Additional Background by Oded Goldreich
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly contradictory definition; zero-knowledge proofs are convincing and yet yield nothing beyond the validity of the assertion being proved. Their applicability in the domain of cryptography is vast.

A fundamental question...

Scala in Action: Covers Scala 2.10
Scala in Action: Covers Scala 2.10

Summary

Scala in Action is a comprehensive tutorial that introduces Scala through clear explanations and numerous hands-on examples. Because Scala is a rich and deep language, it can be daunting to absorb all the new concepts at once. This book takes a "how-to" approach, explaining language...

Distributed Computing: Principles, Algorithms, and Systems
Distributed Computing: Principles, Algorithms, and Systems
Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed...
A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science) (v. 50)
A Concurrent Pascal Compiler for Minicomputers (Lecture Notes in Computer Science) (v. 50)

This paper describes a seven-pass compiler for Per Brlnch Hansen's Concurrent Pascal [1,2] programing language. Concurrent Pascal is an abstract programming language for conputer operating systems. The language extends sequential Pascal [7] with the process, nonitor, and class concepts for structured concurrent programing. A ironitor is a...

Concurrent and Real-Time Programming in Java
Concurrent and Real-Time Programming in Java
Real-time systems have to respond to externally generated input stimuli within a finite and predictable time. Their correctness depends not only on the logical results of the computations, but also on the time at which those results are produced.

When Java emerged as a serious programming language in 1994, it was treated with...

 
   
   
unlimited object storage image
Result Page: 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy