MPI - PDFSEARCH.IO - Document Search Engine

MPI
Results: 2606

#	Item
1	Verifying MPI Applications with Mc SimGrid The Anh Pham, Thierry Jéron, Martin Quinson Univ. Rennes Inria CNRS IRISA (France) Correctness 2017 Denver, Colorado Add to Reading List Source URL: correctness-workshop.github.io Language: English - Date: 2017-11-14 22:52:13 Psychometrics Design of experiments Statistical hypothesis testing Test Psychology Education Parallel computing Human behavior
2	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
3	Gemeinsame Verwaltung / Joint Administration Geschäftsführer V&T / General Manager Volker Maria Geiss + Übersetzung Add to Reading List Source URL: www.mpi-klsb.mpg.de Language: German - Date: 2018-04-25 02:20:59
4	Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-18 15:01:43
5	(Mostly Real) Quantifier Elimination Thomas Sturm AVACS Autumn School, Oldenburg, Germany, October 1, 2015 http://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-10-05 02:59:04 Mathematical logic Mathematics Logic Model theory Predicate logic Quantification Quantifier First-order logic Definable set FO Grbner basis Real closed field
6	ZU064-05-FPR main 9 July 2018 Add to Reading List Source URL: people.mpi-sws.org Language: English - Date: 2018-07-09 07:58:31 Software engineering Programming language theory Computing Type theory Functional languages Polymorphism Data types Procedural programming languages Standard ML ML OCaml Type system
7	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
8	PDF Document Add to Reading List Source URL: hymanlab.mpi-cbg.de - Date: 2017-03-03 10:13:28
9	PDF Document Add to Reading List Source URL: www.mpi-inf.mpg.de - Date: 2016-11-04 09:26:00
10	PDF Document Add to Reading List Source URL: people.mpi-sws.org - Date: 2012-07-31 07:05:08