Runtime Checking of Datatype Signatures in MPI⋆ William D. Gropp Mathematics and Computer Science Division Argonne National Laboratory Argonne, Illinois 60439

Source URL: wgropp.cs.illinois.edu

• Computer programming
• Computing
• Parallel computing
• Software engineering
• Application programming interfaces
• Message Passing Interface
• Type theory
• C++
• C++ classes
• Type signature
• MPI
• Hash function

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury, Limin Jia, Deepak Garg, Anupam Datta May 28, 2014

Source URL: www.andrew.cmu.edu

• Logic
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• FO

Microsoft Word - Instructions for checking out Library books on a Kindle

Source URL: cynthianalibrary.org

• Business
• Amazon.com
• Publishing
• Digital media
• Ur
• E-book
• Click
• Amazon Kindle

AKTUELLES DRUG CHECKING ERGEBNIS AUS INNSBRUCK: LSD-Trip als 25I-NBOMe, 25C-NBOMe und 25H-NBOMe analysiert JuniAls LSD zur Analyse gebracht:

Source URL: saferparty.ch

Faculty View: Checking to See Which Students Deposited Assignments into Assessment 1. Use Your GroupWise credentials to login at https://intranet.laguardia.edu/eportfoliosso/ (See image 1) Image 1

Source URL: eportfolio.lagcc.cuny.edu

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

Source URL: coccinelle.lip6.fr

• Temporal logic
• Logic in computer science
• Mathematical logic
• Logic
• Computation tree logic
• Mathematics
• Witness
• Linear temporal logic
• CTL*

Electrician checking the energy meter

Source URL: jobclipr.com

Checking Inevitability and Invariance Using Description Logic Technology Shoham Ben-David1 , Richard Trefler1 , Dmitry Tsarkov2 and Grant Weddell1

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Model theory
• Ontology
• Philosophy
• Temporal logic
• Non-classical logic
• Philosophical logic
• Tbox
• Abox
• Modal logic
• Kripke structure

TOWARD IMPLEMENTING A FORMAL APPROACH TO AUTOMATE THEMATIC ACCURACY CHECKING FOR DIGITAL CARTOGRAPHIC DATASETS Barbara Bicking and Kate Beard National Center for Geographic Information and Analysis and Department of Surv

Source URL: mapcontext.com

• Cartography
• Geography
• Geographic information system
• Geomatics
• Thematic map
• Map
• Geometric dimensioning and tolerancing
• Topography
• Topological map
• Topographic map
• Object Process Methodology
• Spatial ETL

Meta-Predicates for Rodin Sebastian Krings Institut f¨ ur Informatik, Universit¨ at D¨ usseldorf

Source URL: wiki.event-b.org

• Formal methods
• Theoretical computer science
• FO
• Finite model theory
• Model checking
• Linguistics
• B-Method
• Rodin
• Control
• Predicate
• Cognitive science