Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID30th ACM Southeast Regional Conference 1992: Raleigh, North Carolina, USA
- Mladen A. Vouk, Douglas S. Reeves, Cherri M. Pancake:
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, Chester 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, Chester 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, Si-Qing 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-16 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
