Computing Surveys (CSUR)


Search Issue
enter search term and/or author name


ACM Computing Surveys (CSUR), Volume 26 Issue 3, Sept. 1994

A taxonomy of computer program security flaws
Carl E. Landwehr, Alan R. Bull, John P. McDermott, William S. Choi
Pages: 211-254
DOI: 10.1145/185403.185412
An organized record of actual flaws can be useful to computer system designers, programmers, analysts, administrators, and users. This survey provides a taxonomy for computer program security flaws, with an Appendix that documents 50 actual...

Parallel logic simulation of VLSI systems
Mary L. Bailey, Jack V. Briner, Jr., Roger D. Chamberlain
Pages: 255-294
DOI: 10.1145/185403.185424
Fast, efficient logic simulators are an essential tool in modern VLSI system design. Logic simulation is used extensively for design verification prior to fabrication, and as VLSI systems grow in size, the execution time required by simulation...

Parallel logic programming systems
Jacques Chassin de Kergommeaux, Philippe Codognet
Pages: 295-336
DOI: 10.1145/185403.185453
Parallelizing logic programming has attracted much interest in the research community, because of the intrinsic OR- and AND-parallelisms of logic programs. One research stream aims at transparent exploitation of parallelism in existing logic...