An Automatic Verifier for the Feasibility of Special Cases of the Offline Dynamic Storage Allocation Problem

2012 ◽  
Author(s):  
Soon Aik Low ◽  
Yen Kaow Ng ◽  
Hung Khoon Tan
Keyword(s):  
Allocation Problem ◽  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Special Cases ◽  
Dynamic Storage

A dynamic storage allocation problem

1973 ◽  
Vol 2 (4) ◽  
pp. 96-99 ◽  
Author(s):  
Stein Krogdahl
Keyword(s):  
Allocation Problem ◽  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

A note on the dynamic storage allocation problem

1985 ◽  
Vol 20 (5) ◽  
pp. 223-227 ◽  
Author(s):  
Maciej S̀lusarek
Keyword(s):  
Allocation Problem ◽  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

Modularly Certified Dynamic Storage Allocation in SCAP

2006 ◽  
Author(s):  
Sen Xiang ◽  
Yiyun Chen ◽  
Chunxiao Lin ◽  
Long Li
Keyword(s):  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

An Introduction to Combinatorial Models of Dynamic Storage Allocation

SIAM Review ◽  
1983 ◽  
Vol 25 (3) ◽  
pp. 311-325 ◽  
Author(s):  
E. G. Coffman, Jr.
Keyword(s):  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

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

1971 ◽  
Author(s):  
Alan C. H. Kam ◽  
Charles F. Wall
Keyword(s):  
Operating System ◽  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage

Dynamic Storage Allocation for the BRLESC II Computer

1974 ◽  
Author(s):  
Morton A. Hirschberg
Keyword(s):  
Storage Allocation ◽  
Dynamic Storage Allocation ◽  
Dynamic Storage
Sign in / Sign up

Export Citation Format

Share Document