The Semantics of a Simple Language for Parallel Programming Gilles KAHN IRIA-Laboria, Domaine de Voluceau, 78150 Rocquencourt, France and Commissariat à l’Energie Atomique, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Computability theory
• Computer programming
• Theoretical computer science
• Software engineering
• Subroutines
• Recursion
• Continuous function
• Recurrence relation
• Computable topology

ZKPDL: A Language-Based System for Efficient Zero-Knowledge Proofs and Electronic Cash Sarah Meiklejohn University of California, San Diego smeiklej@ cs.ucsd.edu

Source URL: www.usenix.org

• Cryptography
• Public-key cryptography
• Computational complexity theory
• Zero-knowledge proof
• Proof of knowledge
• Commitment scheme
• Non-interactive zero-knowledge proof
• IP
• Cryptographic protocol
• NP
• RSA
• Zero knowledge

Lessons Learned from Developing mbeddr A Case Study in Language Engineering with MPS Markus Voelter Bernd Kolb

Source URL: mbeddr.com

• Software engineering
• Computing
• Computer programming
• Language workbench
• Functional languages
• High-level programming languages
• Scripting languages
• Programming languages
• JetBrains MPS
• JetBrains
• Domain-specific language
• Queue

SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog

Source URL: www.kestrel.edu

• Computing
• Parallel computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Concurrent computing
• Parallelism
• Scala

PDF Document

Source URL: language.sakura.ne.jp

DOCX Document

Source URL: language.sakura.ne.jp

PDF Document

Source URL: language.sakura.ne.jp

PDF Document

Source URL: italian-language-courses.net

DOCX Document

Source URL: language.sakura.ne.jp

PDF Document

Source URL: language.sakura.ne.jp