Kernel

Results: 5601



#Item
321Concurrent computing / Computing / Parallel computing / Cloud computing / Distributed computing / Kernel / Computer cluster / Data-intensive computing / Techila Grid

Multiplicity Computing: A Vision of Software Engineering for Next-Generation Computing Platform Applications Cristian Cadar, Peter Pietzuch, and Alexander L. Wolf Department of Computing Imperial College London

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2016-03-08 07:04:45
322Software / Frama-C / Formal methods / Predicate transformer semantics / Alt-Ergo / Linux kernel

WP 1.0 WP Plug-in Manual Version 1.0 for Frama-C Aluminium Patrick Baudin, François Bobot, Loïc Correnson, Zaynah Dargaye

Add to Reading List

Source URL: frama-c.com

Language: English - Date: 2016-06-01 04:33:34
323Computer hardware / Computing / Motherboard / Computer buses / Side-channel attacks / DMA attack / Direct memory access / PC Card / IEEE / X86-64 / Field-programmable gate array

Subverting Windows 7 x64 Kernel with DMA attacks Damien Aumaitre Christophe Devine Physical attacks

Add to Reading List

Source URL: esec-lab.sogeti.com

Language: English - Date: 2016-07-01 12:08:46
324Algebra / Mathematics / Statistics / Multivariate statistics / Linear algebra / Functional analysis / Dimension reduction / Geostatistics / Kernel principal component analysis / Nonlinear dimensionality reduction / Principal component analysis / Dimensionality reduction

Semi-Supervised Dimensionality Reduction for Analyzing High-Dimensional Data with Constraints Su Yan∗∗ IBM Almaden Research Center, 650 Harry Rd San Jose, CA 95120, USA Sofien Bouaziz

Add to Reading List

Source URL: sofienbouaziz.com

Language: English - Date: 2015-11-19 01:50:28
325Software / System software / Computing / Hypervisor / Xen / Paravirtualization / Hyper-V / Hardware virtualization / QEMU / Kernel-based Virtual Machine / X86 virtualization / Virtual machine

ARM Virtualization: Performance and Architectural Implications

Add to Reading List

Source URL: www.cs.columbia.edu

Language: English - Date: 2016-07-02 09:59:49
326Software / Computer architecture / System software / Cryptographic software / NetBSD / Berkeley Software Distribution / FreeBSD / OpenBSD / Vi / Linux kernel / OpenSSH / LibreSSL

A Case Study of Cross-System Porting in Forked Projects Baishakhi Ray and Miryung Kim The University of Texas at Austin Austin, TX USA ,

Add to Reading List

Source URL: rayb.info

Language: English - Date: 2016-08-19 22:20:15
327Mathematical analysis / Mathematics / Analysis / Topology / Functional analysis / Distribution / Metric space / Banach space / Borel set / Continuous function / BanachAlaoglu theorem / Radon measure

REFERENCE MEASURES AND THE FINE TOPOLOGY PRELIMINARY VERSION, December 5, 1999 LUTZ WEIS AND DIRK WERNER Abstract. It is proved that a positive kernel on a Polish space X has a reference measure if and only if the associ

Add to Reading List

Source URL: page.mi.fu-berlin.de

Language: English - Date: 1999-12-13 11:12:31
328Computer architecture / Computing / Parallel computing / GPGPU / Software / Graphics hardware / Computational science / OpenCL compute devices / OpenCL / General-purpose computing on graphics processing units / Graphics processing unit / Kernel

High Performance Code Generation for Stencil Computation on Heterogeneous Multi-device Architectures Pei Li, Elisabeth Brunet, Raymond Namyst To cite this version:

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2016-06-14 12:49:56
329Computer architecture / Software / System software / Operating system kernels / Linux kernel / Kernel / Operating system / Hypervisor / NetBSD / Mach / Loadable kernel module / Microkernel

OS-S OMMELIER: Memory-Only Operating System Fingerprinting in the Cloud Yufei Gu† , Yangchun Fu† , Aravind Prakash‡ , Zhiqiang Lin† , Heng Yin‡ Department of Computer Science The University of Texas at Dallas 8

Add to Reading List

Source URL: www.utdallas.edu

Language: English - Date: 2012-10-07 17:39:02
330Software / Electronic Banking Internet Communication Standard / Online banking / Real-time gross settlement / Computer architecture / Computing / Linux kernel / Kernel / Caldera OpenLinux / Operating system

EBICS-Kernel EBICS communication made easy In both customer-to-bank and bank-to-bank communication, the EBICS European communication protocol is becoming more and more important. Overview

Add to Reading List

Source URL: www.ppi.de

Language: English - Date: 2015-10-28 10:41:37
UPDATE