ICL

Results: 367



#Item
251Grid computing / Middleware / GLite / GridRPC / Parallel computing / Proxy server / DIET / Network address translation / IP address / Computing / Concurrent computing / Computer architecture

INTERACTIVE GRID-ACCESS USING GRIDSOLVE AND GIGGLE M. Hardt,∗2 K. Seymour,∗1 J.Dongarra,1 M. Zapf,3 N.V. Ruiter3 1 Innovative Computing Laboratory, University of Tennessee, Knoxville, USA

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2008-04-22 15:44:20
252Password / Key / Computer security / Cyberwarfare / Special purpose file systems / Security / ICL VME / Disk encryption / Cryptographic software / Cryptography

Microsoft Word - VMEOffice

Add to Reading List

Source URL: www.meganet.com

Language: English - Date: 2014-10-24 18:01:29
253Numerical linear algebra / Numerical software / Singular value decomposition / Matrix theory / NetSolve / Singular value / Matrix / LAPACK / Orthogonal matrix / Algebra / Mathematics / Linear algebra

Singular Value Decomposition (SVD) is a useful mathematical tool for finding and removing information stored in matrix form based on its significance to the rest of the data. Image compression is one of many uses. The i

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2003-11-17 11:17:47
254Numerical software / Xen / General Matrix Multiply / Paravirtualization / Kernel / Virtual machine / Mach / Basic Linear Algebra Subprograms / Hyper-V / System software / Software / Numerical linear algebra

The Impact of Paravirtualized Memory Hierarchy on Linear Algebra Computational Kernels and Software Lamia Youseff Keith Seymour

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2008-04-22 16:19:11
255Computing / Computer architecture / Grid computing / GridRPC / Concurrent computing

In: Book Title Editor: Editor Name, pp[removed]ISBN[removed]c 2006 Nova Science Publishers, Inc.

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2008-04-22 15:51:35
256Logic in computer science / Formal methods / HOL / Automated theorem proving / Metalogic / DICT / Theorem / Theory / Standard ML / Logic / Mathematics / Theoretical computer science

HOL Formalised: Formal Design of the Logical Kernel R.D. Arthan ICL, Eskdale Road, Winnersh,

Add to Reading List

Source URL: www.lemma-one.com

Language: English - Date: 2006-02-14 05:59:07
257GridRPC / MATLAB / Matrix / R / X Window System / JavaScript / Partial differential equation / Software / Computing / Grid computing

gridsolve_service_trader.dvi

Add to Reading List

Source URL: icl.cs.utk.edu

Language: English - Date: 2010-06-23 21:43:09
258

PDF Document

Add to Reading List

Source URL: www.icl.keio.ac.jp

Language: Japanese - Date: 2015-03-11 23:59:05
    259NetSolve / Spreadsheet / Grid computing / Software / Microsoft Excel

    PDF Document

    Add to Reading List

    Source URL: icl.cs.utk.edu

    Language: English - Date: 2003-09-12 11:29:49
    260Association of Pacific Rim Universities / Keio University / Minato /  Tokyo / Noam Chomsky / Yoshio Nishi / Academia / Education / Philosophy

    PDF Document

    Add to Reading List

    Source URL: www.icl.keio.ac.jp

    Language: English - Date: 2015-02-05 22:41:38
    UPDATE