compsac 1989

Edit

13th Annual International Computer Software and Applications Conference (COMPSAC 1989)

장소·일정: Orlando, Florida, USA, Sep 20–22, 1989
논문: 125편 (IEEE Xplore 125편, 무료 사본 3편)

Parallel Processing and Applications

Minimization of Task Turnaround Time for Distributed Systems — C.-C. Hsu, S.-D. Wang and T.-S. Kuo
Software Routing Support for Task Migration in Hypercube Multiprocessor Systems — M. A. McSherry and T. L. Casavant
On Processor Allocation in Hypercube Multiprocessors — C.-H. Huang, T.-L. Huang and J.-Y. Juang
Derivation of Petri Net Models of Ada Tasking Constructs Involving Time — F. W. Fong and S. M. Shatz
Concurrent System Design with Box Structures — S. A. Becker and A. R. Hevner
Structure Design of Distributed Systems Using Interpreted Petri Nets — J. Tankoano and J. C. Derniame
Autonomous Decentralized System Test Technique — K. Kawano, M. Orimo and K. Mori
Testing of Concurrent Software — K. C. Tai
Parallel Program Debugging — T. J. LeBlanc
A Model to Estimate Average Response Time of Parallel Programs — B. Qin and R. A. Ammar
Cross-Profiling as an Efficient Technique in Simulating Parallel Computer Systems — R. G. Covington, J. R. Jump and J. B. Sinclair
A Model for Monitoring and Debugging Parallel and Distributed Software — D. C. Marinescu, J. E. Lumpp, T. L. Casavant and H. J. Siegel
A Graphics Tool to Aid in the Generation of Parallel FORTRAN Programs — O. Brewer, J. Dongarra and D. Sorensen · 무료 사본 · osti.gov
An Introduction to the Portable Parallel Programming Language Seymour — R. Miller and Q. F. Stout
Deterministic Execution Debugging of Concurrent Ada Programs — K. C. Tai, R. H. Carver and E. E. Obaid
PCF Programming Model and FORTRAN Bindings — B. Leasure
Processor Scheduling in Parallel Program Execution — J. Fang
Parallel Languages, Vectorization, and Compilers — M. Weiss
Problem Solving Environments — D. A. Padua
An Environment for the Conversion of Sequential Programs into Parallel Forms — W. Eventoff
CODE: The Computation Oriented Display Environment — J. C. Browne
Effective Dynamic Scheduling and Memory Management on Parallel Processing Systems — M. Weiss, Z. Fang, C. R. Morgan and P. Belmont
A Parallel Linked List for Shared-Memory Multiprocessors — P. Tang, P.-C. Yew and C.-Q. Zhu
Parallelizing Nested Loops on Multicomputers - The Grouping Approach — C.-T. King and I.-R. Kau
Scheduling Algorithms for Coalesced Jobs in Real-Time Systems — M.-I. Chen, J.-Y. Chung and K.-J. Lin
ROSE - A Reliable Operating System Environment — T. P. Ng
Expectations for Associative-Commutative Unification Speedups in a Multicomputer Environment — R. W. Wilkerson and B. M. McMillin
Transaction Synchronization in Distributed Shared Virtual Memory Systems — M. Hsu and V.-O. Tam
Programming with Distributed Shared Memory — U. Ramachandran and M. Y. A. Khalidi
Parallel Protocol Verification Using the Two-Phase Algorithm — M. C. Yuang and A. Kershenbaum

Object-Oriented Computing

Object-Oriented Database Systems — F. Sadri
Extensions to the Object-Oriented Paradigm — S. Y. W. Su
Directions in Object-Oriented Databases — S. Zdonik
On the Definition and Maintenance of Database Views with Time-Varying Domains — M. Bassiouni and M. Llewellyn · 무료 사본 · stars.library.ucf.edu
Integrating the Concepts and Techniques of Semantic Modeling and the Object-Oriented Paradigm — H. Lam, S. Y. W. Su and A. M. Alashqur
On Schema Integration in a Heterogeneous Distributed Database Management System — B. C. Desai and R. Pollock
Design Data Modeling with Versioned Conceptual Configuration — H. Kitagawa and N. Ohbo
Monotonically Improving Approximate Answers to Relational Algebra Queries — K. P. Smith and J. W. S. Liu
A Framework for Expressing and Controlling Imprecision in Databases — J. Srivastava and D. Rotem
Adaptive Selection of Access Path and Join Method — Y.-H. Lee and P. S. Yu
Dynamic Signature Hashing — Y. Chung and M. V. Ramakrishna
Greedy File - A New Data Organization Concept for Partial Match Retrieval — Y.-H. Chou, W.-P. Yang and C. C. Chang
A Partitioning Method for Grid File Directories — S. H. Chun, G. E. Hedrick, H. Lu and D. D. Fisher
Document Retrieval Expert System Shell with Worksheet-Based Knowledge Acquisition Facility — C. Yasunobu, R. Itsuki, H. Tsuji and F. Mori
An Iterative Method for Secure Inter-Procedural Information Flow Control — M. Mizuno
ALICE: An Assertion Language for Integrity Constraint Expression — S. D. Urban
Designing Consistency-Preserving Database Transactions — C. Liebelt
Efficient Coding for Integrated Information Systems and Multimedia Databases — M. A. Bassiouni and C. A. Waters · 무료 사본 · stars.library.ucf.edu
An Efficient Algorithm of Compressing Decimal Notations for Tree Structures — J.-I. Aoe
Enhancements to Ziv-Lempel Data Compression — C. Rogers and C. D. Thomborson
Planning for Software Manufacturing — B. J. Cox
Object-Oriented Programming in a Conventional Programming Environment — D. E. Breen, P. H. Getto and A. A. Apodaca
The Real Advantages of Pure Object-Oriented Systems or Why Object-Oriented Extensions to C Are Doomed to Fail — W. R. LaLonde, J. McGugan and D. Thomas
A Structured Bipartite Inheritance Network Representation for Object-Oriented Software Design — S. S. Yau and C.-S. Liu
Construction of File Management Systems from Software Components — D. S. Batory, J. R. Barnett, J. Roy, B. C. Twichell and J. Garza
An Object-Oriented Methodology for End-User Logical Database Design: The Structured Entity Model Approach — K. Higa and O. R. L. Sheng
Direct Manipulation User Interfaces Based on Constraints — R. K. Ege
Dynamic Window Configuration in an Object Oriented Programming Environment — L.-H. Lin, C.-R. Chou and F.-J. Wang
The Object-Oriented Design of a Visual Syntax-Directed Editor Generator — F. Arefi, C. E. Hughes and D. A. Workman
Modeling Parts and Discrete Assembly Operations, Using an Object-Oriented Data Model — C. Papaconstantinou, K. L. Doty and S. B. Navathe

Software Engineering

Structuring Large Versioned Software Products — J. Estublier and J.-M. Favre
An Incremental Delivery Approach to System Development: An Empirical Study — A. T.-I. Yaung and P. Hsia
Representing Programs in Multiparadigm Software Development Environments — S. Meyers and S. P. Reiss
SEWB: Distributed Software Development Environment on Workstations — H. Mimura and H. Maezawa
Crisis in Real-Time Software — A. M. van Tilborg
Critical Issues in Real-Time Software Systems — M. Aoyama
On Real-Time System Research and Education — J. C. Huang
Towards Predictable and Reliable Distributed Real-Time Systems — H. Tokuda
Rapid Prototyping of Programming Language Semantics Using Prolog — B. R. Bryant and A. Pan
Interactive Control of Prototyping Process — L. Luqi and Y.-J. Lee
Exploratory Prototyping Through the Use of Frames and Production Rules — J. J.-P. Tsai and T. Weigert
An Integrated Framework for Software Prototyping — J. Chen, J. Wang and J. Kuo
Software Development: A Paradigm for the Future — V. R. Basili
Models to Estimate the Number of Faults Still Resident in the Software After Test/Debug Process — Y. Tohma
Quality Feedback in Software Development Management-Methodology and Practical Application — M. Sugahara, A. Ohmori, M. Tohyama, H. Ikegame and T. Takase
Evaluating Software Development Environment Quality — T. Miyoshi, Y. Togashi and M. Azuma
Meta-SQAP: Meta-Methodology for Software Quality Assurance — K. Honda, K. Minomura and T. Komiyama
Building Reliable Systems: Software Testing and Analysis — J. Salasin
Software Testing for Critical Applications: A Position Paper — R. A. DeMillo
On Predicting Software Reliability — J. E. Gaffney
The SDI Approach — C. W. Lillie and B. R. Brykczynski
Software Test and Analysis: Department of Defense Policy Directions — A. Shumskas
An Approach to Software Fault Localization and Revalidation Based on Incremental Data Flow Analysis — A.-B. Taha, S. M. Thebaut and S.-S. Liu
Method of Determining Effective Software Testing Regions: Detection of Software Defects Related to External Specification Changes — T. Kaneko and T. Nakajo
A Tool to Generate DEBUG Program of Arbitrary Type of Microprocessors — J. Gong, M. Lu and N. Li
The Developing Software Industry of Taiwan — J.-S. Ke
Software Technology and Industry of Korea: Widening Horizon and Emerging Presence — Y.-R. Kwon
Infuse: Fusing Integration Test Management with Change Management — G. E. Kaiser, D. E. Perry and W. M. Schell
An Amalgamated Model of Software Usability — R. Holcomb and A. L. Tharp
Methodologies for Meeting Hard Deadlines in Industrial Distributed Real-Time Systems — W. A. Halang and B. Krämer
Statistically-Based Program Size Estimation — M. Takahashi, T. Miyake and S. Hanata
Automated Protocol Modeling and Verification Combining an Entity-Based Specification Language and Petri Nets — S. M. Shatz, T. Suzuki and T. Murata
A Dialogue Manager for Efficient Adaptive Man-Machine Dialogues — J. Ukelson and M. Rodeh
Generating Displays for Specifications Using Attribute Grammars — V. Berzins, Y.-J. Lee and L. Luqi
A Visual Solid Modeling System Using a Plane Cursor — H. Sekine and H. Terajima
Hyper-Geometric Distribution Model to Estimate the Number of Residual Software Faults — Y. Tohma, R. Jacoby, Y. Murata and M. Yamamoto
Zero-One Integer Programming Model in Path Selection Problem of Structural Testing — J.-C. Lin and C.-G. Chung
Software Quality and Productivity Analysis at Hewlett-Packard — B. Zimmer

Artificial Intelligence Techniques and Systems

A Knowledge Base for Code Reuse by Similarity — B. K. MacKellar and F. Maryanski
A Knowledge-Based Debugger for Real-Time Software Systems Based on a Non-Interference Testing Architecture — J. J.-P. Tsai, K.-Y. Fang and H.-Y. Chen
Reasoning on Requirement Specifications: A Deductive Approach — K. Zeroual
"Entropy Production Rate" and "Entropy" for Neural Networks — H.-J. Chang, K.-S. Huang and K.-T. Huang
Stochastic Backpropagation: A Learning Algorithm for Generalization Problems — C. V. Ramamoorthy and S. Shekhar
Implementing a Self-Development Neural Network Using Doubly Linked Lists — T.-C. Lee and A. M. Peterson
Connected Component Labeling Using Self-Organizing Feature Maps — G. A. Baraghimian
Application of Mathematical Constraint Resolution to Decision Support System — F.-T. Lin, J.-Y. Juang and D.-T. Lee
A Volume Sorting Hidden-Surface Algorithm — X. Zhou, K. Iskandar and J. Staudhammer
Concurrent LISP Based on Lexical Scope — S. Sugimoto, T. Sakaguchi and K. Tabata
What Are the "Carry Over Effects" in Changing from a Procedural to a Declarative Approach? — J. Siddiqi and B. Khazaei
A High-Order Logic Programming Framework for Complex Objects Reasoning — Q. Chen
Entailment As a Logical Basis for Incremental Generation of Causal Relations — J. Cheng and K. Ushijima
A Semantic Processor for Natural Language — J. C. Weber, P. C. Berry, W. D. Hagamen and K. E. Iverson
PUC: A Knowledge Based Environment for Planned User Communication — P. Y. Guaranys and C. J. P. Lucena
The Implementation of Nonlocal Dependency Relationship in Interactive Environment — Y. Zheng and J. Qian
A Representation for Discrete Assembly Sequences in Task Planning — R. G. Ayoub and K. L. Doty
KLMR: A Knowledge Language for Model Realization — Y.-Y. Shi, Y. Chen and Z.-C. Li
SCATTER-BRAIN: An Experiment in Distributed Problem Solving Applied to Load Balancing — V. O. Mittal and M. Singhal
Expert System Based Automatic Network Fault Management System — S.-W. Yeh, C.-L. Wu, H.-D. Sheng, C.-K. Hung and R.-C. Lee
The Influence of Manufacturing Paradigms on System Development Methodologies — D. S. Coleman
Where AI/KB Techniques Fit Into Software Development/engineering — W. M. Lively
A Knowledge-Based Supervision Model for Machine Tools — T. Yoon and J. C. Principe
Next Steps: Navistar's Compensation Reserve Expert System Advisor — J. A. Markowitz
An Integrated Engineering Workstation for Automated Guided Vehicle Systems Design — O. Bakkalbasi, D.-C. Gong, B. A. Peters, M. Goetschalckx and L. F. McGinnis
A2QDT: A Syntax-Directed Prolog Dialect Translator — M. W. Du, S. C. Chang and A. Chow
A Set-Oriented Inference Mechanism for Large Data-Intensive Logic-Bases — G. Z. Qadah