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 BibTeX

Session 1A: Computer science education

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

Session 1B: Natural language processing

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

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
Electronic Edition (ACM DL) BibTeX
C. L. McCreary, D. H. Gill:
Automatic partitioning and virtual scheduling for efficient parallel execution. 29-36
Electronic Edition (ACM DL) BibTeX
Luke R. Pargiter, Jerry E. Sayers:
A system generation for a small operating system. 247-252
Electronic Edition (ACM DL) BibTeX
Adam Rifkin:
The utility of foresight in single server scheduling. 253-260
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
Rajeev Chawla:
A distributed mutual exclusion solution derived from real-life examples. 261-268
Electronic Edition (ACM DL) BibTeX
Randy Appleton:
Deadlock detection in a multidatabase. 269-276
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
C. L. McCreary, M. E. McArdle, J. D. McCreary:
Broadcast communication delay metric for the iPSC/2 and iPSC/860 hypercubes. 53-60
Electronic Edition (ACM DL) BibTeX
A. H. Wadaa, Hussein M. Abdel-Wahab, John McHugh:
Heuristic authentication protocol for TCP/IP network applications under UNIX. 61-68
Electronic Edition (ACM DL) BibTeX
Dov Bulka:
Fault tree models for reliability analysis of an FDDI token ring network. 277-284
Electronic Edition (ACM DL) BibTeX

Session 3B: Software testing

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

Session 3C: Algorithms for parallel machines

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

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
Electronic Edition (ACM DL) BibTeX
Lih-Yuan Deng, Cecil C. Rousseau, Yilian Yuan:
Generalized Lehmer-Tausworthe random number generators. 108-115
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX
Wayne D. Smith:
Collecting data for Markov models of error patterns on data communications links. 409-412
Electronic Edition (ACM DL) BibTeX

Session 4B: Software engineering I

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

Session 4C: Computer architecture

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

Session 5A: Artificial intelligence

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

Session 5B: Graphics

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

Session 6A: Algorithm/data structures

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

Panel on scientific computing

D. E. Stevenson:
Frontiers for computer science in computational science. 203-210
Electronic Edition (ACM DL) BibTeX

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
Electronic Edition (ACM DL) BibTeX
John A. Lewis, Sallie M. Henry, Dennis G. Kafura, Robert S. Schulman:
Human factors and software reuse: the manager's impact. 173-181
Electronic Edition (ACM DL) BibTeX
Kelly Morrison:
ODGen: a prototype reverse engineering tool for Ada. 343-349
Electronic Edition (ACM DL) BibTeX
Bradley C. Spatz:
The list(3) package: software design and reusability. 350-359
Electronic Edition (ACM DL) BibTeX

Session 6C: Compilers

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

Session 7A: Software engineering II

Shaoying Liu:
A user-friendly formal requirements specification method. 211-218
Electronic Edition (ACM DL) BibTeX
Zhu Yun Gu, Kong Eng Cheng:
The derivation of test cases from SDL specifications. 219-227
Electronic Edition (ACM DL) BibTeX
Wael M. Elseaidy:
Static and dynamic analysis of real-time systems. 368-376
Electronic Edition (ACM DL) BibTeX
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
Electronic Edition (ACM DL) BibTeX

Session 7B: Potpourri

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