default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd COMPSAC 1979: Chicago, Illinois, USA
- The IEEE Computer Society's Third International Computer Software and Applications Conference, COMPSAC 1979, 6-8 November, 1979, Chicago, Illinois, USA. IEEE 1979
- Carma L. McClure:
Somare development: a failure and a success. 1-6 - L. D. Lattanzi:
An analysis of the performance of a software development methodology. 7-11 - Horst P. Richter:
Effective computer program development and use. 12-17 - Mark S. Laventhal:
A methodology for the development of reliable synchronization software. 18-23 - William E. Wright:
An AVL algorithm for secondary memory. 24-30 - Beverly A. Dutton, Ching-hua Chen, James R. Driscoll:
A relational dbms conforming to an architecture which incorporates a physical storage language and a physical navigation language. 31-38 - Jo-Mei Chang, King-Sun Fu:
Extended K-D tree database organization: a dynamic multi-attribute clustering method. 39-43 - J. Dennis Lawrence, H. Randall Johnson, James A. Larson:
Language files and'data bases - two I/O systems or one? 44-49 - Steven L. Tanimoto, Philip Harrison:
Task driven image understanding: lisp programming for vision research. 50-54 - Godfried T. Toussaint, Ron S. Foulsen:
Some new algorithms and software implementation methods for pattern recognition research. 55-58 - Godfried T. Toussaint, Ron S. Foulsen:
Some new algorithms and software implementation methods for pattern recognition research part II. software implementation methods. 59-63 - Chi Hau Chen:
Statistical image processing and recognition. 64-68 - Thomas L. C. Chen:
Reflection on the implementation of a software design. 69-73 - R. C. Cheung, W. A. Montgcmery:
Functional multiprocessing in an experimental digital switching office. 74-79 - Jerry B. Pace, Olin G. Johnson:
A microprocessor line concentration system. 80-85 - A. M. Gerrish, D. C. Opferman:
Development of electronic tandem service (ETS) features for the dimension PBX. 86-93 - Ernest S. Kuh:
Single-row routing and extensions. 94 - William R. Heller:
Wirability of logic circuit packages in LSI and VLSI. 95-100 - Tatsuo Ohtsuki, Hajimu Mori, Ernest S. Kuh, Toshinobu Kashiwabara, Toshio Fujisawa:
One-dimensional logic gate assignment and interval graphs. 101-106 - Max L. Wilson:
A semantics-based method for requirements analysis and system design. 107-112 - Alex Paul Conn:
Representation of decisions in a requirements specification language. 113-116 - Pamela Zave:
A comprehensive approach to requirements problems. 117-122 - Daniel Chester:
An approach to abstract specification based on traces. 123-127 - Philip Teplitzky:
An approach for choosing a programming specification methodology. 128-135 - William Lawrence Gewirtz:
The universal relation assumption and decomposition strategies for schema design. 136-140 - Masao Managaki, Kyoji Kawagoe:
A database design system with conceptual model description language. 141-146 - Robert H. Bonczek, M. Gagle, Andrew B. Whinston:
DPLAN-A data base oriented programing ianguage. 147-152 - Matthew Ward, Y. T. Chien:
A pictorial database management system wuich uses histogram classification as a similarity measure. 153-156 - John S. Todhunter, C. C. Li:
Reconstruction and display of three dimensional images from serial cross-sections: geometric theory for data structures and software. 157-160 - Akihiko Miyake:
Mathematical aspects of optimal linear discriminant function. 161-166 - Shuichi Shinmura, Akihiko Miyake:
Optimal linear discriminant functions and their application. 167-172 - James A. Payne, Tomio Kurokawa, Samuel C. Lee:
Error analysis of recursive digital filters implemented with logarithmic number system. 173-178 - Wing R. Huen:
What is difterent about operating systems for telephone switching. 179-186 - C. P. Hunnicutt, S. B. Tsiang:
Software engineering in a real-time control application. 187-192 - David G. Foxall, Marc L. Joliat, Rym F. Kamel, J. J. Miceli:
Protel: a high level language for telephony. 193-197 - K. V. Sastry:
Process mayagement in a paging macmie. 198-204 - William Lawrence Gewirtz, R. A. Medhekar, F. K. Ng, A. L. Robertson, S. M. Salchenberger:
A relational data management system for electronic switching systems. 205-210 - A. Wayne Wymore:
Resolution of system design problems. 211-214 - Robert E. Larson, Lawrence E. Berman, Thomas L. Steding, Gene Hilborn:
Development of a unified approach for system requirements engineering. 215-221 - Doug L. Huebner:
System validation through automated requirements verification. 222-227 - Mario Schkolnick, Paolo Tiberio:
Considerations in developing a design tool for a relational DBMS. 228-235 - Vance E. Waddle, S. Bing Yao, Barron C. Housel:
View modelling and integration using tho functional dependency model. 236-244 - Harry M. Hull, Vishnu B. Jumani, Lawrence J. Peters:
Systems, methodologies and manufacturing: selecting solution approaches. 245-250 - John F. Jarvis:
Visual inspection automation. 251-255 - J. L. Mundy:
Data models for automatic inspection. 256-259 - Larry Krakauer, Theo Pavlidis:
Visual printed wiring board fault detection by a geometrical method. 260-265 - S. F. Heidtman, Wilfred Sewchand:
Applications of computers in radiation treatment planning utilizing CT images. 266-269 - Anthony Chung-Bin, Thomas Wachtor:
Application of computer in dynamic control of linear accelerators for radiation therapy. 270-275 - M. Shaunnessey, Alice O. Martin, Mark S. Rzeszotarski, Cecil W. Thomas, Barry Isenstein:
Status of a computer-aided system for cytogenetic specimen preparation and analysis. 276-281 - D. K. Jefferson:
Analysis of requirements for a large-scale information system. 282 - Edward W. Winters:
An analysis of the capabilities of problem statement language: a language for system requirements and specifications. 283-288 - Alan M. Davis, Thomas J. Miller, Esther Rhode, Bruce J. Taylor:
PLP: an automated tool for the processing of requirements. 289-299 - Roland T. Mittermeir:
Enhanced SA for requirements analysis. 300-305 - C. T. Yu, M. Z. Ozsoyoglu:
An algorithm for tree-query membership of a distributed query. 306-312 - Patrick J. Conley, Ehud Gudes:
Design and implementation of a query command language using transition networks. 313-318 - Rangasami L. Kashyap, R. B. Abhyankar:
Semantics for data retrieval in relational database systems. 319-324 - Ning-San Chang, King-Sun Fu:
Query-by-pictorial-example. 325-330 - Richard J. Mayer:
Unified SDM: the ICAM approach to systems & software development. 331-336 - Reuben S. Jones:
Management of large scale systems integration during the requirements phase. 337-339 - R. Eskenazi, J. M. Wilf:
Low-level processing for real-time image analysis. 340-343 - W. A. Perkins:
Computer vision classification of automotive control arm bushings. 344-349 - William H. Anderson, C. H. J. Chang, Mark A. Tarlton, Steven L. Fritz, Samuel J. Dwyer III:
An interactive computer graphics system for the computed tomographic breast scanner (CT/M). 350-354 - H. K. Huang, Peter Weiss, Harold H. Kraft, Brian Heidtman:
CTIP - an on-line CT image processing software package. 355-361 - Chin-Hwa Lee:
Orthogonal cut view generation for CT scanned data. 362-366 - Minoru Harada, Tosiyasu L. Kunii:
A design process formalization. 367-373 - Newman A. Vosbury:
The process design system (PDS). 374-379 - James P. Romanos:
The software design processor. 380-383 - H. Barina, W. Cobey, Joel L. Rosenbaum, Stephen L. White:
Automated software design. 384-391 - William T. Mao, Raymond T. Yeh:
An illustration of systematic design of parallel programs for real-time applications. 392-397 - Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima:
Semantic aspects of data dependencies and their application to relational database design. 398-403 - Raymond Fadous:
Decomposition of a relation into fourth normal forms. 404-408 - Chung Le Viet, Yahiko Kambayashi, Katsumi Tanaka, Shuzo Yajima:
Use of abstracted characteristics of data in relational databases. 409-414 - C. Robert Carlson, Adarsh K. Arora:
The updatability of relational views based on functional dependencies. 415-420 - Sreekaanth S. Isloor, T. Anthony Marsland:
System recovery in distributed databases. 421-426 - Priscilla M. Lu:
A system for resource-sharing in a distributed environment - RIDE. 427-433 - Thomas W. Christopher:
The operating system for technec. 434-435 - Martha W. Evens:
Compilers for distributed systems. 436-441 - Carl F. Ruoff:
Teach - a concurrent robot control language. 442-444 - John J. Craig, Marc H. Raibert:
A systematic method of hybrid position/force control of a manipulator. 446-451 - Kunikatsu Takase, Richard P. Paul, Eilert J. Berg:
A structured approach t robot programmtmg and teaching. 452-457 - J. Y. S. Luh, C. S. Lin:
Multiprocessor-controllers for mechanical manipulators. 458-463 - Julius T. Tou, Robert W. DePree, William M. Ferng:
Computer software for interpreting lung tissue micrographs. 464-469 - Judith M. S. Prewitt:
Canonical representations for tissues and textures. 470-475 - Judith M. S. Prewitt:
Intelligent microscopes: a scientific poem. 477-487 - Chun-liang Chen:
Synthesis of diagnosable weighted computer system. 488-493 - Kuo-Chung Tai:
On program testing criteria. 494-499 - Kazu Okumoto, Amrit L. Goel:
Optimum release time for software systems. 500-503 - Robert J. Schalkoff, Eugene S. McVey:
Algorithm development for real-time automatic video tracking systems. 504-511 - Josyula Ramachandra Rao, W. F. Winters, L. D. Schmidt:
Performance evaluation of a test distributed graphics system. 512-518 - Daniel Thalmann, Nadia Magnenat-Thalmann:
Design and implementation of abstract graphical data types. 519-524 - B. S. Lin, Shi-Kuo Chang:
Picture algebra for interface with pictorial database systems. 525-530 - K. K. Singh, S. K. Chang, C. C. Yang:
A heuristic method for ceneralized hypercube encoding. 531-534 - Stephen W. Smoliar, Joe E. Scalf:
A framework for distributed data processing requirements. 535-541 - Haruki Kanai:
Total energy management in a factory through distributed processing. 542-546 - Misato Nio, Hideo Kataoka, Toshio Ochi:
Distributed processing terminal system for CAD/CAM. 547-552 - Charles A. Batterman:
A distributed facilities management system. 553-558 - JoAnn D. Haberman, James E. Goin, Tom J. Love, Ferdinand R. Ohnsorg, Henry Berry:
Computer techniques ln breast cancer detection by absolute temperature thermography. 559-564 - Dana H. Ballard, Uri Shani, Robert B. Schudy:
Anatomical models for medical images. 565-570 - Peter G. Selfridge, Judith M. S. Prewitt, Charles R. Dyer, Sanjay Ranade:
Segmentation algorithms for abdominal computerized tomography scans. 571-577 - Sukho Lee, Raymond T. Yeh:
Structural locking for concurrency control in data base systems. 578-582 - Daniel A. Menasca:
Selective reloading of very large databases. 583-587 - Dushan Z. Badal:
Correctness of concurrency control and implications in distributed databases. 588-593 - P. Y. Chin, C. Ozsoyoglu:
Security is partitioned dynamic stastical databases. 594-600 - Tohru Kikuno, Noriyoshi Yoshida, Hiromi Kusumoto:
A fast selective traversal algorithm for binary search trees. 601-605 - Stephen S. Yau, John L. Ramey:
Assertion techniques for dynamic monitoring of linear list data structures. 606-611 - Thomas J. Pedersen:
Software generation tools for bank switched memory. 612-617 - Scott G. Abbey, Joseph Geller, Anthony D'Errico:
Development and optimization of a text compression/decompression algorithm. 618-623 - R. Neil Faiman Jr., Alan A. Kortesoja:
An optimizing Pascal compiler. 624-628 - Louise Hay, Richard Larson:
ZLISP: A lisp for a Micro-computer. 629-630 - Wilhelm F. Bürger:
A parser generation tool for micro-computers. 631-634 - Nathaniel M. Alpert, H. William Strauss, Gerald M. Pohost, Joel Lazewatsky, Edward Tarolli, Richard H. Moore:
The impact of computers on nuclear cardiology. 635-640 - William G. Wee, H. M. Lee:
Efficient algorithms applied to radioisotope density reconstruction. 641-646 - Earl E. Cose, William H. Rose, W. Earl Barnes, Ervin Kaplan, James S. Arnold:
Nuclear image sequence decomposition. 647-653 - W. Earl Barnes, James S. Arnold, N. Khedkar, Thomas Milo, Earl E. Cose:
Computer analysis of radionuclide hepatobiliary studies. 654-659 - Thomas B. Stibolt Jr.:
Functional mapping in the evaluation of renal scintigraphic studies. 660-665 - Donald J. Reifer:
Implementing a software management discipline. 666 - Belkis Leong-Hong, Alexander R. DeVito, Ronald H. Rolland, Albert W. Earle, Anthony J. Winkler:
Roles of the data dictionary system. 667 - Gerrit E. DeYoung, Garry R. Kampen:
Program factors as predictors of program readability. 668-673 - Stephen S. Yau, James S. Collofello:
Some stability measures for software maintenance. 674-679 - Edward H. Bersoff, Vilas D. Henderson, Stanley G. Siegel:
Attaining software product integrity. 680-687 - Jean-Louis Lassez, Dirk van der Knijff:
Evaluation of length and level for simple program schemes. 688-694 - Albert L. Baker, Stuart H. Zweben:
A comparison of measures of control flow complexity. 695-701 - Stuart H. Zweben, Kin-Chee Fung:
Exploring software science relations in cobol and api. 702-707 - Victor B. Schneider:
New data supporting the software project costing formulas. 708-711 - Stanley R. Sternberg:
Parallel architectures for image processing. 712-717 - Kendall Preston Jr.:
Languages for biomedical image processing. 718-723 - Frederic I. Parke:
Computer graphic models for the human face. 724-727 - Hubert E. Dunsmore:
Some practical considerations for management information systems. 728-731 - Alejandro P. Buchmann, Tosiyasu L. Kunii:
Evolutionary drawing formalization in an engineering database environment. 732-737 - Kuo Young Cheng:
Ant interactive design system for engineering drawings. 738-743 - Giacomo Terrevoli:
Treatment of syntactic errors in an atlas translator. 744-747 - Michael E. Tarter:
On statistical computer programs and literary criticism. 748-750 - Nobuo Ohbo, Kazuya Shimizu, Tosiyasu L. Kunii:
A graph-theoretical approach to region detection. 751-756 - Gary S. Goldman
:
A heuristic algorithm for intersection cleanup-implemented in IGL. 757-762 - Richard E. Fairley:
Software development tools. 763 - M. J. Lee, R. L. Ernst:
A methodological approach to analysis and evaluation of decision systems. 764-769 - Reginald Meeson, Arthur B. Pyster:
An experimental evaluation of data abstraction. 770-775 - Stephen D. Shapiro:
Application of pattern recognition techniques to fault tolerant software systems. 776-782 - Vincent Y. Shen:
The relationship between student grades and software science parameters. 783-787 - Ed Arthurs, Bart W. Stuck:
A performance analysis of single versus multiple processors. 788 - C. Retuadhas:
Execution time behavior of certain high level language constructs on a feedback data flow architecture. 789-793 - Raymond E. Miller, Takumi Kasai:
Comparing models of parallel computation by homomorphisms. 794-799 - C. V. Ramamoorthy, Gary S. Ho:
Performance evaluation of concurrent asynchronous systems using petri nets. 800 - Klaus Voss:
Using predicate/transition-nets to model and analyze distributed database systems. 801-806 - Tadao Murata:
Synthesis of marked graph computation models for prescribed resources and performance. 807-812 - Yahiko Kambayashi, Narao Nakatsu, Shuzo Yajima:
Hierarchical string pattern matching using dynamic pattern matching machines. 813-818 - Philip S. Liu, Tzay Y. Young:
Two-stage data file compression. 819-822 - E. E. Wallingford, J. C. Culpepper:
Two n-point fast walsh transform sorting algorithms. 824-827 - Albert D. Edgar, Samuel C. Lee:
Focus software. 828-831 - S. T. Bow:
Morphological analysis of simplified chinese ideographs and a heuristic approach for their machine recognition. 832-836 - Alexander Kran:
A shining computer simulation project affirms: the outlook for solar cell power is bright. 837-842 - Norman F. Schneidewind:
Case study of software complexity and error detection simulation. 843-848 - Loretta Reiss, David B. Cooper:
The ripple filter: an algorithm for region growing in scene agalysis. 849-853 - Ralph E. Warmack, Rafael C. González:
Linear discriminant functions for minimum-error pattern recognition: a direct approach. 854-859 - Martin A. Belsky:
The technology of system management. 860-866 - David C. Wolfe Jr., Robert L. Byer:
Air pollution monitoring by computed tomography. 867-870 - Robert C. Bolles:
Part acquisition using the SRI vision module. 872-877 - Bruce E. Shimano:
VAL: a versatile robot programming and control system. 878-883 - Oleh J. Tretiak:
A ppavethric model for edge detection. 884-887
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-06-02 01:36 CEST 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:
