<--- Back to Details
First PageDocument Content
Computing / Concurrent computing / Computer architecture / Internal combustion engine / Argonne National Laboratory / Cell / VisIt / Supercomputer / MEMO Model
Date: 2015-05-07 08:32:14
Computing
Concurrent computing
Computer architecture
Internal combustion engine
Argonne National Laboratory
Cell
VisIt
Supercomputer
MEMO Model

Microsoft PowerPoint - SSom_VERIFIpresentation_11122014 - Upload.pptx

Add to Reading List

Source URL: blogs.anl.gov

Download Document from Source Website

File Size: 3,90 MB

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