<--- Back to Details
First PageDocument Content
Computer programming / Functional programming / Memory management / Category theory / Type theory / F-coalgebra / Garbage collection / Algebraic data type / List / Software engineering / Computing / Data types
Date: 2013-02-02 11:04:46
Computer programming
Functional programming
Memory management
Category theory
Type theory
F-coalgebra
Garbage collection
Algebraic data type
List
Software engineering
Computing
Data types

Add to Reading List

Source URL: fpt.wdfiles.com

Download Document from Source Website

File Size: 363,85 KB

Share Document on Facebook

Similar Documents

Computer data storage / Computing / Computer memory / System software / Non-volatile memory / Embedded Linux / UBIFS / Flash memory / Memory Technology Device / Flash file system / Wear leveling / Data

Formal Specification of an Erase Block Management Layer for Flash Memory ? J¨ org Pf¨ ahler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif

DocID: 1xUfd - View Document

Software engineering / Computing / Computer programming / Object-oriented programming / Data types / Type theory / Method / Java / Scope / Object / Class / Java syntax

Implicit Ownership Types for Memory Management Tian Zhaoa,∗ , Jason Bakerb , James Huntc , James Nobled , Jan Vitekb,∗ a University of Wisconsin – Milwaukee, USA University, West Lafayette, USA

DocID: 1vpbl - View Document

CMCP: A Novel Page Replacement Policy for System Level Hierarchical Memory Management on Many-cores Balazs Gerofi† , Akio Shimada‡ , Atsushi Hori‡ , Takagi Masamichi§ , Yutaka Ishikawa†,‡ † Graduate School

DocID: 1voJ5 - View Document

Origins of Spurious Long Memory∗ Christian Leschinski and Philipp Sibbertsen1 Institute of Statistics, Faculty of Economics and Management, Leibniz University Hannover, Germany Abstract

DocID: 1vmUy - View Document

Partially Separated Page Tables for Efficient Operating System Assisted Hierarchical Memory Management on Heterogeneous Architectures Balazs Gerofi∗ , Akio Shimada∗ , Atsushi Hori∗ and Yutaka Ishikawa∗† ∗

DocID: 1vhWc - View Document