Proceedings of the Ninth Symposium on Applied Computing
SAC, 1994.

@proceedings{SAC-1994,
	publisher     = "{ACM}",
	title         = "{Proceedings of the Ninth Symposium on Applied Computing}",
	year          = 1994,
}

Contents (116 items)

20 ×#algorithm
17 ×#using
16 ×#fuzzy
14 ×#search-based
12 ×#parallel
10 ×#multi
10 ×#performance
8 ×#problem
7 ×#analysis
7 ×#classification

SAC-1994-AwadS #multi #on-demand

Synchronization in the multimedia on-demand systems (MA, HS), pp. 1–5.

SAC-1994-WongM #learning #specification #verification

Specification and verification of learning (KWW, RAM), pp. 6–9.

SAC-1994-MayrhauserP #requirements #user interface

Developing requirements for a user interface (AvM, LP), pp. 10–14.

SAC-1994-RogersU #linear #using

A deterrent to linear system inferential attacks using a mediator (DSR, EAU), pp. 15–19.

SAC-1994-ConradJ #people #realtime

A real-time people counter (GC, RJ), pp. 20–24.

SAC-1994-GrubbsHTM #simulation

Motorola 68040 microprocessor simulation for the Sun Workstation (TG, BH, RT, SM), pp. 25–30.

SAC-1994-SaiedianM

A routing model for active form objects (HS, RAM), pp. 31–35.

SAC-1994-MitrpanontGC

PAD-BASED expert system in small computer (JLM, KMG, GWC), pp. 36–41.

SAC-1994-Arango #analysis

A brief introduction to domain analysis (GA), pp. 42–46.

SAC-1994-GrissW #flexibility #hybrid

Hybrid domain-specific kits for a flexible software factory (MLG, KDW), pp. 47–52.

SAC-1994-Berg #named #reuse

CLASSLIB — class management and reuse support on a MVS mainframe (KB), pp. 53–58.

SAC-1994-Lutsky #documentation #parsing #testing #using

Using a document parser to automate software testing (PL), pp. 59–63.

SAC-1994-FogelsongDS #framework #library #reuse

Graphics class library for plotting (GCLIP), an extensible, reusable graphics framework (BAF, SD, DAS), pp. 64–69.

SAC-1994-RibotBV #development #lifecycle #reuse

Development life-cycle WITH reuse (DR, BB, CV), pp. 70–76.

SAC-1994-Sun #modelling #process

Modelling software process change for cooperative work (YS), pp. 77–81.

SAC-1994-AnconaDC #compilation #reuse

Reusing a compiler (MA, GD, AC), pp. 82–87.

SAC-1994-Poulin #library #reuse #scalability

Balancing the need for large corporate and small domain-specific reuse libraries (JSP), pp. 88–93.

SAC-1994-ChangGVWO #empirical #reuse #security #social

A reuse experiment in the social security sector (SCC, APMG, HvV, EW, HO), pp. 94–98.

SAC-1994-GallK #program transformation #reuse

Program transformation to enhance the reuse potential of procedural software (HG, RK), pp. 99–104.

SAC-1994-PalmS #fuzzy #logic #optimisation #using

Torque optimization for a locomotive using fuzzy logic (RP, KS), pp. 105–109.

SAC-1994-Negoita #fuzzy #injection #logic #realtime

Fuzzy logic real-time intelligent control of fuel injection engines (MGN), pp. 110–114.

SAC-1994-LiMC #analysis #fuzzy #performance

Performance analysis of fuzzy proportional-derivative control systems (HL, HAM, GC), pp. 115–119.

SAC-1994-AfshariG #fuzzy #modelling

A fuzzy model-based optimal control strategy (AA, CG), pp. 120–125.

SAC-1994-Mokhtar

The fennec system (MB), pp. 126–130.

SAC-1994-ZuhlkeL #automation #process #sorting

Application of fuzzy-logic in an automatic sorting process (DZ, ML), pp. 131–135.

SAC-1994-HalgamugeG #fuzzy #industrial

Fuzzy neural fusion techniques for industrial applications (SKH, MG), pp. 136–141.

SAC-1994-RitschelPG #classification #multi #rating

Rating of pattern classifications in multi-layer perceptrons: theoretical background and practical results (WR, TP, RG), pp. 142–144.

SAC-1994-Tschichold-Gurman #classification #fuzzy #network

Fuzzy RuleNet: an artificial neural network model for fuzzy classification (NNTG), pp. 145–149.

SAC-1994-TsouS #adaptation #fuzzy #problem

Fuzzy control for the pursuing problem of an adaptive planar structure (PT, MHHS), pp. 150–154.

SAC-1994-KruseGK #fuzzy

A fuzzy controller for idle speed regulation (RK, JG, FK), pp. 155–160.

SAC-1994-RunklerG #approximate #fuzzy #named #performance #realtime

DECADE — fast centroid approximation defuzzification for real time fuzzy control applications (TAR, MG), pp. 161–165.

SAC-1994-DAntoneVGM #detection #fuzzy #parallel

A fuzzy system to detect and count parallel noised tracks (ID, CV, EG, MM), pp. 166–169.

SAC-1994-BoscP #database #fuzzy #query #relational

Fuzzy queries and relational databases (PB, OP), pp. 170–174.

SAC-1994-Bloch #fuzzy #image #set

Fuzzy sets in image processing (IB), pp. 175–179.

SAC-1994-GentherG #automation #classification #clustering #fuzzy #generative #using

Automatic generation of a fuzzy classification system using fuzzy clustering methods (HG, MG), pp. 180–183.

SAC-1994-BordognaP #fuzzy #query

A fuzzy query language with a linguistic hierarchical aggregator (GB, GP), pp. 184–187.

SAC-1994-KhuriBH #algorithm #multi #problem #search-based

The zero/one multiple knapsack problem and genetic algorithms (SK, TB, JH), pp. 188–193.

SAC-1994-GordonBW #algorithm #performance #problem #search-based

A note on the performance of genetic algorithms on zero-one knapsack problems (VSG, APWB, DW), pp. 194–195.

SAC-1994-XiaoW #algorithm #search-based #using

Molecular docking using genetic algorithms (YLX, DEW), pp. 196–200.

SAC-1994-Khuri #algorithm #search-based

Walsh and Haar functions in genetic algorithms (SK), pp. 201–205.

SAC-1994-Sen #classification

Representational effects in a simple classifier system (SS), pp. 206–211.

SAC-1994-Konstam #algorithm #classification #search-based #using

N-group classification using genetic algorithms (AHK), pp. 212–216.

SAC-1994-WarwickT #algorithm #problem #search-based #using

Using a genetic algorithm to tackle the processors configuration problem (TW, EPKT), pp. 217–221.

SAC-1994-Julstrom #algorithm #performance #problem #search-based

Seeding the population: improved performance in a genetic algorithm for the rectilinear Steiner problem (BAJ), pp. 222–226.

SAC-1994-KarunanithiC #algorithm #search-based

A ring loading application of genetic algorithms (NK, TC), pp. 227–231.

SAC-1994-Janikow #algorithm #fuzzy #learning #search-based

A genetic algorithm for learning fuzzy controllers (CZJ), pp. 232–236.

SAC-1994-GordonMW #algorithm #locality #search-based

Cellular genetic algorithms as function optimizers: locality effects (VSG, KEM, DW), pp. 237–241.

SAC-1994-AbualiSW #algorithm #design #network #probability #search-based #using

Designing telecommunications networks using genetic algorithms and probabilistic minimum spanning trees (FNA, DAS, RLW), pp. 242–246.

SAC-1994-CorcoranH #algorithm #database #distributed #search-based

A genetic algorithm for fragment allocation in a distributed database system (ALC, JH), pp. 247–250.

SAC-1994-Sen94a #network #using

File placement over a network using simulated annealing326741 (SS), pp. 251–255.

SAC-1994-RosenG #network #using

Training hard to learn networks using advanced simulated annealing methods (BER, JMG), pp. 256–260.

SAC-1994-RaoI #approach #probability #problem

A stochastic approach to the bin-packing problem (RLR, SSI), pp. 261–265.

SAC-1994-GhazalO #constraints #query #source code #termination

Termination of programs in constraint query languages (AG, AMO), pp. 266–270.

SAC-1994-KucherovR #on the #problem #term rewriting #word

On ground reducibility problem for word rewriting systems with variables (GK, MR), pp. 271–276.

SAC-1994-InsallMW #finite

Conjugating polynomials on finite rings (MI, LM, RWW), pp. 277–280.

SAC-1994-Stilman #geometry

A linguistic geometry for technology transfer (BS), pp. 281–285.

SAC-1994-WassermanS #locality #logic programming

The locality principle and completeness in logic programming (HCW, ZS), pp. 286–291.

SAC-1994-FlachsbartBCH #algorithm #classification #using

Using the ID3 symbolic classification algorithm to reduce data density (BF, WEB, DCSC, JH), pp. 292–296.

SAC-1994-AleshunasCB #classification

Classification characteristics of SOM and ART2 (JJA, DCSC, WEB), pp. 297–302.

SAC-1994-Chen #learning

Application of Boolean expression minimization to learning via hierarchical generalization (JC), pp. 303–307.

SAC-1994-MahoneyLW #exponential #network

Construction of an artificial neural network for simple exponential smoothing in forecasting (DWM, RPL, SIW), pp. 308–312.

SAC-1994-GaryE #flexibility #semantics

A flexible marker-passer for semantically weak search (KG, JJED), pp. 313–317.

SAC-1994-FlorianiM

Computing point visibility on a terrain based on a nested horizon structure (LDF, PM), pp. 318–322.

SAC-1994-FlorianiMP #formal method #modelling #overview

Hierarchical terrain models: survey and formalization (LDF, PM, EP), pp. 323–327.

SAC-1994-ChretienVLLP #design

The GéoSabrina design: the way to build a GIS above a spatial data server (DC, YV, TL, RL, DP), pp. 328–332.

SAC-1994-Sabharwal #algorithm #implementation #performance

A fast implementation of surface/surface intersection algorithm (CLS), pp. 333–337.

SAC-1994-Rodriguez #architecture

A minimal TTL processor for architecture exploration (BJR), pp. 338–340.

SAC-1994-LeeA #c++

C++ style class support under FIG Forth (YML, DJA), pp. 341–345.

SAC-1994-OsborneH #analysis #development #interactive

Development of an interactive weather analysis and display system to support agricultural planning (LFO, BCH), pp. 346–350.

SAC-1994-KumarH #concept #fuzzy #logic #reduction #using

Reduction of communications in a MasPar computer using fuzzy logic concepts (AGK, JH), pp. 351–356.

SAC-1994-MortonTBS #2d #adaptation #finite #simulation

An adaptive finite element methodology for 2D simulation of two-phase flow through porous media (DJM, JMT, ATB, PAS), pp. 357–362.

SAC-1994-PandaPH #database #multi #query #transaction

Secure transaction management and query processing in multilevel secure database systems (BP, WP, RAH), pp. 363–368.

SAC-1994-LogarCWWW #algorithm #image #recognition

A don’t care back propagation algorithm applied to satellite image recognition (AML, EMC, SW, RW, RW), pp. 369–373.

SAC-1994-Li #equivalence #graph #on the

On the equivalence of pull-up transistor assignment in PLA folding and distribution graph (WNL), pp. 374–378.

SAC-1994-HoskinsHH #behaviour #interactive #multi

An interactive multimedia system for fire behavior training (JAH, WDH, KGH), pp. 379–382.

SAC-1994-BosschereT #continuation #performance #prolog

High performance continuation passing style Prolog-to-C mapping (KDB, PT), pp. 383–387.

SAC-1994-ChangCG #abstract interpretation #bottom-up #execution #logic programming #source code

Abstract filters: improving bottom-up execution of logic programs by two-phase abstract interpretation (BMC, KMC, RG), pp. 388–393.

SAC-1994-GabbrielliG #analysis #logic programming #source code

Goal independency and call patterns in the analysis of logic programs (MG, RG), pp. 394–399.

SAC-1994-StoltzWG #constant

Constant propagation: a fresh, demand-driven look (ES, MW, MPG), pp. 400–404.

SAC-1994-LeeL #concurrent #constraints #incremental #logic programming #named #nondeterminism #query #towards

IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming (JHML, HfL), pp. 405–409.

SAC-1994-StamatopoulosMH #development #parallel

Extending a parallel CLP language to support the development of multi-agent systems (PS, DM, CH), pp. 410–414.

SAC-1994-KaraliH #data type #parallel #prolog

Abstract data type support in Prolog and its relation to parallelism (IK, CH), pp. 415–419.

SAC-1994-StansiferW #morphism #polymorphism #re-engineering

Type reconstruction for coercion polymorphism (RS, DW), pp. 420–424.

SAC-1994-Goblirsch #haskell

An introduction to Haskell with applications to digital signal processing (DMG), pp. 425–430.

SAC-1994-RondogiannisW #data flow #hardware #higher-order #implementation

Higher-order dataflow and its implementation on stock hardware (PR, WWW), pp. 431–435.

SAC-1994-KhoshnevisanA #database #parallel

Mechanical parallelisation of database applications (HK, MA), pp. 436–440.

SAC-1994-ConnorCKM #evolution #persistent #using

Using persistence technology to control schema evolution (RCHC, QIC, GNCK, RM), pp. 441–446.

SAC-1994-Silva-Lepe #graph #object-oriented #source code #specification

Abstracting graph-based specifications of object-oriented programs (ISL), pp. 447–451.

SAC-1994-OgataD #compilation #multi #thread

Object allocation and dynamic compilation in MultithreadSmalltalk (KO, ND), pp. 452–456.

SAC-1994-ZhangM #named #visualisation

Visputer — an Occam program visualisation tool (KZ, GM), pp. 457–461.

SAC-1994-Takaoka #graph #parallel #verification

Parallel program verification with directed graphs (TT), pp. 462–466.

SAC-1994-VaradarajanH #adaptation #algorithm #performance #refinement

An efficient dynamic load balancing algorithm for adaptive mesh refinement (RV, IH), pp. 467–472.

SAC-1994-RayJD #algorithm #array #graph #linear #parallel

A parallel algorithm for mapping a special class of task graphs onto linear array multiprocessors (SR, HJ, JSD), pp. 473–477.

SAC-1994-Wang #generative #migration #multi #scheduling

Generating a deterministic task migration path for multiprocessor scheduling (MfW), pp. 478–482.

SAC-1994-CorcoranW #algorithm #parallel #problem #scheduling #search-based

A parallel island model genetic algorithm for the multiprocessor scheduling problem (ALC, RLW), pp. 483–487.

SAC-1994-MerkleL #algorithm #analysis #parallel #performance #search-based

An initial analysis of data parallelism in the fast messy genetic algorithm (LDM, GBL), pp. 488–492.

SAC-1994-WongD #hybrid #stack #thread #using

Supporting thousands of threads using a hybrid stack sharing scheme (KFW, BD), pp. 493–498.

SAC-1994-MotzkinG #information management #parallel #performance

Parallel organization and performance of an information system (DM, AKG), pp. 499–503.

SAC-1994-WooR #algorithm #parallel

Unordered parallel distance-1 and distance-2 FFT algorithms of radix 2 and (4-2) (MlW, RAR), pp. 504–509.

SAC-1994-Bennet #distributed #message passing #parallel #runtime #source code

Distributed message routing and run-time support for message-passing parallel programs derived from ordinary programs (TB), pp. 510–514.

SAC-1994-ChandH #realtime #using

A real-time contol application using asynchronous remote procedure calls (GC, DMH), pp. 515–517.

SAC-1994-Shearer #design #multi #using

Design of a Linda kernal using causal multicast (KS), pp. 518–523.

SAC-1994-LiB #object-oriented #parsing #unification

An integrated parsing scheme for unification categorial grammar with object-oriented lexicon (LL, BRB), pp. 524–528.

SAC-1994-ShiL #equivalence #framework #generative #multi #object-oriented

View generation based on equivalence framework in object-oriented multidatabase systems (KSS, HJL), pp. 529–533.

SAC-1994-SabharwalB #database #image

A perfect hash function for image database indexing (CLS, SKB), pp. 534–538.

SAC-1994-ChenB #analysis #concurrent #database #detection #performance #petri net #transaction

A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.

SAC-1994-El-Said #automation #design #user interface #visual notation

Automated design of visual user interfaces (MES), pp. 545–550.

SAC-1994-HuangL #framework #multi #platform

A platform for multimedia information exchange (CMH, CML), pp. 551–555.

SAC-1994-RusnokLC #speech

Freedom’93: a portable speech device (KLR, MSL, JMC), pp. 556–560.

SAC-1994-Duben #simulation

The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.

SAC-1994-ChaudhuriD #generative #linear #sequence

A note on generating a worst case sequence for Quicksort in linear time (RC, ACD), pp. 566–567.

SAC-1994-Foster #analysis #education #named #using

FRA: using a goal-based scenario to teach financial statement analysis (DAF), pp. 568–572.

SAC-1994-RothermelT #learning #logic #overview

Test Review: a new method of computer-assisted learning to promote careful reading and logical skills (DR, GT), pp. 573–577.

SAC-1994-HughesWK #learning

Virtual space learning: creating text-based learning environments (BH, JW, BK), pp. 578–582.

SAC-1994-RuizSG #tutorial

A tutorial system for inorganic chemical formulations and reactions (ILR, JLCS, MÁGN), pp. 583–587.

SAC-1994-Brown #interface #parallel

A parallel application interface (JAB), pp. 588–593.