Computing Surveys (CSUR)


Search Issue
enter search term and/or author name below:


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

A taxonomy of computer program security flaws
Alan R. Bull, William S. Choi, Carl E. Landwehr, John P. McDermott
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
Roger D. Chamberlain, Mary L. Bailey, Jack V. Briner, Jr.
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...