default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th COMPSAC 1989: Orlando, FL, USA
- Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989. IEEE 1989, ISBN 0-8186-1964-3
- Stanley B. Zdonik:
Directions in object-oriented databases. - J. C. Huang:
On real-time system research and education. - Bruce Leasure:
PCF programming model and FORTRAN bindings. - Richard A. DeMillo:
Software testing for critical applications: a position paper. - Anthony Shumskas:
Software test and analysis: Department of Defense policy directions. - D. S. Coleman:
The influence of manufacturing paradigms on system development methodologies. - André M. Van Tilborg:
Crisis in real-time software. - William M. Lively:
Where AI/KB techniques fit into software development/engineering. - Chiun-Chieh Hsu, Sheng-De Wang, Te-Son Kuo:
Minimization of task turnaround time for distributed systems. 2-7 - Michael A. McSherry, Thomas L. Casavant:
Software routing support for task migration in hypercube multiprocessor systems. 8-15 - Chih-Hao Huang, Ting-Lu Huang, Jie-Yong Juang:
On processor allocation in hypercube multiprocessors. 16-23 - F. W. Fong, Sol M. Shatz:
Derivation of Petri net models of Ada tasking constructs involving time. 24-31 - Shirley Ann Becker, Alan R. Hevner:
Concurrent system design with box structures. 32-40 - Joachim Tankoano
, Jean-Claude Derniame:
Structure design of distributed systems using interpreted Petri nets. 41-51 - Katsumi Kawano, Masayuki Orimo, Kinji Mori:
Autonomous decentralized system test technique. 52-57 - Kuo-Chung Tai:
Testing of concurrent software. 62-64 - Thomas J. LeBlanc:
Parallel program debugging. 65-66 - Bin Qin, Reda A. Ammar:
A model to estimate average response time of parallel programs. 67-74 - Richard Covington, J. Robert Jump, James B. Sinclair:
Cross-profiling as an efficient technique in simulating parallel computer systems. 75-80 - Dan C. Marinescu, James E. Lumpp Jr., Thomas L. Casavant, Howard Jay Siegel:
A model for monitoring and debugging parallel and distributed software. 81-88 - Orlie Brewer, Jack J. Dongarra, Danny C. Sorensen:
A graphics tool to aid in the generation of parallel FORTRAN programs. 89-93 - Russ Miller, Quentin F. Stout:
An introduction to the portable parallel programming language Seymour. 94-101 - Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid:
Deterministic execution debugging of concurrent Ada programs. 102-109 - Jesse Fang:
Processor scheduling in parallel program execution. 112-113 - Michael Weiss:
Parallel languages, vectorization, and compilers. 114-115 - David A. Padua:
Problem solving environments. 116-117 - William Eventoff:
An environment for the conversion of sequential programs into parallel forms. 118-119 - James C. Browne:
CODE: the Computation Oriented Display Environment. 120-121 - Michael Weiss, Zhixi Fang, C. Robert Morgan, Peter Belmont:
Effective dynamic scheduling and memory management on parallel processing systems. 122-129 - Peiyi Tang, Pen-Chung Yew, Chuan-Qi Zhu:
A parallel linked list for shared-memory multiprocessors. 130-135 - Chung-Ta King, Ing-Ren Kau:
Parallelizing nested loops on multicomputers-the grouping approach. 136-142 - Min-Ih Chen, Jen-Yao Chung, Kwei-Jay Lin:
Scheduling algorithms for coalesced jobs in real-time systems. 143-150 - Tony P. Ng:
ROSE-a reliable operating system environment. 151-157 - Ralph W. Wilkerson, Bruce M. McMillin:
Expectations for associative-commutative unification speedups in a multicomputer environment. 158-165 - Meichun Hsu, Va-On Tam:
Transaction synchronization in distributed shared virtual memory systems. 166-175 - Umakishore Ramachandran, M. Yousef Amin Khalidi:
Programming with distributed shared memory. 176-183 - Maria C. Yuang, Aaron Kershenbaum:
Parallel protocol verification using the two-phase algorithm. 184-192 - Fereidoon Sadri:
Object-oriented database systems. 195-196 - Stanley Y. W. Su:
Extensions to the object-oriented paradigm. 197-199 - Mostafa A. Bassiouni, Mark J. Llewellyn:
On the definition and maintenance of database views with time-varying domains. 201-208 - Herman Lam, Stanley Y. W. Su, Abdallah M. Alashqur:
Integrating the concepts and techniques of semantic modeling and the object-oriented paradigm. 209-217 - Bipin C. Desai, Richard Pollock:
On schema integration in a heterogeneous distributed database management system. 218-224 - Hiroyuki Kitagawa, Nobuo Ohbo:
Design data modeling with versioned conceptual configuration. 225-233 - Kenneth P. Smith, Jane W.-S. Liu:
Monotonically improving approximate answers to relational algebra queries. 234-241 - Jaideep Srivastava, Doron Rotem:
A framework for expressing and controlling imprecision in databases. 242-249 - Yann-Hang Lee, Philip S. Yu:
Adaptive selection of access path and join method. 250-256 - Yunmo Chung, M. V. Ramakrishna:
Dynamic signature hashing. 257-262 - Yun-Huan Chou, Wei-Peng Yang, C. C. Chang:
Greedy file-a new data organization concept for partial match retrieval. 263-270 - Sei H. Chun, George E. Hedrick, Huizhu Lu, D. D. Fisher:
A partitioning method for grid file directories. 271-277 - Chizuko Yasunobu, Rei Itsuki, Hiroshi Tsuji, Fumihiko Mori:
Document retrieval expert system shell with worksheet-based knowledge acquisition facility. 278-285 - Masaaki Mizuno:
An iterative method for secure inter-procedural information flow control. 286-291 - Susan Darling Urban:
ALICE: an assertion language for integrity constraint expression. 292-299 - Christina Liebelt:
Designing consistency-preserving database transactions. 300-307 - Mostafa A. Bassiouni, C. A. Waters:
Efficient coding for integrated information systems and multimedia databases. 308-315 - Jun-ichi Aoe:
An efficient algorithm of compressing decimal notations for tree structures. 316-323 - Clyde Rogers, Clark D. Thomborson:
Enhancements to Ziv-Lempel data compression. 324-330 - Brad J. Cox:
Planning for software manufacturing. 331-332 - David E. Breen, Phillip H. Getto, Anthony A. Apodaca:
Object-oriented programming in a conventional programming environment. 334-343 - Wilf R. LaLonde, Jim McGugan, Dave A. Thomas:
The real advantages of pure object-oriented systems or why object-oriented extensions to C are doomed to fail. 344-350 - Stephen S. Yau, Chung-Shyan Liu:
A structured bipartite inheritance network representation for object-oriented software design. 351-357 - Don S. Batory, J. R. Barnett, J. Roy, Brian C. Twichell, Jorge F. Garza:
Construction of file management systems from software components. 358-364 - Kunihiko Higa, Olivia R. Liu Sheng:
An object-oriented methodology for end-user logical database design: the structured entity model approach. 365-373 - Raimund K. Ege:
Direct manipulation user interfaces based on constraints. 374-380 - Lie-Hong Lin, Ching-Roun Chou, Feng-Jian Wang:
Dynamic window configuration in an object oriented programming environment. 381-388 - Farahangiz Arefi, Charles E. Hughes, David A. Workman:
The object-oriented design of a visual syntax-directed editor generator. 389-396 - Constantinos Papaconstantinou, Keith L. Doty, Shamkant B. Navathe:
Modeling parts and discrete assembly operations, using an object-oriented data model. 397-402 - Jacky Estublier, Jean-Marie Favre:
Structuring large versioned software products. 404-411 - Alan T. Yaung, Pei Hsia:
An incremental delivery approach to system development: an empirical study. 412-419 - Scott Meyers, Steven P. Reiss:
Representing programs in multiparadigm software development environments. 420-427 - Hirokazu Mimura, Hiroyuki Maezawa:
SEWB: distributed software development environment on workstations. 428-432 - Mikio Aoyama:
Critical issues in real-time software systems. 434-435 - Hldeyukl Tokuda:
Towards predictable and reliable distributed real-time systems. 437-438 - Barrett R. Bryant, Aiqin Pan:
Rapid prototyping of programming language semantics using Prolog. 439-446 - Luqi, Yuh-Jeng Lee:
Interactive control of prototyping process. 447-454 - Jeffrey J. P. Tsai, Thomas Weigert:
Exploratory prototyping through the use of frames and production rules. 455-462 - Jijun Chen, Junyen Wang, Jeremy Kuo:
An integrated framework for software prototyping. 463-470 - Victor R. Basili:
Software development: a paradigm for the future. 471-485 - Yoshihiro Tohma:
Models to estimate the number of faults still resident in the software after test/debug process. 491-492 - Mamoru Sugahara, Akira Ohmori, Masahiro Tohyama, Hajime Ikegame, Tetsuya Takase:
Quality feedback in software development management-methodology and practical application. 493-500 - Takeshige Miyoshi, Yasuko Togashi, Motoei Azuma:
Evaluating software development environment quality. 501-508 - Katsumi Honda, Keisuke Minomura, Toshihiro Komiyama:
Meta-SQAP: meta-methodology for software quality assurance. 509-515 - John Salasin:
Building reliable systems: software testing and analysis. 517-520 - John E. Gaffney Jr.:
On predicting software reliability. 522-523 - Charles W. Lillie, Bill R. Brykczynski:
The SDI approach. 524-525 - Abu-Bakr Taha, Stephen M. Thebaut, Sying-Syang Liu:
An approach to software fault localization and revalidation based on incremental data flow analysis. 527-534 - Takeshi Kaneko, Takeshi Nakajo:
Method of determining effective software testing regions: detection of software defects related to external specification changes. 535-542 - Jiemin Gong, Minzhu Lu, Ning Li:
A tool to generate DEBUG program of arbitrary type of microprocessors. 543-547 - Jyh-Sheng Ke:
The developing software industry of Taiwan. 548-549 - Yong Rae Kwon:
Software technology and industry of Korea: widening horizon and emerging presence. 550-551 - Gail E. Kaiser, Dewayne E. Perry, William M. Schell:
Infuse: fusing integration test management with change management. 552-558 - Richard Holcomb, Alan L. Tharp:
An amalgamated model of software usability. 559-566 - Wolfgang A. Halang, Bernd J. Krämer:
Methodologies for meeting hard deadlines in industrial distributed real-time systems. 567-573 - Muneo Takahashi, Takeshi Miyake, Shuetsu Hanata:
Statistically-based program size estimation. 574-579 - Sol M. Shatz, Toshinori Suzuki, Tadao Murata:
Automated protocol modeling and verification combining an entity-based specification language and Petri nets. 580-587 - Jacob P. Ukelson, Michael Rodeh:
A dialogue manager for efficient adaptive man-machine dialogues. 588-595 - Valdis Berzins, Yuh-Jeng Lee:
Generating displays for specifications using attribute grammars. 596-602 - Hirotaka Sekine, Hirokatsu Terajima:
A visual solid modeling system using a plane cursor. 603-609 - Yoshihiro Tohma, Raymond Jacoby, Yukihisa Murata, Moriki Yamamoto:
Hyper-geometric distribution model to estimate the number of residual software faults. 610-617 - Jin-Cherng Lin, Chyan-Goei Chung:
Zero-one integer programming model in path selection problem of structural testing. 618-627 - Barbara Zimmer:
Software quality and productivity analysis at Hewlett-Packard. 628-632 - Bonnie K. MacKellar, Fred J. Maryanski:
A knowledge base for code reuse by similarity. 634-641 - Jeffrey J. P. Tsai, Kwang-Ya Fang, Horng-Yuan Chen:
A knowledge-based debugger for real-time software systems based on a noninterference testing architecture. 642-649 - Kacem Zeroual:
Reasoning on requirement specifications: a deductive approach. 650-657 - Hung-Jen Chang, Kung-Shiuh Huang, Kuan-Tsao Huang:
'Entropy production rate' and 'entropy' for neural networks. 658-663 - C. V. Ramamoorthy, Shashi Shekhar:
Stochastic backpropagation: a learning algorithm for generalization problems. 664-671 - Tsu-Chang Lee, Allen M. Peterson:
Implementing a self-development neural network using doubly linked lists. 672-679 - Gregory A. Baraghimian:
Connected component labeling using self-organizing feature maps. 680-684 - Feng-Tyan Lin, Jie-Yong Juang, Der-Tsai Lee:
Application of mathematical constraint resolution to decision support system. 685-692 - Xiaofeng Zhou, Kristianto Iskandar, John Staudhammer:
A volume sorting hidden-surface algorithm. 693-699 - S. Sugimoto, T. Sakaguchi, K. Tabata:
Concurrent LISP based on lexical scope. 700-707 - Jawed I. A. Siddiqi, Babak Khazaei:
What are the 'carry over effects' in changing from a procedural to a declarative approach? 708-710 - Qiming Chen:
A high-order logic programming framework for complex objects reasoning. 711-718 - Jingde Cheng, Kazuo Ushijima:
Entailment as a logical basis for incremental generation of causal relations. 719-726 - Jay C. Weber, Paul C. Berry, Wilbur D. Hagamen, Kenneth E. Iverson:
A semantic processor for natural language. 727-733 - Pula Ypiranga dos Guaranys, Carlos J. P. Lucena:
PUC: a knowledge based environment for planned user communication. 734-740 - Yong Zheng, Jiahua Qian:
The implementation of nonlocal dependency relationship in interactive environment. 741-745 - Rana G. Ayoub, Keith L. Doty:
A representation for discrete assembly sequences in task planning. 746-753 - Shi-Yu Liang, Chen Yong, Zhi-Chong Li:
KLMR: a knowledge language for model realization. 754-759 - Vibhu O. Mittal, Mukesh Singhal:
Scatter-Brain: an experiment in distributed problem solving applied to load balancing. 760-766 - Show-Way Yeh, Chuan-lin Wu, Hong-Da Sheng, Chaw-Kwei Hung, Rei-Chi Lee:
Expert system based automatic network fault management system. 767-774 - Taehwan Yoon, José C. Príncipe:
A knowledge-based supervision model for machine tools. 779-780 - Judith A. Markowitz:
Next Steps: Navistar's compensation reserve expert system advisor. 781-782 - Omer Bakkalbasi, Dah-Chuan Gong, Brett A. Peters, Marc Goetschalckx, Leon F. McGinnis:
An integrated engineering workstation for automated guided vehicle systems design. 783-785 - M. W. Du, S. C. Chang, Anita Chow:
A2QDT: a syntax-directed Prolog dialect translator. 786-787 - Ghassan Z. Qadah:
A set-oriented inference mechanism for large data-intensive logic-bases. 788-790
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 00:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
