Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method

Rui Chang; Liehui Jiang; Yaobin Xie; Hongqi He; Danmin Chen; Lu Ren

doi:10.1002/cpe.4659

Implementing a hardware‐assisted memory management mechanism for ARM platforms using the B method

Concurrency and Computation Practice and Experience ◽

10.1002/cpe.4659 ◽

2018 ◽

Vol 31 (21) ◽

Cited By ~ 1

Author(s):

Rui Chang ◽

Liehui Jiang ◽

Yaobin Xie ◽

Hongqi He ◽

Danmin Chen ◽

...

Keyword(s):

Memory Management ◽

Management Mechanism ◽

B Method

Download Full-text

Research on Dynamic Memory Management Mechanism for Embedded System

2009 First International Conference on Information Science and Engineering ◽

10.1109/icise.2009.948 ◽

2009 ◽

Author(s):

Yi-min Zhou ◽

Tong-xin Mu

Keyword(s):

Embedded System ◽

Memory Management ◽

Management Mechanism ◽

Dynamic Memory ◽

Dynamic Memory Management

Download Full-text

A Memory Management Mechanism for MSVL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-319-17404-4_12 ◽

2015 ◽

pp. 179-188

Author(s):

Kai Yang ◽

Zhenhua Duan ◽

Cong Tian

Keyword(s):

Memory Management ◽

Management Mechanism

Download Full-text

Outline of Gmicro/200 and Memory Management Mechanism

TRON Project 1987 Open-Architecture Computer Systems ◽

10.1007/978-4-431-68069-7_20 ◽

1987 ◽

pp. 259-272

Author(s):

Katsuaki Takagi ◽

Tadahiko Nishimukai ◽

Kazuhiko Iwasaki ◽

Ikuya Kawasaki ◽

Hideo Inayoshi

Keyword(s):

Memory Management ◽

Management Mechanism

Download Full-text

Multi-Tenant Database Memory Management Mechanism Based on Chunk Folding

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.02319 ◽

2012 ◽

Vol 34 (12) ◽

pp. 2319-2331 ◽

Cited By ~ 4

Author(s):

Jin-Cheng YAO ◽

Shi-Dong ZHANG ◽

Yu-Liang SHI ◽

Qing-Zhong LI

Keyword(s):

Memory Management ◽

Management Mechanism

Download Full-text

Heap Memory Management Mechanism of C-RAN-oriented LTE Protocol Stack

2017 International Conference on Computer Technology, Electronics and Communication (ICCTEC) ◽

10.1109/icctec.2017.00287 ◽

2017 ◽

Author(s):

Yao Lv ◽

Hao Zeng ◽

Fengli Wang

Keyword(s):

Memory Management ◽

Protocol Stack ◽

Management Mechanism

Download Full-text

Research and implementation of embedded dynamic memory management mechanism of HeapManager

2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD) ◽

10.1109/fskd.2017.8393250 ◽

2017 ◽

Cited By ~ 1

Author(s):

Lei Xiao ◽

Kejiang Liu

Keyword(s):

Memory Management ◽

Management Mechanism ◽

Dynamic Memory ◽

Dynamic Memory Management

Download Full-text

The Design of Microkernel Memory Management Mechanism Based on Heterogeneous Multi-core Processor

Proceedings of the 3rd International Conference on Intelligent Information Processing - ICIIP '18 ◽

10.1145/3232116.3232136 ◽

2018 ◽

Author(s):

Deng Yun ◽

Zhu Yan ◽

Cheng Xiaohui

Keyword(s):

Memory Management ◽

Management Mechanism ◽

Multi Core Processor

Download Full-text

Embedded System Memory Management Mechanism Based on uC / OS-II

2010 International Conference on Communications and Mobile Computing ◽

10.1109/cmc.2010.335 ◽

2010 ◽

Author(s):

Wang Xibo ◽

Li Nan

Keyword(s):

Embedded System ◽

Memory Management ◽

Management Mechanism ◽

System Memory

Download Full-text

Competitiveness Management Mechanism Of Industrial Enterprise Under Conditions Of Import Substitution Policy

10.15405/epsbs.2018.02.137 ◽

2018 ◽

Author(s):

E. D. Shchetinina

Keyword(s):

Import Substitution ◽

Industrial Enterprise ◽

Management Mechanism ◽

Substitution Policy

Download Full-text

Management mechanism of ecological security in the region

The Russian Academic journal ◽

10.15535/153 ◽

2014 ◽

Vol 27 (1) ◽

Author(s):

Dmytro Chubin

Keyword(s):

Ecological Security ◽

Management Mechanism

Download Full-text