9. SAC 1994: Phoenix, AZ, USA

• Mahmoud Awad, Hossein Saiedian:
  Synchronization in the multimedia on-demand systems. 1-5
  
• Ka-Wing Wong, Richard A. McBride:
  Specification and verification of learning. 6-9
  
• Anneliese von Mayrhauser, L. Przybylski:
  Developing requirements for a user interface. 10-14
  
• D. S. Rogers, E. A. Unger:
  A deterrent to linear system inferential attacks using a mediator. 15-19
  
• Gary Conrad, Richard Johnsonbaugh:
  A real-time people counter. 20-24
  
• Trey Grubbs, Bill Herring, Richard Tan, Susan Mengel:
  Motorola 68040 microprocessor simulation for the Sun Workstation. 25-30
  
• Hossein Saiedian, Richard A. McBride:
  A routing model for active form objects. 31-35
  
• Jarernsri L. Mitrpanont, K. M. George, G. W. Cuperus:
  PAD-BASED expert system in small computer. 36-41
  
• Guillermo Arango:
  A brief introduction to domain analysis. 42-46
  
• Martin L. Griss, Kevin D. Wentzel:
  Hybrid domain-specific kits for a flexible software factory. 47-52
  
• Klaus Berg:
  CLASSLIB - class management and reuse support on a MVS mainframe. 53-58
  
• Patricia Lutsky:
  Using a document parser to automate software testing. 59-63
  
• Bruce A. Fogelsong, Schlumberger Dowell, Dale A. Schoenefeld:
  Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework. 64-69
  
• Danielle Ribot, Blandine Bongard, Claude Villermain:
  Development life-cycle WITH reuse. 70-76
  
• Y. Sun:
  Modelling software process change for cooperative work. 77-81
  
• Massimo Ancona, Gabriella Dodero, Andrea Clematis:
  Reusing a compiler. 82-87
  
• Jeffrey S. Poulin:
  Balancing the need for large corporate and small domain-specific reuse libraries. 88-93
  
• S. C. Chang, A. P. M. Groot, Johannes C. van Vliet, E. Willemsz, H. Oosting:
  A reuse experiment in the social security sector. 94-98
  
• Harald Gall, René Klösch:
  Program transformation to enhance the reuse potential of procedural software. 99-104
  
• Rainer Palm, Kai Storjohann:
  Torque optimization for a locomotive using fuzzy logic. 105-109
  
• Mircea Gh. Negoita:
  Fuzzy logic real-time intelligent control of fuel injection engines. 110-114
  
• Huaidong Li, Heidar A. Malki, Guanrong Chen:
  Performance analysis of fuzzy proportional-derivative control systems. 115-119
  
• Afshin Afshari, Cristian Georgescu:
  A fuzzy model-based optimal control strategy. 120-125
  
• Mokhtar Beldjehem:
  The fennec system. 126-130
  
• D. Zühlke, M. Lauzi:
  Application of fuzzy-logic in an automatic sorting process. 131-135
  
• Saman K. Halgamuge, Manfred Glesner:
  Fuzzy neural fusion techniques for industrial applications. 136-141
  
• W. Ritschel, Tilo Pfeifer, Robert Grob:
  Rating of pattern classifications in multi-layer perceptrons: theoretical background and practical results. 142-144
  
• Nadine N. Tschichold-Gürman:
  Fuzzy RuleNet: an artificial neural network model for fuzzy classification. 145-149
  
• Poyu Tsou, M.-H. Herman Shen:
  Fuzzy control for the pursuing problem of an adaptive planar structure. 150-154
  
• Rudolf Kruse, Jörg Gebhardt, Frank Klawonn:
  A fuzzy controller for idle speed regulation. 155-160
  
• Thomas A. Runkler, Manfred Glesner:
  DECADE - fast centroid approximation defuzzification for real time fuzzy control applications. 161-165
  
• Ignazio D'Antone, Caterina Vitullo, Enzo Gandolfi, Massimo Masetti:
  A fuzzy system to detect and count parallel noised tracks. 166-169
  
• Patrick Bosc, Olivier Pivert:
  Fuzzy queries and relational databases. 170-174
  
• Isabelle Bloch:
  Fuzzy sets in image processing. 175-179
  
• H. Genther, Manfred Glesner:
  Automatic generation of a fuzzy classification system using fuzzy clustering methods. 180-183
  
• Gloria Bordogna, Gabriella Pasi:
  A fuzzy query language with a linguistic hierarchical aggregator. 184-187
  
• Sami Khuri, Thomas Bäck, Jörg Heitkötter:
  The zero/one multiple knapsack problem and genetic algorithms. 188-193
  
• V. Scott Gordon, A. P. Wim Böhm, Darrell Whitley:
  A note on the performance of genetic algorithms on zero-one knapsack problems. 194-195
  
• Yong L. Xiao, Donald E. Williams:
  Molecular docking using genetic algorithms. 196-200
  
• Sami Khuri:
  Walsh and Haar functions in genetic algorithms. 201-205
  
• Sandip Sen:
  Representational effects in a simple classifier system. 206-211
  
• Aaron H. Konstam:
  N-group classification using genetic algorithms. 212-216
  
• Terry Warwick, Edward P. K. Tsang:
  Using a genetic algorithm to tackle the processors configuration problem. 217-221
  
• Bryant A. Julstrom:
  Seeding the population: improved performance in a genetic algorithm for the rectilinear Steiner problem. 222-226
  
• Nachimuthu Karunanithi, Tamra Carpenter:
  A ring loading application of genetic algorithms. 227-231
  
• Cezary Z. Janikow:
  A genetic algorithm for learning fuzzy controllers. 232-236
  
• V. Scott Gordon, Keith E. Mathias, Darrell Whitley:
  Cellular genetic algorithms as function optimizers: locality effects. 237-241
  
• Faris N. Abuali, Dale A. Schoenefeld, Roger L. Wainwright:
  Designing telecommunications networks using genetic algorithms and probabilistic minimum spanning trees. 242-246
  
• Arthur L. Corcoran, John Hale:
  A genetic algorithm for fragment allocation in a distributed database system. 247-250
  
• Sandip Sen:
  File placement over a network using simulated annealing326741. 251-255
  
• Bruce E. Rosen, James M. Goodwin:
  Training hard to learn networks using advanced simulated annealing methods. 256-260
  
• Ramana L. Rao, S. Sitharama Iyengar:
  A stochastic approach to the bin-packing problem. 261-265
  
• A. Ghazal, Aris M. Ouksel:
  Termination of programs in constraint query languages. 266-270
  
• Gregory Kucherov, Michaël Rusinowitch:
  On ground reducibility problem for word rewriting systems with variables. 271-276
  
• Matt Insall, L. Mullin, Ralph W. Wilkerson:
  Conjugating polynomials on finite rings. 277-280
  
• Boris Stilman:
  A linguistic geometry for technology transfer. 281-285
  
• Howard C. Wasserman, Zhizhang Shen:
  The locality principle and completeness in logic programming. 286-291
  
• Barry Flachsbart, W. E. Bond, Daniel C. St. Clair, Jeff Holland:
  Using the ID3 symbolic classification algorithm to reduce data density. 292-296
  
• J. J. Aleshunas, Daniel C. St. Clair, W. E. Bond:
  Classification characteristics of SOM and ART2. 297-302
  
• Jianhua Chen:
  Application of Boolean expression minimization to learning via hierarchical generalization. 303-307
  
• Doug W. Mahoney, Ruey-Pyng Lu, Shaun-Inn Wu:
  Construction of an artificial neural network for simple exponential smoothing in forecasting. 308-312
  
• Kevin Gary, Jennifer J. Elgot-Drapkin:
  A flexible marker-passer for semantically weak search. 313-317
  
• Leila De Floriani, Paola Magillo:
  Computing point visibility on a terrain based on a nested horizon structure. 318-322
  
• Leila De Floriani, Paola Marzano, Enrico Puppo:
  Hierarchical terrain models: survey and formalization. 323-327
  
• Didier Chrétien, Yann Viémont, Thierry Larue, R. Legoff, Dominique Pastre:
  The GéoSabrina design: the way to build a GIS above a spatial data server. 328-332
  
• Chaman L. Sabharwal:
  A fast implementation of surface/surface intersection algorithm. 333-337
  
• Bradford J. Rodriguez:
  A minimal TTL processor for architecture exploration. 338-340
  
• Yong M. Lee, Donald J. Alameda:
  C++ style class support under FIG Forth. 341-345
  
• Leon F. Osborne, Bryan C. Hahn:
  Development of an interactive weather analysis and display system to support agricultural planning. 346-350
  
• Anand G. Kumar, Joe Hootman:
  Reduction of communications in a MasPar computer using fuzzy logic concepts. 351-356
  
• D. J. Morton, John M. Tyler, A. T. Bourgoyne, P. A. Schenewerk:
  An adaptive finite element methodology for 2D simulation of two-phase flow through porous media. 357-362
  
• Brajendra Panda, William Perrizo, Ramzi A. Haraty:
  Secure transaction management and query processing in multilevel secure database systems. 363-368
  
• Antonette M. Logar, Edward M. Corwin, Samuel Watters, Ronald Weger, Ronald Welch:
  A don't care back propagation algorithm applied to satellite image recognition. 369-373
  
• Wing Ning Li:
  On the equivalence of pull-up transistor assignment in PLA folding and distribution graph. 374-378
  
• Josiah A. Hoskins, W. D. Hoskins, K. G. Hirsch:
  An interactive multimedia system for fire behavior training. 379-382
  
• Koenraad De Bosschere, Paul Tarau:
  High performance continuation passing style Prolog-to-C mapping. 383-387
  
• Byeong-Mo Chang, Kwang-Moo Choe, Roberto Giacobazzi:
  Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation. 388-393
  
• Maurizio Gabbrielli, Roberto Giacobazzi:
  Goal independency and call patterns in the analysis of logic programs. 394-399
  
• Eric Stoltz, Michael Wolfe, Michael P. Gerlek:
  Constant propagation: a fresh, demand-driven look. 400-404
  
• Jimmy Ho-Man Lee, Ho-fung Leung:
  IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. 405-409
  
• Panagiotis Stamatopoulos, Dimitris Margaritis, Constantin Halatsis:
  Extending a parallel CLP language to support the development of multi-agent systems. 410-414
  
• Isambo Karali, Constantin Halatsis:
  Abstract data type support in Prolog and its relation to parallelism. 415-419
  
• Ryan Stansifer, Dan Wetklow:
  Type reconstruction for coercion polymorphism. 420-424
  
• David M. Goblirsch:
  An introduction to Haskell with applications to digital signal processing. 425-430
  
• Panos Rondogiannis, William W. Wadge:
  Higher-order dataflow and its implementation on stock hardware. 431-435
  
• Hessam Khoshnevisan, Mohamad Afshar:
  Mechanical parallelisation of database applications. 436-440
  
• Richard C. H. Connor, Quintin I. Cutts, Graham N. C. Kirby, Ronald Morrison:
  Using persistence technology to control schema evolution. 441-446
  
• Ignacio Silva-Lepe:
  Abstracting graph-based specifications of object-oriented programs. 447-451
  
• Kazuhiro Ogata, Norihisa Doi:
  Object allocation and dynamic compilation in MultithreadSmalltalk. 452-456
  
• Kang Zhang, Gaurav Marwaha:
  Visputer - an Occam program visualisation tool. 457-461
  
• Tadao Takaoka:
  Parallel program verification with directed graphs. 462-466
  
• Ravi Varadarajan, Injae Hwang:
  An efficient dynamic load balancing algorithm for adaptive mesh refinement. 467-472
  
• Sibabrata Ray, Hong Jiang, Jitender S. Deogun:
  A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors. 473-477
  
• Ming-fang Wang:
  Generating a deterministic task migration path for multiprocessor scheduling. 478-482
  
• Arthur L. Corcoran, Roger L. Wainwright:
  A parallel island model genetic algorithm for the multiprocessor scheduling problem. 483-487
  
• Laurence D. Merkle, Gary B. Lamont:
  An initial analysis of data parallelism in the fast messy genetic algorithm. 488-492
  
• Kam-Fai Wong, Benoît Dageville:
  Supporting thousands of threads using a hybrid stack sharing scheme. 493-498
  
• Dalia Motzkin, Ajay K. Gupta:
  Parallel organization and performance of an information system. 499-503
  
• Mahn-ling Woo, Rosemary A. Renaut:
  Unordered parallel distance-1 and distance-2 FFT algorithms of radix 2 and (4-2). 504-509
  
• Tom Bennet:
  Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs. 510-514
  
• G. Chand, David M. Holburn:
  A real-time contol application using asynchronous remote procedure calls. 515-517
  
• Kim Shearer:
  Design of a Linda kernal using causal multicast. 518-523
  
• Li Li, Barrett R. Bryant:
  An integrated parsing scheme for unification categorial grammar with object-oriented lexicon. 524-528
  
• Kan-Sheng Shi, Hong-Jun Lu:
  View generation based on equivalence framework in object-oriented multidatabase systems. 529-533
  
• Chaman L. Sabharwal, Sanjiv K. Bhatia:
  A perfect hash function for image database indexing. 534-538
  
• Ing-Ray Chen, Rajakumar Betapudi:
  A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection. 539-544
  
• Mohamed El-Said:
  Automated design of visual user interfaces. 545-550
  
• Chung-Ming Huang, Chung-Ming Lo:
  A platform for multimedia information exchange. 551-555
  
• Kenneth L. Rusnok, Martin S. Lavine, James M. Conrad:
  Freedom '93: a portable speech device. 556-560
  
• Anthony J. Duben:
  The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study. 561-565
  
• R. Chaudhuri, A. C. Dempster:
  A note on generating a worst case sequence for Quicksort in linear time. 566-567
  
• David A. Foster:
  FRA: using a goal-based scenario to teach financial statement analysis. 568-572
  
• Dennis Rothermel, Gregory Tropea:
  Test Review: a new method of computer-assisted learning to promote careful reading and logical skills. 573-577
  
• Billie Hughes, Jim Walters, Barry Kort:
  Virtual space learning: creating text-based learning environments. 578-582
  
• Irene Luque Ruiz, Jrene L. Cruz Soto, Miguel Ángel Gómez-Nieto:
  A tutorial system for inorganic chemical formulations and reactions. 583-587
  
• James A. Brown:
  A parallel application interface. 588-593
  
• Bernd Reusch, Lotfi A. Zadeh, Mohammad Jamshidi, Rudolf Kruse, Enrique H. Ruspini:
  Future trends in fuzzy logic application (panel session). 594-595
  
• Guillermo Arango, Martin L. Griss, Will Tracz, Mansour Zand:
  Software reuse - issues and prospectives (panel session). 596-598