<--- Back to Details
First PageDocument Content
Control theory / Hybrid system / Systems theory / Algorithm / Model checking / Actor model / APL / Modal logic / Computing / Logic / Mathematics
Date: 2013-10-14 09:11:44
Control theory
Hybrid system
Systems theory
Algorithm
Model checking
Actor model
APL
Modal logic
Computing
Logic
Mathematics

Tech Digest Figure Template_1 column_01-06-12

Add to Reading List

Source URL: techdigest.jhuapl.edu

Download Document from Source Website

File Size: 1,99 MB

Share Document on Facebook

Similar Documents

Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute

DocID: 1s8DQ - 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

Hypocorisms / Ike / Actor model

Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth

DocID: 1rsRD - View Document

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

The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1rsvX - View Document

Computing / Software / Computer programming / Concurrent computing / Cross-platform software / Concurrent programming languages / Parallel computing / Edsger W. Dijkstra / Actor model / Thread / Go / Concurrency

PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education

DocID: 1rqUv - View Document