30. ACM Southeast Regional Conference 1992: Raleigh, North Carolina, USA

Mladen A. Vouk, Douglas S. Reeves, Cherri M. Pancake (Eds.): Proceedings of the 30th Annual Southeast Regional Conference, 1992, Raleigh, North Carolina, USA, April 8-10, 1992. ACM 1992, ISBN 0-89791-506-2

Session 1A: Computer science education

K. N. King:
An approach to the programming languages course. 3-10
Robert F. Smith:
Video games challenge and motivate data structure students. 11-14
Jeffrey Linder, Stephen J. Sheel:
A critical view of a new computer science introductory course. 385-388
David Cordes, Robert Allen:
Running an NSF REU program: observations, comments and suggestions. 389-392

Session 1B: Natural language processing

Jan G. Wilms:
Using an on-line dictionary to extract a list of sense-disambiguated synonyms. 15-22
Vibhu O. Mittal:
Generating analogical natural language object descriptions. 239-246
Rajeev Agarwal:
An algorithm for conjunct identification in a natural language processing system. 393-396
Julian E. Boggess III:
Some issues and problems in text tagging using neural networks. 397-400
Jose L. Cordova, Julia E. Hodges:
The automatic initialization of an object-oriented knowledge base. 401-404

Session 1C: Operating systems

Robert Geist, Darrell Suggs, Robert G. Reynolds, Shardul Divatia, Fred Harris, Evan Foster, Priyadarshan Kolte:
Disk performance enhancement through Markov-based cylinder remapping. 23-28
C. L. McCreary, D. H. Gill:
Automatic partitioning and virtual scheduling for efficient parallel execution. 29-36
Luke R. Pargiter, Jerry E. Sayers:
A system generation for a small operating system. 247-252
Adam Rifkin:
The utility of foresight in single server scheduling. 253-260

Session 2A: Distributed computing

Bharat Bhasker, Csaba J. Egyhazy, Konstantinos P. Triantis:
Non-parametric estimation techniques in support of query decomposition strategies for heterogeneous distributed database management systems. 37-44
Rajeev Chawla:
A distributed mutual exclusion solution derived from real-life examples. 261-268
Randy Appleton:
Deadlock detection in a multidatabase. 269-276

Session 3A: Networks

Balaji R. Venkatraman, Richard E. Newman-Wolfe, Randy Chow, Haniph A. Latchman:
Measurements and characterization of traffic in a university environment. 45-52
C. L. McCreary, M. E. McArdle, J. D. McCreary:
Broadcast communication delay metric for the iPSC/2 and iPSC/860 hypercubes. 53-60
A. H. Wadaa, Hussein M. Abdel-Wahab, John McHugh:
Heuristic authentication protocol for TCP/IP network applications under UNIX. 61-68
Dov Bulka:
Fault tree models for reliability analysis of an FDDI token ring network. 277-284

Session 3B: Software testing

Margaret Ann Francel, Spencer Rugaber:
Fault localization using execution traces. 69-76
Thomas Wood, Keith W. Miller, Robert E. Noonan:
Local exhaustive testing: a software reliability tool. 77-84
Roland H. Untch:
Mutation-based software testing using program schemata. 285-291
Anthony Q. Baxter, J. Austin French:
Specifications and testing aided by a variant of the cause-effect process. 405-408

Session 3C: Algorithms for parallel machines

Hongyu Xu, Winser E. Alexander:
Parallel inverse QR decomposition. 85-92
Dharmavani Bhagavathi, W. M. Denny, C. E. Grosch, Peter J. Looges, Stephan Olariu:
Sorting and merging on the DAP. 93-99
Khaled M. F. Elsayed:
Parallel algorithms for the orthogonal multiprocessor. 292-299
Venu M. Padakanti:
Sparse cholesky factorization on a simulated hypercube. 300-307

Session 4A: Simulation

Michael Devetsikiotis, J. Keith Townsend:
Optimization of importance sampling parameters for the efficient simulation of communication networks and ATM switches using mean field annealing. 100-107
Lih-Yuan Deng, Cecil C. Rousseau, Yilian Yuan:
Generalized Lehmer-Tausworthe random number generators. 108-115
Ajay Dholakia, T. M. Lee, Donald L. Bitzer, Mladen A. Vouk, L. Wang, Paul D. Franzon:
An efficient table-driven decoder for one-half rate convolutional codes. 116-123
Wayne D. Smith:
Collecting data for Markov models of error patterns on data communications links. 409-412

Session 4B: Software engineering I

Thomas E. Potok:
Extensions to the spiral model to support joint development of complex software systems. 124-130
Jianxin Li:
Improvements to systematic program development. 308-311
Richard T. Bechtold:
Software engineering process support based on fuzzy imploding Petri nets. 312-319
Robert M. Freeman, Malcolm Munro:
Redocumentation for the maintenance of software. 413-416

Session 4C: Computer architecture

Cosimo Antonio Prete:
A process cache memory for tightly coupled multiprocessor systems. 131-138
Todd C. Marek:
A new simulator workbench for comparing SIMD processing element architectures. 320-327
David D. Langan:
An object-oriented design for a dataflow simulator. 417-420
Edmund Gallizzi, Quinton Zondervan:
Distributed data flow computing system. 421-424

Session 5A: Artificial intelligence

Dharmavani Bhagavathi, C. E. Grosch, Stephan Olariu:
A greedy hypercube-labeling algorithm. 139-147
Jianhua Chen:
The BLM semantics may be inconsistent. 425-428
Michael V. Doran, Timothy C. Benson, Herbert E. Longenecker Jr.:
Improved learning by use of a video knowledge-base. 429-432
Suchendra M. Bhandarkar, Andreas Siebert:
A synergetic approach to range image understanding. 433-436
Hong Zhang, Jian Guan, Gwong C. Sun:
Artificial neural network-based image pattern recognition. 437-441

Session 5B: Graphics

Stephen J. Adelson, Larry F. Hodges:
Visible surface ray-tracing of stereoscopic images. 148-156
Kuei-Chun Chen:
Color image enhancement. 328-335
Mark Newsome:
A help facility for X window system applications. 336-342
Anamika Saxena, Su Hee Kim, Caroline M. Eastman:
Node conversion in hypermedia systems. 442-444

Session 6A: Algorithm/data structures

Andrew Lim, Sartaj Sahni:
Segmented winner trees. 157-164
Y.-T. Lin, S.-Q. Zheng:
On constructing minimum height B*-trees in optimal time. 445-448
Lawrence W. West:
Postorder B-tree construction. 449-452
Jigang Liu, Si-Qing Zheng:
A simplified optimal algorithm for constructing the convex hull of a simple polygon. 453-456
G. Sampath:
An algorithm to compute the convex hull in the plane from the distance matrix. 457-462

Panel on scientific computing

D. E. Stevenson:
Frontiers for computer science in computational science. 203-210

Session 6B: Software reuse

Noureddine Belkhatir, Walcélio L. Melo, Jacky Estublier, Mohamed Ahmed-Nacer:
Supporting software maintenance evolution processes in the Adele system. 165-172
John A. Lewis, Sallie M. Henry, Dennis G. Kafura, Robert S. Schulman:
Human factors and software reuse: the manager's impact. 173-181
Kelly Morrison:
ODGen: a prototype reverse engineering tool for Ada. 343-349
Bradley C. Spatz:
The list(3) package: software design and reusability. 350-359

Session 6C: Compilers

Richard B. Borie, Allen S. Parrish:
Improving strategies for handling undefined variables. 182-187
John Wood, Harold C. Grossman:
Interprocedural register allocation for RISC machines. 188-195
William S. Curran:
The future of programming languages. 196-202
Susan M. Holzschuh:
Optimization of available C compilers for the MC68HC11. 360-367

Session 7A: Software engineering II

Shaoying Liu:
A user-friendly formal requirements specification method. 211-218
Zhu Yun Gu, Kong Eng Cheng:
The derivation of test cases from SDL specifications. 219-227
Wael M. Elseaidy:
Static and dynamic analysis of real-time systems. 368-376
Y. Renee Lewis, Paul Oliver:
An adaptation of function point analysis and COCOMO for estimating the cost of Oracle SQL*forms application development. 463-466

Session 7B: Potpourri

Ahmed E. Barbour:
Test patterns for fault-tolerant logic circuits using block design concepts. 228-235
Karla Alwan, Kelly Waters:
Finding re-entrant knight's tours on n-by-m boards. 377-382
Sarat Vemuri, Shankar Sengupta, J. Steve Davis:
Data dependency diagrams for spreadsheet applications. 467-470
Paresh B. Shah, James C. Pleasant:
Formal program verification and computability theory. 471-473