ICL - PDFSEARCH.IO - Document Search Engine

ICL
Results: 367

#	Item
241	A Proposal for User-Level Failure Mitigation in the MPI-3 Standard Wesley Bland George Bosilca Aurelien Bouteiller Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2012-05-03 16:13:00 Application programming interfaces Software engineering Message Passing Interface Collective operation Process management LAM/MPI Computing Computer programming Parallel computing
242	Algorithm-based Fault Tolerance for Dense Matrix Factorizations Peng Du Aurelien Bouteiller Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2012-05-23 13:00:46 Numerical linear algebra Cholesky decomposition LU decomposition Matrix decomposition QR decomposition Application checkpointing QR algorithm LAPACK Sum Algebra Linear algebra Mathematics
243	On Free Type Definitions in Z∗ R.D. Arthan ICL Secure Systems Eskdale Road Winnersh Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:41:12 Z notation Model theory Type theory Set theory Zermelo set theory Constructible universe Function Independence S Mathematical logic Mathematics Logic
244	On Scalability for MPI Runtime Systems George Bosilca ICL, University of Tennessee Knoxville [removed] Thomas Herault Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2013-10-01 16:14:44 Message Passing Interface MPICH Open MPI Blue Gene Topology Routing Computer cluster Computing Parallel computing Computer programming
245	Request Sequencing: Enabling Workflow for Efficient Parallel Problem Solving in GridSolve Yinan Li, Jack Dongarra Department of Electrical Engineering and Computer Science University of Tennessee Knoxville, Tennessee 379 Add to Reading List Source URL: icl.cs.utk.edu Language: English - Date: 2008-05-13 14:33:31 Directed acyclic graph Workflow Dependence analysis Server Data dependency Computing Software Business Workflow technology Grid computing GridRPC
246	PDF Document Add to Reading List Source URL: www.icl.keio.ac.jp Language: English - Date: 2015-04-05 21:46:02 Minato Tokyo Yoshio Nishi Asia Ang Ui-jin Year of birth missing Association of Pacific Rim Universities Keio University
247	Microsoft Word - ICL GoGo Board paper 1.8 final.doc Add to Reading List Source URL: www.blikstein.com Language: English - Date: 2011-09-04 02:07:59 Gogo Lego MicroWorlds For Inspiration and Recognition of Science and Technology Technology Electronics Robot kits Lego Mindstorms Robotics
248	Microsoft Word - ICL guidelines[removed]doc Add to Reading List Source URL: www.familylawcourts.gov.au Language: English - Date: 2012-02-12 22:00:59 Family Law Act Law International Computers Limited Child custody Best interests Contact
249	Indigenous Community Links (ICL) Providers Contact Details for[removed]Location(s) Provider Contact Details Add to Reading List Source URL: www.dpmc.gov.au Language: English - Date: 2015-02-12 19:04:48 Internet Computing Fax 000 Emergency Internet fax Email Technology Spamming
250	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic

UPDATE