Table of Contents

• On performance evaluation of fault tolerant multistage interconnection networksYoungsong Mun, Hee Yong Youn. 1-10 [doi]
• An overview of RISC architectureSamuel O. Aletan. 11-20 [doi]
• Persistent structures to store moving imagesMansour Kazerooni-Zand, Hassan Farhat, Hossein Saiedian. 21-27 [doi]
• Improving instruction supply efficiency in superscalar architectures using instruction trace buffersChih-Po Wen. 28-36 [doi]
• An interleaving technique for block coding of black-and-white facsimile dataD. Weifang Doong, Huizhu Lu, George E. Hedrick. 37-45 [doi]
• Rapid prototyping tools for telecommunications applicationsScott Anderson, Doug Blewett, Meg Kilduff. 46-51 [doi]
• Object-oriented analysis for telecommunications servicesBernhard G. Humm, Michael Fazzolare. 52-62 [doi]
• On a trunk group with a finite waiting roomC. S. Reece. 63-67 [doi]
• An interface for acquisition, manipulation and distribution of mail and news messages as objectsHossein Saiedian, John Winslade. 68-74 [doi]
• A new protocol conformance test generation method and experimental resultsXiaojun Shen, Guo-Gang Li. 75-84 [doi]
• Analytic performance analysis of the DQDB access protocolJohn Holliday. 85-88 [doi]
• Message delay analysis for CAN based networksZhengou Wang, Huizhu Lu, George E. Hedrick, Marvin Stone. 89-94 [doi]
• Dynamic crossword slot table implementationG. H. Harris, David Roach, P. D. Smith, Hal Berghel. 95-98 [doi]
• A proposed benchmark for testing implementations of crossword puzzle algorithmsL. J. Spring, G. H. Harris, J. J. H. Forster, Hal Berghel. 99-101 [doi]
• Reversible grammars and natural language processingGordon Franck. 102-109 [doi]
• The Crozzle - a problem for automationJ. J. H. Forster, G. H. Harris, P. D. Smith. 110-115 [doi]
• Transforming expert system output into natural language in a process control environmentPaddy Matthews, Huk Mok. 116-122 [doi]
• Using expectation to enable spoken variable initiative dialogRonnie W. Smith, D. Richard Hipp. 123-130 [doi]
• "Tuning" an ASM metric: a case study in metric ASM optimizationHal Berghel, David Roach, George Balogh, Carroll Hyatt. 131-136 [doi]
• Edit distance of run-length coded stringsHorst Bunke, János Csirik. 137-143 [doi]
• Application of simple microcomputer technology to undergraduate instruction in geographyStephen J. Stadler, Thomas A. Wikle. 144-148 [doi]
• An intelligent discovery programming systemHaider Ramadhan. 149-159 [doi]
• A uniform approach to the stability and performance analysis of concurrent data structure maintenance policiesIng-Ray Chen, Sayed Atef Banawan. 160-168 [doi]
• Multiple representation of abstract data types and reuse of realizationsH. M. Al-Haddad, K. M. George, George E. Hedrick, D. D. Fisher. 169-176 [doi]
• A pragmatic set operation and its implementation in CTom Bennet. 177-183 [doi]
• Towards a standard for SQL-based spatial query languagesPaolino Di Felice, Eliseo Clementine. 184-189 [doi]
• Extending N-grid group authorization using compact encodingWen-Gong Shieh, Bob P. Weems, Krishna M. Kavi. 190-196 [doi]
• Performance of join on an n-dimensional meshHyoung Jhang. 197-203 [doi]
• Design of a temporal database for phlebitisConnie Delaney, D. V. Rama, Padmini Srinivasan. 204-209 [doi]
• Dynamic addition and removal of attributes in BANG filesNalini Hosur, Huizhu Lu, George E. Hedrick. 210-216 [doi]
• Searching spatial objects with index by dimensional projectionsXiaoming Cheng, Huizhu Lu, George E. Hedrick. 217-223 [doi]
• Selection of search terms based on user profileSanjiv K. Bhatia. 224-233 [doi]
• A model of integrity for object-oriented database systemsJames M. Slack, Elizabeth A. Unger. 234-242 [doi]
• On the use of distributed joins for processing interlibrary loansJ. Michael Bennett, Peter Neo. 243-257 [doi]
• Supporting general queries in an object management systemXuequn Wu. 258-263 [doi]
• Storage and access of temporal information for the management of complex systemsYoung-Chul Shim, C. V. Ramamoorthy. 264-272 [doi]
• Parallel main memory database systemSoon M. Chung. 273-282 [doi]
• Processing multi-join query in parallel systemsKian-Lee Tan, Hongjun Lu. 283-292 [doi]
• The distributed object environment: support for a distributed object-based systemSteven Glicker, Gail Whitehead, Eric Evans. 293-298 [doi]
• Using an object-relationship model for rapid prototypingBogdan D. Czejdo, Ralph P. Tucci. 299-307 [doi]
• Design and functions of DUO: the first Italian academic OPACMaristella Agosti, Maurizio Masotti. 308-313 [doi]
• A deductive database audit trailDavid L. Sallach. 314-319 [doi]
• PETINA - tour generation using the ElipSys inference systemPanagiotis Stamatopoulos, Isambo Karali, Constantin Halatsis. 320-327 [doi]
• An alternative to constraint logic programming for managing domain arithmetics in Prolog expert systemsDavid Roach, Hal Berghel. 328-332 [doi]
• A graph-aided inference browser for developing knowledge-based systemsSuk I. Yoo, Chang H. Park. 333-339 [doi]
• Supporting knowledge acquisition by end users: tools and representationsAndreas Girgensohn, Frank Shipman. 340-348 [doi]
• Implementation of an automated E.M.S. optimization program using an embedded expert systemR. Ron Goforth, S. Parker, A. Balagamawala. 349-352 [doi]
• On the construction of efficient match networksJack S. Eddy Tan, Jaideep Srivastava, Sashi Shekhar. 353-362 [doi]
• On the conversion of rule bases into belief networksShijie Wang, Marco Valtorta. 363-368 [doi]
• Permanent object storage and collections for object-oriented systems with rulesBogdan D. Czejdo, Christoph F. Eick, Malcolm C. Taylor. 369-376 [doi]
• Parallel pattern recognition using fuzzy cooperative expert systemsMoti Schneider, Eliahu Shnaider, Abraham Kandel. 377-386 [doi]
• AUTOKNAG: automatic knowledge acquisition for fault isolation expert systemsMark W. Wheeler, Moti Schneider. 387-395 [doi]
• Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoningYong-Gi Kim, Ladislav J. Kohout. 396-404 [doi]
• Image contrast enhancement using fuzzy set theoryFaisel Saeed, K. M. George, Huizhu Lu. 405-411 [doi]
• On the issue of neighborhood in self-organizing mapsHua Yang, M. Palaniswami. 412-416 [doi]
• Inference of a 3-D object from a random partial 2-D projectionPamela Hsu, Evangelos Triantaphyllou. 417-425 [doi]
• New mathematical morphology operators and their applicationsGeorge V. Meghabghab, Abraham Kandel. 426-432 [doi]
• Estimating testability and coverage distributions of a VLSI circuit from a mixture of discrete and continuous functionsHassan Farhat, Mansour Zand, Hossein Saiedian. 433-437 [doi]
• Study of a generic graphics package for the development of various user interfacesAmir A. Khwaja, Raghu Mannam, Joseph E. Urban. 438-443 [doi]
• Learning tool for signed EnglishEun-Jung Holden, Geoffrey G. Roy. 444-449 [doi]
• Reconstructing surfaces form sparse depth informationJesse S. Jin, Brian G. Cox, Wai K. Yeap. 450-458 [doi]
• Improving edge detection by an objective edge evaluationQiuming Zhu. 459-468 [doi]
• Adaptive estimation of optical flow from general object motionZhaoxin Pan, Joseph J. Pfeiffer Jr.. 469-475 [doi]
• A graph browser for large directed graphsYves Mathys. 476-481 [doi]
• Entropy and information measures in combinatorial optimizationOwen Murphy, Aby Tehranipour. 482-490 [doi]
• A hierarchical single-key-lock access control using the Chinese remainder theoremKim S. Lee, Huizhu Lu, D. D. Fisher. 491-496 [doi]
• An adversarial plan recognition system for multi-agent airborne threatsRichard D. Amori. 497-504 [doi]
• A cost effective question asking strategyEvangelos Triantaphyllou, Jinchang Wang. 505-511 [doi]
• Diagnosis of complex industrial devicesBéchir el Ayeb. 512-520 [doi]
• An object-oriented model for intelligent networksQingzhong Cai. 521-525 [doi]
• Proving functionally difficult problems through model generationRichard Rankin, Ralph W. Wilkerson. 526-529 [doi]
• Experimentation with proof methods for non-Horn setsChris Merz, Ralph W. Wilkerson. 530-535 [doi]
• Channel routing by constraint logicNicholas C. Philips. 536-540 [doi]
• Computations at infinity: a nonstandard approachKlaus Kaiser. 541-546 [doi]
• Unification for completely commutative theoriesDaniel Murphy. 547-553 [doi]
• On the relationship between circumscription and well-founded semantics of logic programsJainhua Chen. 554-562 [doi]
• A strategy for transforming generate and test logic programsKhaled Bsaïes. 563-572 [doi]
• Using constraint logic programming for model-based diagnosis: the MODIC systemEdward K. Yu. 573-579 [doi]
• Exploiting implicit parallelism of logic languages with the SAMGiancarlo Succi. 580-589 [doi]
• Formation of clusters and resolution of ordinal attributes in ID3 classification treesChaman L. Sabharwal, Keith R. Hacke, Daniel C. St. Clair. 590-597 [doi]
• Conflict resolution in inductive learning from examplesRay R. Ashemi, Mehdi Razzaghi, Frederick R. Jelovsek, John R. Talburt. 598-602 [doi]
• A look-ahead learning algorithm for inductive learning through examplesRay R. Hashemi, Frederick R. Jelovsek. 603-607 [doi]
• A uniform interface to networked library servicesMitchell Blumenfeld, Ralph E. Droms. 608-613 [doi]
• A checkpointing recovery approach in a distributed system on the CSMA/CD networkTaesoon Park, Junguk L. Kim. 614-623 [doi]
• A performance study of a token ring protocolS. Guptan, B. Srinivasan, N. Simha. 624-628 [doi]
• Distributed asynchronous winner-take-all structures and conflict detectionMingqi Deng. 629-635 [doi]
• An evaluation of learning performance in backpropagation neural networks and decision-tree classifier systemsDaniel C. St. Clair, William E. Bond, A. K. Rigler, Stephen R. Aylward. 636-642 [doi]
• Neural network analysis of nondestructive evaluation patternsWilliam E. Bond, Daniel C. St. Clair, Michael Amirfathi, Christopher J. Merz, Stephen R. Aylward. 643-650 [doi]
• Predicting acid concentrations in processing plant effluent: an application of time series prediction using neural networksAntonette M. Logar, Edward M. Corwin, William J. B. Oldham. 651-658 [doi]
• Artificial neural network models for texture classification via: the Radon transformA. D. Kulkarni, P. Byars. 659-664 [doi]
• CANS: an interactive neural network system for CRAY supercomputersGeorge M. Whitson, Cathy H. Wu, John Taylor, Adisorn Ermongkonchai. 665-668 [doi]
• Using a neural network to predict student responsesSusan Mengel, William Lively. 669-676 [doi]
• A learning method for neural networks with a subordinate evaluation functionKenji Ohkuma. 677-682 [doi]
• The DIAMOND security policy for object-oriented databasesLinda M. Null, Johnny Wong. 683-690 [doi]
• An object-oriented, multi-media classroom instruction systemTitus D. M. Purdin, V. Ramesh. 691-696 [doi]
• Correctly typing objects through subtyping and type inferenceXuequn Wu. 697-705 [doi]
• Just-in-time initialization of objects representing software processesMartin Verlage, Peter Knauber. 706-710 [doi]
• A heuristic multiprocessor scheduling algorithm for creating near-optimal schedules using task system graphsFarideh A. Samadzadeh, George E. Hedrick. 711-718 [doi]
• The effect of power-tail distributions on response times in time-sharing computer systemsLester Lipsky, Shard Garg, Mary Ann Robbert. 719-723 [doi]
• A comparison of performance of algorithms for polar decomposition on a multivector processorKulathur S. Rajasethupathy, Gwan-Ming Thio, S. Lakshmivarahan, Sudarshan K. Dhall. 724-733 [doi]
• NC algorithms for dominations in permutation graphsY. Daniel Liang, Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan. 734-739 [doi]
• Parallel Quicksort in hypercubesYouran Lan, Magdi A. Mohamed. 740-746 [doi]
• Scheduling algorithms for precedence graphsSridhar Mandyam, Mansur H. Samadzadeh. 747-757 [doi]
• Performance modeling of a partitionable circular bus network for distributed systemsTai-Kuo Woo. 758-766 [doi]
• Using the Linda distribution paradigm to address a variety of computational balancing concernsJack Cummings, Ray Ford. 767-774 [doi]
• Parallel solution of Hough transform and convolution problems - a novel multimodal approachLan Jin, Lan Yang. 775-781 [doi]
• SUVS: a distributed real-time system testbed for fault-tolerant computingSeung-Min Yang, Krishna M. Kavi, A. Agarwalla, M. Reddy, S. Anam. 782-791 [doi]
• Scheduling interval ordered tasks on multiprocessor architectureHesham H. Ali, Hesham El-Rewini. 792-797 [doi]
• On the evolution of complex genomes: adaptive graph computations with a CM-2 connection machineA. Aggarwal, S. Sarkar. 798-807 [doi]
• Distributed algorithms for locating centers and medians in communication networksMohan B. Sharma, Jianhua Chen, S. Sitharama Iyengar. 808-817 [doi]
• A model for job scheduling in a distributed computer networkJiang B. Liu. 818-824 [doi]
• Autotasking on the CRAY Y-MP: a performance evaluation on seismic codesErnst L. Leiss, L.-T. Shih. 825-830 [doi]
• A new fault tolerant distributed mutual exclusion algorithmRachamallu L. N. Reddy, B. Gupta, Pradip K. Srimani. 831-839 [doi]
• A dynamic task scheduling method for multiprocessor systemMing-fang Wang. 840-845 [doi]
• Ada/TL specification and verification of a distributed computationWilliam Hankley, Peikun Tsai. 846-855 [doi]
• Performance of the short-time Fourier Transform and Wavelet Transform to phonocardiogram signal analysisMohammad S. Obaidat, M. M. Matalgah. 856-862 [doi]
• Performance of the perceptron algorithm for the classification of computer usersSaleh Ali Bleha, J. Knopp, Mohammad S. Obaidat. 863-866 [doi]
• Operational performance metrics in a distributed system. Part I.: StrategyBert N. Corwin, Robert L. Braddock. 867-872 [doi]
• Operational performance metrics in a distributed system. Part II.: Metrics and interpretationRobert L. Braddock, Michael R. Claunch, J. Walter Rainbolt. 873-882 [doi]
• Probabilities of qualitative behaviors for dependability analysis of a fault-tolerance modelDaniel Berleant, Arun Chandra, Kristian Bognæs, Chiou-guey Liaw, Li Sheng, Joyce Ch'ng. 883-889 [doi]
• Parallel implementation of an extended functional programming language on cellular tree and data flow architecturesReza Sanati-Mehrizy, Krishna K. Agarwal, Afsaneh Minaie. 890-895 [doi]
• The use of a software specification metalanguageKarl B. Zerangue, Joseph E. Urban. 896-903 [doi]
• A system for program component specification and code generationRobert P. Brazile. 904-910 [doi]
• ECOS graphs: a dataflow programming languageJ. C. Huang, José Muñoz, Hal Watt, George Zvara. 911-918 [doi]
• An efficient algorithm for sparse matrix computationsS.-C. Park, Jerry P. Draayer, Si-Qing Zheng. 919-926 [doi]
• Transfer of computing techniques to the chemical and petrochemical industries from NASA-JSCSharon Westerman, Hing Pang. 927-932 [doi]
• A systolic array architecture for multiplying Toeplitz matricesS. Sureshchandran. 933-936 [doi]
• A note on checking matrix products (extended abstract)B. Ravikumar. 937-943 [doi]
• Automating road surface analysisL. Donnell Payne. 944-950 [doi]
• A CLP(R) system for solving partial differential equationsDavid S. Homiak. 951-959 [doi]
• A distribution-free random number generator via a matrix-exponential representationEdward F. Brown. 960-969 [doi]
• The design of a human interface for a Thunderstorm warning systemWilliam T. Neumann. 970-975 [doi]
• Hyper9002: an online operating manual for a chemical manufacturer using hypertext integrated with an object oriented databaseGaël Paquet. 976-984 [doi]
• Qualitative representation of a continuous process with reference to apple fruit abscissionM. K. Rogoyski, T. L. Mourey, A. R. Renquist. 985-987 [doi]
• Spatial decomposition of a tumor into a minimum number of spherical componentsJay Mookherje, Nagarajan Prabhakaran. 988-992 [doi]
• Approximate submatrix matching problemsXiaojun Shen, Qing Hu. 993-999 [doi]
• Near-optimal triangulation of a point set by simulated annealingSubhajit Sen, Si-Qing Zheng. 1000-1008 [doi]
• Global optimization by center-concentrated samplingToru Kambayashi. 1009-1014 [doi]
• Implementation of massively parallel genetic algorithms on the MasPar MP-1Antonette M. Logar, Edward M. Corwin, Thomas M. English. 1015-1020 [doi]
• A genetic algorithm for packing in three dimensionsArthur L. Corcoran, Roger L. Wainwright. 1021-1030 [doi]
• Solving combinatorial optimization problems using parallel simulated annealing and parallel genetic algorithmsPooja P. Mutalik, Leslie R. Knight, Joe L. Blanton Jr., Roger L. Wainwright. 1031-1038 [doi]
• Solving the n-queens problem using genetic algorithmsKelly D. Crawford. 1039-1047 [doi]
• Design and implementation of a requirements clustering analyzer for software system decompositionAlan T. Yaung. 1048-1054 [doi]
• A formal structured method for requirement specification constructionShaoying Liu. 1055-1063 [doi]
• A structured approach to the evaluation and selection of CASE toolsLouis A. Le Blanc, Willard M. Korn. 1064-1069 [doi]
• Integrating software tool communication within an environmentPeraphon Sophatsathit, Joseph E. Urban. 1070-1075 [doi]
• A reusable software catalog interfaceJ. E. Swanson, M. H. Samadzadeh. 1076-1082 [doi]
• Reusable distributed "data environments"Massimo Ancona, P. Cagetti, P. Castagna, L. Gruosso. 1083-1090 [doi]
• A generic object-oriented concurrency mechanism for extensibility and reuse of synchronization componentsLaurent Thomas. 1091-1097 [doi]
• Classification of non-linear-separable real-world-problems using &Dgr;-rule, perceptrons, and topologically distributed encodingMartin Eldracher. 1098-1104 [doi]
• A methodology for fast PC hard disk state restorationDavid D. Langan, Thomas J. Scott. 1105-1110 [doi]
• Dynamic change in office automation: modeling and analysisShih-Gong Li, Clarence A. Ellis, Kar Yan Tam. 1111-1117 [doi]
• Management guidelines for PC securityTroy E. Anderson. 1118-1122 [doi]
• Simulation of communications architecture specifications using PrologWayne Citrin. 1123-1131 [doi]
• Media transports and distributed multimedia flowsMark Baugher. 1132-1143 [doi]
• On a single server queue with non-renewal inputAppie van de Liefvoort, Aby Tehranipour. 1144-1149 [doi]
• Conversational statistical comparison of routing algorithmsKendall E. Nygard, Rhonda C. Magel, Cheng-Hong Yang. 1150-1158 [doi]
• Iterative tree automata, alternating Turing machines, and uniform Boolean circuits: relationships and characterizationAbdelaziz Fellah, Sheng Yu. 1159-1166 [doi]
• An application of the method of Buckets to the selection problemGary A. Hyslop, Edmund A. Lamagna. 1167-1172 [doi]
• Analysis and experience with an Information System development methodologyManmahesh Kantipudi, Joseph E. Urban. 1173-1179 [doi]
• Vertex-transitivity and routing for Cayley graphs in GCR representationsK. Wendy Tang, Bruce W. Arden. 1180-1187 [doi]
• SCIL-VP: a multi-purpose visual programming environmentDennis Koelma, Richard van Balen, Arnold W. M. Smeulders. 1188-1198 [doi]
• Using Agentsheets to create a voice dialog design environmentAlexander Repenning, Tamara Sumner. 1199-1207 [doi]
• Palette: an extensible visual editorEric J. Golin, Steven Danz, Susan Larison, Diana L. Miller-Karlow. 1208-1216 [doi]
• Visual support for version managementMarceli Wein, Wm Cowan, W. Morven Gentleman. 1217-1223 [doi]
• Models and techniques for the visualization of labeled discrete objectsDinesh P. Mehta, Sartaj Sahni. 1224-1233 [doi]
• Performance comparison of neural networks and pattern recognition techniques for classifying ultrasonic transducersMohammad S. Obaidat, D. S. Abu-Saymeh. 1234-1242 [doi]
• Using pictorial and object oriented programming for computer algebraTrevor J. Smedley. 1243-1247 [doi]
• Stereoscopic projections and 3D scene reconstructionChaman L. Sabharwal. 1248-1257 [doi]