Building Certified Libraries for PCC: Dynamic Storage Allocation

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-36575-3_25 ◽

2003 ◽

pp. 363-379 ◽

Author(s):

Dachuan Yu ◽

Nadeem A. Hamid ◽

Zhong Shao

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Modularly Certified Dynamic Storage Allocation in SCAP

2006 Sixth International Conference on Quality Software (QSIC'06) ◽

10.1109/qsic.2006.42 ◽

2006 ◽

Author(s):

Sen Xiang ◽

Yiyun Chen ◽

Chunxiao Lin ◽

Long Li

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Scalability of dynamic storage allocation algorithms

Proceedings of 6th Symposium on the Frontiers of Massively Parallel Computation (Frontiers '96) ◽

10.1109/fmpc.1996.558089 ◽

2002 ◽

Author(s):

A. Iyengar

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage ◽

Allocation Algorithms

Download Full-text

An Introduction to Combinatorial Models of Dynamic Storage Allocation

SIAM Review ◽

10.1137/1025074 ◽

1983 ◽

Vol 25 (3) ◽

pp. 311-325 ◽

Author(s):

E. G. Coffman, Jr.

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Dynamic Storage Allocation

Memory Management for Synthesis of DSP Software ◽

10.1201/9781420019476-4 ◽

2018 ◽

pp. 137-166

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

New Approximation Algorithms for Some Dynamic Storage Allocation Problems

Lecture Notes in Computer Science - Computing and Combinatorics ◽

10.1007/978-3-540-27798-9_37 ◽

2004 ◽

pp. 339-348 ◽

Author(s):

Shuai Cheng Li ◽

Hon Wai Leong ◽

Steven K. Quek

Keyword(s):

Approximation Algorithms ◽

Storage Allocation ◽

Dynamic Storage Allocation ◽

Allocation Problems ◽

Dynamic Storage

Download Full-text

DYNA: Dynamic Storage Allocation in FORTRAN for the IBM/360 Operating System

10.21236/ad0723830 ◽

1971 ◽

Author(s):

Alan C. H. Kam ◽

Charles F. Wall

Keyword(s):

Operating System ◽

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Dynamic Storage Allocation for the BRLESC II Computer

10.21236/ad0780732 ◽

1974 ◽

Author(s):

Morton A. Hirschberg

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

Dystal manual (dynamic storage allocation language in fortran)

Behavioral Science ◽

10.1002/bs.3830100210 ◽

1965 ◽

Vol 10 (2) ◽

pp. 182-183

Author(s):

James M. Sakoda

Keyword(s):

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

A provably efficient algorithm for dynamic storage allocation

Journal of Computer and System Sciences ◽

10.1016/0022-0000(89)90031-7 ◽

1989 ◽

Vol 38 (1) ◽

pp. 2-35 ◽

Author(s):

E.G. Coffman ◽

F.T. Leighton

Keyword(s):

Efficient Algorithm ◽

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text

A Lumped-state Model of Clustering in Dynamic Storage Allocation

The Computer Journal ◽

10.1093/comjnl/27.2.135 ◽

1984 ◽

Vol 27 (2) ◽

pp. 135-142 ◽

Author(s):

C. M. Reeves

Keyword(s):

State Model ◽

Storage Allocation ◽

Dynamic Storage Allocation ◽

Dynamic Storage

Download Full-text