<--- Back to Details
First PageDocument Content
Computing / Concurrent computing / Distributed computing / Distributed data storage / Computer networking / Streaming / Topix / Content delivery network / Futures contract / Topic / Ono
Date: 2016-01-01 15:12:33
Computing
Concurrent computing
Distributed computing
Distributed data storage
Computer networking
Streaming
Topix
Content delivery network
Futures contract
Topic
Ono

Topix reaches millions of global readers faster

Add to Reading List

Source URL: web1.cachefly.net

Download Document from Source Website

File Size: 362,24 KB

Share Document on Facebook

Similar Documents

Lie algebras / Lie groups / Circuit complexity / NC / Constructible universe / Homogeneous spaces / Mathematics / Hopf decomposition

Under consideration for publication in Formal Aspects of Computing Maximally Concurrent Programs 1

DocID: 1xUtw - View Document

Mathematical analysis / Temporal logic / Mathematics / Computation tree logic / Logic in computer science / Determinacy / Distribution / Linear temporal logic / Universal representation

Automated Verification of Concurrent Stochastic Games Marta Kwiatkowska1 , Gethin Norman2 , David Parker3 , and Gabriel Santos1 1 Department of Computing Science, University of Oxford, UK

DocID: 1xTlL - View Document

Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk

DocID: 1tNeJ - View Document

Chivalry / Military personnel / Actor model / Concurrent computing / Dwight D. Eisenhower

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1ru6U - View Document

Software engineering / Computing / Computer programming / Functional languages / Concurrent programming languages / Programming languages / Procedural programming languages / Cross-platform software / Clojure / Multiple dispatch / Type system / Dynamic programming language

Practical Optional Types for Clojure Ambrose Bonnaire-Sergeant† , Rowan Davies*, Sam Tobin-Hochstadt† Indiana University†; Omnia Team, Commonwealth Bank of Australia* {abonnair,samth}@indiana.edu, Rowan.Davies@cba.

DocID: 1ru0R - View Document