Journal of the ACM (JACM)
Optimal Sequential Partitions of Graphs
Journal of the ACM (JACM)
Automatic segmentation of cyclic program structures based on connectivity and processor timing
Communications of the ACM
Analysis of boolean program models for time-shared, paged environments
Communications of the ACM
One way of estimating frequencies of jumps in a program
Communications of the ACM
Analysis of algorithms for the zero-one programming problem
Communications of the ACM
Analysis of computational systems: Discrete Markov analysis of computer programs
ACM '65 Proceedings of the 1965 20th national conference
Markovian models and numerical analysis of computer system behavior
AFIPS '66 (Spring) Proceedings of the April 26-28, 1966, Spring joint computer conference
Analytical techniques for the statistical evaluation of program running time
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
Automatic program segmentation based on Boolean connectivity
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
| Hi-index | 14.98 |
A general model of systems consisting of "control units" and "passive units" is established. These units could be instructions and data in computer programs, for example, or information processing modules and files in data management systems; other applications are also suggested. The model contains both structural and behavioral information. The sets of units of the model are partitioned, and the resulting subsets correspond to different groups of elements of real systems.