COMPSAC B

126 papers

YearTitle / Authors
1989'Entropy production rate' and 'entropy' for neural networks.
Hung-Jen Chang, Kung-Shiuh Huang, Kuan-Tsao Huang
1989A dialogue manager for efficient adaptive man-machine dialogues.
Jacob P. Ukelson, Michael Rodeh
1989A framework for expressing and controlling imprecision in databases.
Jaideep Srivastava, Doron Rotem
1989A graphics tool to aid in the generation of parallel FORTRAN programs.
Orlie Brewer, Jack J. Dongarra, Danny C. Sorensen
1989A high-order logic programming framework for complex objects reasoning.
Qiming Chen
1989A knowledge base for code reuse by similarity.
Bonnie K. MacKellar, Fred J. Maryanski
1989A knowledge-based debugger for real-time software systems based on a noninterference testing architecture.
Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen
1989A knowledge-based supervision model for machine tools.
Taehwan Yoon, José C. Príncipe
1989A model for monitoring and debugging parallel and distributed software.
Dan C. Marinescu, James E. Lumpp Jr., Thomas L. Casavant, Howard Jay Siegel
1989A model to estimate average response time of parallel programs.
Bin Qin, Reda A. Ammar
1989A parallel linked list for shared-memory multiprocessors.
Peiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu
1989A partitioning method for grid file directories.
Sei H. Chun, George E. Hedrick, Huizhu Lu, D. D. Fisher
1989A representation for discrete assembly sequences in task planning.
Rana G. Ayoub, Keith L. Doty
1989A semantic processor for natural language.
Jay C. Weber, Paul C. Berry, Wilbur D. Hagamen, Kenneth E. Iverson
1989A set-oriented inference mechanism for large data-intensive logic-bases.
Ghassan Z. Qadah
1989A structured bipartite inheritance network representation for object-oriented software design.
Stephen S. Yau, Chung-Shyan Liu
1989A tool to generate DEBUG program of arbitrary type of microprocessors.
Jiemin Gong, Minzhu Lu, Ning Li
1989A visual solid modeling system using a plane cursor.
Hirotaka Sekine, Hirokatsu Terajima
1989A volume sorting hidden-surface algorithm.
Xiaofeng Zhou, Kristianto Iskandar, John Staudhammer
1989A2QDT: a syntax-directed Prolog dialect translator.
M. W. Du, S. C. Chang, Anita Chow
1989ALICE: an assertion language for integrity constraint expression.
Susan Darling Urban
1989Adaptive selection of access path and join method.
Yann-Hang Lee, Philip S. Yu
1989An amalgamated model of software usability.
Richard Holcomb, Alan L. Tharp
1989An approach to software fault localization and revalidation based on incremental data flow analysis.
Abu-Bakr Taha, Stephen M. Thebaut, Sying-Syang Liu
1989An efficient algorithm of compressing decimal notations for tree structures.
Jun-Ichi Aoe
1989An environment for the conversion of sequential programs into parallel forms.
William Eventoff
1989An incremental delivery approach to system development: an empirical study.
Alan T. Yaung, Pei Hsia
1989An integrated engineering workstation for automated guided vehicle systems design.
Omer Bakkalbasi, Dah-Chuan Gong, Brett A. Peters, Marc Goetschalckx, Leon F. McGinnis
1989An integrated framework for software prototyping.
Jijun Chen, Junyen Wang, Jeremy Kuo
1989An introduction to the portable parallel programming language Seymour.
Russ Miller, Quentin F. Stout
1989An iterative method for secure inter-procedural information flow control.
Masaaki Mizuno
1989An object-oriented methodology for end-user logical database design: the structured entity model approach.
Kunihiko Higa, Olivia R. Liu Sheng
1989Application of mathematical constraint resolution to decision support system.
Feng-Tyan Lin, Jie-Yong Juang, Der-Tsai Lee
1989Automated protocol modeling and verification combining an entity-based specification language and Petri nets.
Sol M. Shatz, Toshinori Suzuki, Tadao Murata
1989Autonomous decentralized system test technique.
Katsumi Kawano, Masayuki Orimo, Kinji Mori
1989Building reliable systems: software testing and analysis.
John Salasin
1989CODE: the Computation Oriented Display Environment.
James C. Browne
1989Concurrent LISP based on lexical scope.
S. Sugimoto, T. Sakaguchi, K. Tabata
1989Concurrent system design with box structures.
Shirley Ann Becker, Alan R. Hevner
1989Connected component labeling using self-organizing feature maps.
Gregory A. Baraghimian
1989Construction of file management systems from software components.
Don S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza
1989Crisis in real-time software.
André M. Van Tilborg
1989Critical issues in real-time software systems.
Mikio Aoyama
1989Cross-profiling as an efficient technique in simulating parallel computer systems.
Richard Covington, J. Robert Jump, James B. Sinclair
1989Derivation of Petri net models of Ada tasking constructs involving time.
F. W. Fong, Sol M. Shatz
1989Design data modeling with versioned conceptual configuration.
Hiroyuki Kitagawa, Nobuo Ohbo
1989Designing consistency-preserving database transactions.
Christina Liebelt
1989Deterministic execution debugging of concurrent Ada programs.
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
1989Direct manipulation user interfaces based on constraints.
Raimund K. Ege
1989Directions in object-oriented databases.
Stanley B. Zdonik
1989Document retrieval expert system shell with worksheet-based knowledge acquisition facility.
Chizuko Yasunobu, Rei Itsuki, Hiroshi Tsuji, Fumihiko Mori
1989Dynamic signature hashing.
Yunmo Chung, M. V. Ramakrishna
1989Dynamic window configuration in an object oriented programming environment.
Lie-Hong Lin, Ching-Roun Chou, Feng-Jian Wang
1989Effective dynamic scheduling and memory management on parallel processing systems.
Michael Weiss, Zhixi Fang, C. Robert Morgan, Peter Belmont
1989Efficient coding for integrated information systems and multimedia databases.
Mostafa A. Bassiouni, C. A. Waters
1989Enhancements to Ziv-Lempel data compression.
Clyde Rogers, Clark D. Thomborson
1989Entailment as a logical basis for incremental generation of causal relations.
Jingde Cheng, Kazuo Ushijima
1989Evaluating software development environment quality.
Takeshige Miyoshi, Yasuko Togashi, Motoei Azuma
1989Expectations for associative-commutative unification speedups in a multicomputer environment.
Ralph W. Wilkerson, Bruce M. McMillin
1989Expert system based automatic network fault management system.
Show-Way Yeh, Chuan-lin Wu, Hong-Da Sheng, Chaw-Kwei Hung, Rei-Chi Lee
1989Exploratory prototyping through the use of frames and production rules.
Jeffrey J. P. Tsai, Thomas Weigert
1989Extensions to the object-oriented paradigm.
Stanley Y. W. Su
1989Generating displays for specifications using attribute grammars.
Valdis Berzins, Yuh-Jeng Lee
1989Greedy file-a new data organization concept for partial match retrieval.
Yun-Huan Chou, Wei-Peng Yang, C. C. Chang
1989Hyper-geometric distribution model to estimate the number of residual software faults.
Yoshihiro Tohma, Raymond Jacoby, Yukihisa Murata, Moriki Yamamoto
1989Implementing a self-development neural network using doubly linked lists.
Tsu-Chang Lee, Allen M. Peterson
1989Infuse: fusing integration test management with change management.
Gail E. Kaiser, Dewayne E. Perry, William M. Schell
1989Integrating the concepts and techniques of semantic modeling and the object-oriented paradigm.
Herman Lam, Stanley Y. W. Su, Abdallah M. Alashqur
1989Interactive control of prototyping process.
Luqi, Yuh-Jeng Lee
1989KLMR: a knowledge language for model realization.
Shi-Yu Liang, Yong Chen, Zhi-Chong Li
1989Meta-SQAP: meta-methodology for software quality assurance.
Katsumi Honda, Keisuke Minomura, Toshihiro Komiyama
1989Method of determining effective software testing regions: detection of software defects related to external specification changes.
Takeshi Kaneko, Takeshi Nakajo
1989Methodologies for meeting hard deadlines in industrial distributed real-time systems.
Wolfgang A. Halang, Bernd J. Krämer
1989Minimization of task turnaround time for distributed systems.
Chiun-Chieh Hsu, Sheng-De Wang, Te-Son Kuo
1989Modeling parts and discrete assembly operations, using an object-oriented data model.
Constantinos Papaconstantinou, Keith L. Doty, Shamkant B. Navathe
1989Models to estimate the number of faults still resident in the software after test/debug process.
Yoshihiro Tohma
1989Monotonically improving approximate answers to relational algebra queries.
Kenneth P. Smith, Jane W.-S. Liu
1989Next Steps: Navistar's compensation reserve expert system advisor.
Judith A. Markowitz
1989Object-oriented database systems.
Fereidoon Sadri
1989Object-oriented programming in a conventional programming environment.
David E. Breen, Phillip H. Getto, Anthony A. Apodaca
1989On predicting software reliability.
John E. Gaffney Jr.
1989On processor allocation in hypercube multiprocessors.
Chih-Hao Huang, Ting-Lu Huang, Jie-Yong Juang
1989On real-time system research and education.
J. C. Huang
1989On schema integration in a heterogeneous distributed database management system.
Bipin C. Desai, Richard Pollock
1989On the definition and maintenance of database views with time-varying domains.
Mostafa A. Bassiouni, Mark J. Llewellyn
1989PCF programming model and FORTRAN bindings.
Bruce Leasure
1989PUC: a knowledge based environment for planned user communication.
Pula Ypiranga dos Guaranys, Carlos J. P. Lucena
1989Parallel languages, vectorization, and compilers.
Michael Weiss
1989Parallel program debugging.
Thomas J. LeBlanc
1989Parallel protocol verification using the two-phase algorithm.
Maria C. Yuang, Aaron Kershenbaum
1989Parallelizing nested loops on multicomputers-the grouping approach.
Chung-Ta King, Ing-Ren Kau
1989Planning for software manufacturing.
Brad J. Cox
1989Problem solving environments.
David A. Padua
1989Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989
1989Processor scheduling in parallel program execution.
Jesse Fang
1989Programming with distributed shared memory.
Umakishore Ramachandran, M. Yousef Amin Khalidi
1989Quality feedback in software development management-methodology and practical application.
Mamoru Sugahara, Akira Ohmori, Masahiro Tohyama, Hajime Ikegame, Tetsuya Takase
1989ROSE-a reliable operating system environment.
Tony P. Ng
1989Rapid prototyping of programming language semantics using Prolog.
Barrett R. Bryant, Aiqin Pan
1989Reasoning on requirement specifications: a deductive approach.
Kacem Zeroual
1989Representing programs in multiparadigm software development environments.
Scott Meyers, Steven P. Reiss
1989SEWB: distributed software development environment on workstations.
Hirokazu Mimura, Hiroyuki Maezawa
1989Scatter-Brain: an experiment in distributed problem solving applied to load balancing.
Vibhu O. Mittal, Mukesh Singhal
1989Scheduling algorithms for coalesced jobs in real-time systems.
Min-Ih Chen, Jen-Yao Chung, Kwei-Jay Lin
1989Software development: a paradigm for the future.
Victor R. Basili
1989Software quality and productivity analysis at Hewlett-Packard.
Barbara Zimmer
1989Software routing support for task migration in hypercube multiprocessor systems.
Michael A. McSherry, Thomas L. Casavant
1989Software technology and industry of Korea: widening horizon and emerging presence.
Yong Rae Kwon
1989Software test and analysis: Department of Defense policy directions.
Anthony Shumskas
1989Software testing for critical applications: a position paper.
Richard A. DeMillo
1989Statistically-based program size estimation.
Muneo Takahashi, Takeshi Miyake, Shuetsu Hanata
1989Stochastic backpropagation: a learning algorithm for generalization problems.
C. V. Ramamoorthy, Shashi Shekhar
1989Structure design of distributed systems using interpreted Petri nets.
Joachim Tankoano, Jean-Claude Derniame
1989Structuring large versioned software products.
Jacky Estublier, Jean-Marie Favre
1989Testing of concurrent software.
Kuo-Chung Tai
1989The SDI approach.
Charles W. Lillie, Bill R. Brykczynski
1989The developing software industry of Taiwan.
Jyh-Sheng Ke
1989The implementation of nonlocal dependency relationship in interactive environment.
Yong Zheng, Jiahua Qian
1989The influence of manufacturing paradigms on system development methodologies.
D. S. Coleman
1989The object-oriented design of a visual syntax-directed editor generator.
Farahangiz Arefi, Charles E. Hughes, David A. Workman
1989The real advantages of pure object-oriented systems or why object-oriented extensions to C are doomed to fail.
Wilf R. LaLonde, Jim McGugan, Dave A. Thomas
1989Towards predictable and reliable distributed real-time systems.
Hldeyukl Tokuda
1989Transaction synchronization in distributed shared virtual memory systems.
Meichun Hsu, Va-On Tam
1989What are the 'carry over effects' in changing from a procedural to a declarative approach?
Jawed I. A. Siddiqi, Babak Khazaei
1989Where AI/KB techniques fit into software development/engineering.
William M. Lively
1989Zero-one integer programming model in path selection problem of structural testing.
Jin-Cherng Lin, Chyan-Goei Chung