compsac 1979
Edit3rd Annual International Computer Software and Applications Conference (COMPSAC 1979)
- 장소·일정: Chicago, Illinois, USA, Nov 6–8, 1979
- 논문: 159편 (IEEE Xplore 152편, 무료 사본 1편)
Software Development Methodology
- Software Development: A Failure and a Success — C. L. McClure
- An Analysis of the Performance of a Software Development Methodology — L. D. Lattanzi
- Effective Computer Program Development and Use — H. P. Richter
- A Methodology for the Development of Reliable Synchronization Software — M. S. Laventhal
Storage Structure and File Design
- An AVL Algorithm for Secondary Memory — W. E. Wright
- A Relational DBMS Conforming to an Architecture Which Incorporates a Physical Storage Language and a Physical Navigation Language — B. A. Dutton, C.-H. Chen and J. R. Driscoll
- Extended K-D Tree Database Organization: A Dynamic Multi-Attribute Clustering Method — J. M. Chang and K. S. Fu
- Language Files and Data Bases - Two I/O Systems or One? — J. D. Lawrence, H. R. Johnson and J. A. Larson
Pattern Recognition Software, I
- Task Driven Image Understanding: LISP Programming for Vision Research — S. L. Tanimoto and P. Harrison
- Some New Algorithms and Software Implementation Methods for Pattern Recognition Research — G. T. Toussaint and R. S. Poulsen
- Some New Algorithms and Software Implementation Methods for Pattern Recognition Research Part II: Software Implementation Methods — G. T. Toussaint and R. S. Poulsen
- Statistical Image Processing and Recognition — C. H. Chen
Telecommunications Software, I
- Reflection on the Implementation of a Software Design — T. L. C. Chen
- Functional Multiprocessing in an Experimental Digital Switching Office — R. C. Cheung and W. A. Montgomery
- A Microprocessor Line Concentration System — J. B. Pace and O. G. Johnson
- Development of Electronic Tandem Service (ETS) Features for the DIMENSION® PBX — A. M. Gerrish and D. C. Opferman
Computer Aided Circuit Layout Design
- Single-Row Routing and Extensions — E. S. Kuh
- Wirability of Logic Circuit Packages in LSI and VLSI — W. R. Heller
- One-Dimensional Logic Gate Assignment and Interval Graphs — T. Ohtsuki, H. Mori, E. S. Kuh, T. Kashiwabara and T. Fujisawa
Software Requirements and Specifications
- A Semantics-Based Method for Requirements Analysis and System Design — M. L. Wilson
- Representation of Decisions in a Requirements Specification Language — A. P. Conn
- A Comprehensive Approach to Requirements Problems — P. Zave
- An Approach to Abstract Specification Based on Traces — D. Chester
- An Approach for Choosing a Programming Specification Methodology — P. Teplitzky
Schema and View Design
- The Universal Relation Assumption and Decomposition Strategies for Schema Design — W. L. Gewirtz
- A Database Design System with Conceptual Model Description Language — M. Managaki and K. Kawagoe
- DPLAN - A Data Base Oriented Programming Language — R. Bonczek, M. Gagle and A. Whinston
- A Pictorial Database Management System Which Uses Histogram Classification As a Similarity Measure — M. Ward and Y. T. Chien
- Reconstruction and Display of Three Dimensional Images from Serial Cross-Sections: Geometric Theory for Data Structures and Software — J. S. Todhunter and C. C. Li
Pattern Recognition Software, II
- Mathematical Aspects of Optimal Linear Discriminant Function — A. Miyake
- Linear Discriminant Functions for Minimum-Error Pattern Recognition: A Direct Approach — R. E. Warmack and R. C. Gonzalez
- Optimal Linear Discriminant Functions and Their Application — S. Shinmura and A. Miyake
- Error Analysis of Recursive Digital Filters Implemented with Logarithmic Number System — J. A. Payne, T. Kurokawa and S. C. Lee
Telecommunications Software, II
- What Is Different About Operating Systems for Telephone Switching — W. R. Huen
- Software Engineering in a Real-Time Control Application — C. F. Hunnicutt and S. H. Tsiang
- PROTEL: A High Level Language for Telephony — D. G. Foxall, M. L. Joliat, R. F. Kamel and J. J. Miceli
- Process Management in a Paging Machine — K. V. Sastry
- A Relational Data Management System for Electronic Switching Systems — W. L. Gewirtz, R. A. Medhekar, F. K. Ng, A. L. Robertson and S. M. Salchenberger
Software Requirements, I
- Resolution of System Design Problems — A. W. Wymore
- Development of a Unified Approach for System Requirements Engineering — R. E. Larson, L. E. Berman, T. L. Steding and G. Hilborn
- System Validation through Automated Requirements Verification — D. L. Huebner
Data Base Design (Software) Tools
- Considerations in Developing a Design Tool for a Relational DBMS — M. Schkolnick and P. Tiberio
- View Modelling and Integration Using The Functional Dependency Model — V. Waddle, S. B. Yao and B. C. Housel
Evolution of Software Engineering Tools Into the Manufacturing of Production Systems
- Systems, Methodologies and Manufacturing: Selecting Solution Approaches — H. M. Hull, V. B. Jumani and L. J. Peters
Automatic Visual Inspection
- Visual Inspection Automation — J. F. Jarvis · Scholar 검색
- Data Models for Automatic Inspection — J. L. Mundy
- Visual Printed Wiring Board Fault Detection by a Geometrical Method — L. Krakauer and T. Pavlidis
Computer-Based Diagnostic and Therapeutic Systems
- Applications of Computers in Radiation Treatment Planning Utilizing CT Images — B. F. Heidtman and W. Sewchand
- Application of Computer in Dynamic Control of Linear Accelerators for Radiation Therapy — A. Chung-Bin and T. Wachtor
- Status of a Computer-Aided System for Cytogenetic Specimen Preparation and Analysis — M. Shaunnessey, A. O. Martin, M. Rzeszotarski, C. W. Thomas and B. Isenstein
Software Requirements, II
- Analysis of Requirements for a Large-Scale Information System — D. K. Jefferson
- An Analysis of the Capabilities of Problem Statement Language: A Language for System Requirements and Specifications — E. W. Winters
- RLP: An Automated Tool for the Processing of Requirements — A. M. Davis, T. J. Miller, E. Rhode and B. J. Taylor
- Enhanced SA for Requirements Analysis — R. T. Mittermeir
Query Description and Processing
- An Algorithm for Tree-Query Membership of a Distributed Query — C. T. Yu and M. Z. Ozsoyoglu
- Design and Implementation of a Query Command Language Using Transition Networks — P. J. Conley and E. Gudes
- Semantics for Data Retrieval in Relational Database Systems — R. L. Kashyap and R. B. Abhyankar
- Query-by-Pictorial-Example — N. S. Chang and K. S. Fu
Manufacturing Systems and Software Development Methodology
- Unified SDM: The ICAM Approach to Systems & Software Development — R. J. Mayer
- Management of Large Scale Systems Integration During the Requirements Phase — R. S. Jones
Robot Vision Systems
- Part Acquisition Using the SRI Vision Module — R. C. Bolles
- Low-Level Processing for Real-Time Image Analysis — R. Eskenazi and J. M. Wilf · 무료 사본 · ntrs.nasa.gov
- Computer Vision Classification of Automotive Control Arm Bushings — W. A. Perkins
Biomedical Image Processing I: Computerized Tomography
- An Interactive Computer Graphics System for the Computed Tomographic Breast Scanner (CT/M) — W. H. Anderson, C. H. J. Chang, M. A. Tarlton, S. L. Fritz and S. J. Dwyer
- CTIP - An On-Line CT Image Processing Software Package — H. K. Huang, P. Weiss, H. H. Kraft and B. Heidtman
- Orthogonal Cut View Generation for CT Scanned Data — C.-H. Lee
Software Design
- A Design Process Formalization — M. Harada and T. L. Kunii
- The Process Design System (PDS) — N. A. Vosbury
- The Software Design Processor — J. P. Romanos
- Automated Software Design — H. Barina, W. Cobey, J. Rosenbaum and S. White
- An Illustration of Systematic Design of Parallel Programs for Real-Time Applications — W. T. Mao and R. T. Yeh
Functional Data Dependencies
- Semantic Aspects of Data Dependencies and Their Application to Relational Database Design — Y. Kambayashi, K. Tanaka and S. Yajima
- Decomposition of a Relation Into Fourth Normal Forms — R. Y. Fadous
- Use of Abstracted Characteristics of Data in Relational Databases — C. Le Viet, Y. Kambayashi, K. Tanaka and S. Yajima
- The Updatability of Relational Views Based on Functional Dependencies — C. R. Carlson and A. K. Arora
Distributed Processing Systems, I
- System Recovery in Distributed Databases — S. S. Isloor and T. A. Marsland
- A System for Resource-Sharing in a Distributed Environment - RIDE — P. M. Lu
- The Operating System for TECHNEC — T. W. Christopher
- Compilers for Distributed Systems — M. W. Evens
Robot Manipulator Control Languages and Systems
- TEACH - A Concurrent Robot Control Language — C. F. Ruoff
- A Systematic Method of Hybrid Position/Force Control of a Manipulator — J. J. Craig and M. H. Raibert
- VAL: A Versatile Robot Programming and Control System — B. Shimano
- A Structured Approach To Robot Programming and Teaching — K. Takase, R. P. Paul and E. J. Berg · Scholar 검색
- Multiprocessor-Controllers for Mechanical Manipulators — J. Y. S. Luh and C. S. Lin
Biomedical Image Processing II: Microscopy
- Computer Software for Interpreting Lung Tissue Micrographs — J. T. Tou, R. W. DePree and W. M. Ferng
- Canonical Representations for Tissues and Textures — J. M. S. Prewitt
- Intelligent Microscopes: A Scientific Poem — J. M. S. Prewitt
Software Testing
- Synthesis of Diagnosable Weighted Computer System — C.-L. Chen
- On Program Testing Criteria — K.-C. Tai
- Optimum Release Time for Software Systems — K. Okumoto and A. L. Goel
Computer Graphics and Picture Data Base
- Algorithm Development for Real-Time Automatic Video Tracking Systems — R. J. Schalkoff and E. S. McVey
- Performance Evaluation of a Test Distributed Graphics System — J. R. Rao, W. F. Winters and L. D. Schmidt
- Design and Implementation of Abstract Graphical Data Types — D. Thalmann and N. Magnenat-Thalmann
- Picture Algebra for Interface with Pictorial Database Systems — B. S. Lin and S. K. Chang
- A Heuristic Method for Generalized Hypercube Encoding — K. K. Singh, S. K. Chang and C. C. Yang
Distributed Processing Systems, II
- A Framework for Distributed Data Processing Requirements — S. W. Smoliar and J. E. Scalf
- Total Energy Management in a Factory through Distributed Processing — H. Kanai
- Distributed Processing Terminal System for CAD/CAM — M. Nio, H. Kataoka and T. Ochi
- A Distributed Facilities Management System — C. A. Batterman
Biomedical Image Processing III: Radiology
- Computer Techniques in Breast Cancer Detection by Absolute Temperature Thermography — J. D. Haberman, J. E. Goin, T. J. Love, F. R. Ohnsorg and H. Berry
- Anatomical Models for Medical Images — D. H. Ballard, U. Shani and R. B. Schudy
- Segmentation Algorithms for Abdominal Computerized Tomography Scans — P. G. Selfridge, J. M. S. Prewitt, C. R. Dyer and S. Ranade
Data Base Management
- Structural Locking for Concurrency Control in Data Base Systems — R. T. Yeh
- Selective Reloading of Very Large Databases — D. A. Menascé
- Correctness of Concurrency Control and Implications in Distributed Databases — D. Z. Badal
- Security in Partitioned Dynamic Stastical Databases — F. Y. Chin and G. Ozsoyoglu
Special Software Techniques
- A Fast Selective Traversal Algorithm for Binary Search Trees — T. Kikuno, N. Yoshida and H. Kusumoto
- Assertion Techniques for Dynamic Monitoring of Linear List Data Structures — S. S. Yau and J. L. Ramey
- Software Generation Tools for Bank Switched Memory — T. J. Pedersen
- Development and Optimization of a Text Compression/Decompression Algorithm — S. G. Abbey, J. Geller and A. D'Errico
Microcomputer Software
- An Optimizing PASCAL Compiler — R. N. Faiman and A. A. Kortesoja
- ZLISP: A LISP for a Micro-Computer — L. Hay and R. Larson
- A Parser Generation Tool for Micro-Computers — W. F. Burger
Biomedical Image Processing IV: Nuclear Medicine
- The Impact of Computers on Nuclear Cardiology — N. M. Alpert, H. W. Strauss, G. M. Pohost, J. Lazewatsky, E. Tarolli and R. H. Moore
- Efficient Algorithms Applied to Radioisotope Density Reconstruction — W. G. Wee and H. M. Lee
- Nuclear Image Sequence Decomposition — E. E. Gose, W. H. Rose, W. E. Barnes, E. Kaplan and J. S. Arnold
- Computer Analysis of Radionuclide Hepatobiliary Studies — W. E. Barnes, J. S. Arnold, N. Khedkar, T. Milo and E. E. Gose
- Functional Mapping in the Evaluation of Renal Scintigraphic Studies — T. B. Stibolt
Implementing a Software Management Discipline
- Implementing a Software Management Discipline — D. J. Reifer
Roles of the Data Dictionary System
- Roles of the Data Dictionary System — B. Leong-Hong, A. R. DeVito, R. H. Rolland, A. W. Earle and A. J. Winkler
Software Quality
- Program Factors As Predictors of Program Readability — G. E. DeYoung and G. R. Kampen
- Some Stability Measures for Software Maintenance — S. S. Yau and J. S. Collofello · Scholar 검색
- Attaining Software Product Integrity — E. Bersoff, V. Henderson and S. Siegel
Software Science Application
- Evaluation of Length and Level for Simple Program Schemes — J.-L. Lassez and D. van der Knijff
- A Comparison of Measures of Control Flow Complexity — A. L. Baker and S. H. Zweben
- Exploring Software Science Relations in COBOL and APL — S. H. Zweben and K.-C. Fung
- New Data Supporting the Software Project Costing Formulas — V. B. Schneider
Biomedical Image Processing V: New Advances
- Parallel Architectures for Image Processing — S. R. Sternberg · Scholar 검색
- Languages for Biomedical Image Processing — K. Preston
- Computer Graphic Models for the Human Face — F. I. Parke
- Air Pollution Monitoring by Computed Tomography — D. C. Wolfe and R. L. Byer
Some Aspects of System Management
- Some Practical Considerations for Management Information Systems — H. E. Dunsmore
- The Technology of System Management — M. A. Belsky
Special Topics in Computer Software I
- Evolutionary Drawing Formalization in an Engineering Database Environment — A. P. Buchmann and T. L. Kunii
- An Interactive Design System for Engineering Drawings — K. Y. Cheng · Scholar 검색
- Treatment of Syntactic Errors in an Atlas Translator — G. Terrevoli
Scientific and Statistical Computing, 1979
- On Statistical Computer Programs and Literary Criticism — M. E. Tarter
Image Processing I
- A Graph-Theoretical Approach to Region Detection — N. Ohbo, K. Shimizu and T. L. Kunii
- A Heuristic Algorithm for Intersection Cleanup--Implemented in IGL — G. S. Goldman
- A Parametric Model for Edge Detection — O. J. Tretiak
- The Ripple Filter: An Algorithm for Region Growing in Scene Analysis — L. Reiss and D. B. Cooper
Software Development Tools
- Software Development Tools — R. E. Fairley · Scholar 검색
Human Factors and Software Design
- A Methodological Approach to Analysis and Evaluation of Decision Systems — M. J. Lee and R. L. Ernst
Special Topics in Computer Software II
- An Experimental Evaluation of Data Abstraction — R. N. Meeson and A. Pyster
- Application of Pattern Recognition Techniques to Fault Tolerant Software Systems — S. D. Shapiro
- The Relationship Between Student Grades and Software Science Parameters — V. Y. Shen
- A Performance Analysis of Single Versus Multiple Processors — E. Arthurs and B. W. Stuck
- Execution Time Behavior of Certain High Level Language Constructs on a Feedback Data Flow Architecture — C. Retnadhas
Petri Nets and Other Computation Models
- Comparing Models of Parallel Computation by Homomorphisms — R. E. Miller and T. Kasai
- Performance Evaluation of Concurrent Asynchronous Systems Using Petri Nets — C. V. Ramamoorthy and G. S. Ho
- Using Predicate/Transition-Nets to Model and Analyze Distributed Database Systems — K. Voss · Scholar 검색
- Synthesis of Marked Graph Computation Models for Prescribed Resources and Performance — T. Murata
Image Processing II
- Hierarchical String Pattern Matching Using Dynamic Pattern Matching Machines — Y. Kambayashi, N. Nakatsu and S. Yajima
- Two-Stage Data File Compression — P. S. Liu and T. Y. Young
- Two N-Point Fast Walsh Transform Sorting Algorithms — E. E. Wallingford and J. C. Culpepper
- Focus Software — A. D. Edgar and S. C. Lee
- Morphological Analysis of Simplified Chinese Ideographs and a Heuristic Approach for Their Machine Recognition — S. T. Bow