COMPSAC B

147 papers

YearTitle / Authors
1978"ASTMS and the computing industry".
Barry A. Wyld
1978A Microprocessor Operating System for Real-Time Applications.
D. A. Anderson
1978A case study in real-time distributed processing design.
Frank Stepczyk
1978A data base machine design and evaluation facility.
Raymond A. Liuzzi, P. Bruce Berra
1978A decomposition of the complexity of system development processes.
Donald R. Fitzwater
1978A distributed multiprocessor traffic control system.
Hon Fung Li, C. C. Lau
1978A facility for verification, testing and documentation of concurrent process software.
Richard N. Taylor, Leon J. Osterweil
1978A formal approach to the desin and implementation of network communication protocol.
Albert Y. Teng, Ming T. Liu
1978A four-project empirical study of software error prediction models.
Alan N. Sukert
1978A general purpose microcode assembler.
J. T. Beckett, S. W. Ng
1978A generalized implementation method for relational data sublanguages.
Leland L. Beck
1978A keynote address on concurrent programing.
Per Brinch Hansen
1978A management approach to total computer productivity at Goddard Space Flight Center.
Evmenios P. Damon
1978A management methodology for testing software requirements.
K. W. Krause, L. W. Diamant
1978A method for maintaining routing data in automated record keeping systems.
Dorothy E. Denning
1978A multi-level approach to data base design.
Raymond T. Yeh, Philip Chang, C. Mohan
1978A nearest neighbor search technique with short zero-in time.
C. W. Shen, Richard C. T. Lee
1978A nontrivial example of concurrent processing: Distributed simulation.
K. Mani Chandy, Jayadev Misra
1978A practical text search system for unindexed data.
Victor Mayper, L. S. Michels, Alex L. Nagy
1978A programmable system for software configuration management.
D. Johnson, C. Kolberg, J. Sinnamon
1978A relational view of a software design model.
Terry G. Glagowski, John R. White
1978A scheme for tolerating faulty data in real-time systems.
John G. Yee, Stephen Y. H. Su
1978A software engineering approach to data base systems.
Herbert Weber
1978A survey and methodology of reconfigurable multi-module systems.
F. Saheban, Arthur D. Friedman
1978A survey of communication processor systems.
Dharma P. Agrawal, Tse-Yun Feng, Chuan-lin Wu
1978A system for analysis and verification of software design.
Linda S. Hammond, Daniel L. Murphy, Mark K. Smith
1978A system for labor negotiations.
Yonah Wilamowsky, Moshe Shurin, Aaron M. Tenenbaum, George Weinberger
1978A user-oriented software reliability model.
Roger C. Cheung
1978ASSET: A Lifecycle Verification and Visibility System.
Leon J. Osterweil, John R. Brown, Leon G. Stucki
1978An analytical approach to software testing.
Michael R. Paige
1978An approach to peal-time control flow checking.
Stephen S. Yau, Fu-Chung Chen, K. H. Yau
1978An approach to software testing: methodology and tools.
Roger R. Bate, George T. Ligler
1978An architecture for evolutionary database system design.
Tosiyasu L. Kunii, James C. Browne, Hideko S. Kunii
1978An automated data collection system for the study of software reliability.
Donald E. Wright, Bill D. Carroll
1978An effective "on-line" deadlock detection technique for distributed data base management systems.
Sreekaanth S. Isloor, T. Anthony Marsland
1978An external debugging system for weapon system programs written in a higher level language.
Jack A. Gaines Jr.
1978Analysis of software design modeled by multiple finite state machines.
Tsun S. Chow
1978Applications of superimposed coding to partial-match retrieval.
John D. Gabbe, T. B. London, R. E. Miller, J. D. Beyer
1978Availability and other performance measures of software systems under imperfect maintenance.
Kazu Okumoto, Amrit L. Goel
1978Best-match querying in general database systems-a language approach.
Chung-Shu Yang, Gerard Salton
1978Business graphics: Making computers work for management.
Thomas H. Bruggere
1978CLIO - A relational data base management system.
P. S. Para
1978Closing the software gap for interactive mini/microcomputation: Direct execution of microprogrammed block-diagram primitives.
Granino A. Korn
1978Communication issues in parallel algorithms and systems.
Tilak Agerwala, Bernard Lint
1978Complementary approach to the effective software development environment.
Yoshiro Nakamura, Ryuzo Miyahara, Hideshi Takeuchi
1978Computer aided automatic digitizing of engineering drawings.
William Pferd, K. Ramachandran
1978Computer communication techniques.
Kenneth J. Thurber
1978Computer program development analysis.
S. Austin, D. MacCrone, J. Patrick Ryan
1978Computer-assisted data communications engineering instruction.
N. W. Styer, Jon G. Bredeson
1978Computer-based intelligent information system.
Julius T. Tou
1978Computerized control and protection of electric power distribution system.
Arthur C. M. Chen
1978Computers and society: Report of a workshop.
Richard H. Austing, Gerald L. Engel
1978Continuing education in microprocessors: Use of software simulators.
Ranga Vemuri, J. V. Cornacchio
1978Data independent hierarchies.
Robert G. Kayel
1978Data sharing protocols: structure, requirements and interrelationships.
Stephen R. Kimbleton
1978Data structures, types and abstractions.
K. S. Shankar
1978Decentralized executive control in distributed computer systems.
William Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain
1978Design and Formal Specification of an X.25 Packet Level Protocol Implementation.
Sigram Schindler, Jochen Didier, Michael Steinacker
1978Design and Implementation of the 'S' System for Interactive Data Analysis.
Richard A. Becker, John M. Chambers
1978Design of a distributed Entity-Relationship database system.
Y. Edmund Lien, John H. Ying
1978Design rules for producing logically complete two-process interactions and communications protocols.
Pitro Zafiropulo
1978Developing a Standard for Software Quality Assurance Plans.
Fletcher J. Buckley
1978Directions for memory hierarchies and their components: Research and development.
Alan Jay Smith
1978Distributed data processing design evaluation through emulation.
H. Fitzgibbon, Bill P. Buckles, Joe E. Scalf
1978Distributed data processing requirements engineering: high level DDP design.
David F. Palmer, W. Michael Denny
1978Distributed data processing system design - A look at the partitioning problem.
James T. Lawson, Michael P. Mariani
1978Dynamic validation of programs using assertion checking facilities.
Wen-Tsuen Chen, Jone-Ping Ho, Chia-Hsien Wen
1978EPLX: A High Level Language for Electronic Switching Systems.
Stephen G. Chappell, Newman Guttman, Warren H. Jessop, Terry L. Shockey
1978Example of a formal flow violation.
Jonathan K. Millen
1978Example of an early sizing, cost and schedule estimate for an application software system.
Lawrence H. Putnam
1978Experience utilizing components of the software development system.
Peter C. Belford
1978Experience with the DATATRAN System.
Harold J. Kopp
1978FORTRAN subroutine initialization and communication in a two processor environment.
Tim Pettibone
1978Functional program testing.
William E. Howden
1978Hardware vs. software design tradeoffs for maintenance functions in high-reliability real time systems.
Frank M. Goetz, D. C. Plisch
1978Hardware/Software trade-offs: Hardware Design Viewpoint.
Kenneth J. Thurber, Donald R. Anderson
1978How changing technology should effect computer science and engineering education.
Jack D. Grimes
1978Impact of changing memory technology on computer education.
Arthur V. Pohm
1978Information system for steel distridbution in India: DDP as an appropriate technology.
J. G. Krishnayya, N. Viswanathan
1978Interprocedure structure.
Yaohan Chu
1978JAVS: A Jovial Automated Verification System.
Carolyn Gannon
1978Kernel primitives of the HXDP executive.
William Earl Boebert, William R. Franta, E. Douglas Jensen, Richard Y. Kain
1978Life Cycle Management Concepts for Air Force Computer Resources.
Cecil E. Martin, Ralph F. O'Bleness
1978Life cycle support of navy airborne antisubmarine warfare tactical software.
William R. Bogdan
1978Limits to program testing with random number inputs.
Paul B. Moranda
1978Management Prediction - Can Software Science Help?
Maurice H. Halstead
1978Management planning for large software projects.
Clement L. McGowan
1978Managing large scale software development with an automated change control system.
H. A. Bauer, R. H. Birchall
1978Managing software development - requirements to delivery.
J. B. Synnott
1978Modular design of minicomputer applications.
J. W. Tippie
1978Near optimal behaviour of the packet switching broadcast channel.
Banh Tri An, Erol Gelenbe
1978Obtaining data base management system independence.
Dale O. Knudson
1978On some parallel programming techniques.
G. Jack Lipovski
1978Operating system security a tutorial of current research.
David K. Hsiao, Douglas S. Kerr, Stuart E. Madnick
1978Process Construction - An Overview.
Lawrence R. Marker
1978Process control languages - designer's perspective of adequacy and future requirements.
I. L. Shaw, W. A. Edblad, A. M. Pavlovic
1978Program testing - An overview for managers.
Edward F. Miller Jr.
1978Programs in software engineering education.
David C. Rine, George Davida
1978RADC software development specification.
Michael Landes
1978REDAS - A relational data access system for real-time applications.
James R. McSkimin
1978Realization considerations for dynamic performance analysis in automated software design.
Cheryl A. Wiecek, Taylor L. Booth
1978Realtime programming language PEARL - Concept and characteristics.
Tomas Mirtin
1978Recent developments in data base and information retrieval hardware architectures.
P. Bruce Berra
1978Recent progress in secure computation.
Richard A. DeMillo, David P. Dobkin
1978Reconfiguration stategies for the SIFT fault-tolerant computer.
Charles B. Weinstock, Milton W. Green
1978Reliability in terms of predictability.
Margaret H. Hamilton, Saydean Zeldin
1978Restructuring the Navy Tactical Data System.
G. S. Garmon
1978Ripple effect analysis of software maintenance.
Stephen S. Yau, James S. Collofello, T. MacGregor
1978SAMM: A modeling tool for requirements and design specification.
S. S. Lamb, V. G. Leck, L. J. Peters, G. L. Smith
1978SPS: A Software Production System for mini-computers and micro-computers.
Y. Matsumoto, S. Nakajima, S. Yamamoto, T. Sakai
1978Safety evaluation of computer hardware and software.
R. Konakovsky
1978Security and Privacy.
George I. Davida, David L. Wells, John B. Kam
1978Security aspects of higher order software.
Steven Cushing
1978Short COBOL a practical tool to reduce tedious programming procedures.
Kyojiro Shizuka, Satoshi Sakashita
1978Simulation of relativistic electron beams on an AP-120B.
B. N. Moore, R. Penumalli
1978Small business applications for microcomputers.
Alan Schlukbier
1978Software Requirements Engineering Methodology (SREM) at the age of two.
Mack W. Alford
1978Software control and program design issues for alterable architectures.
Jean-Loup Baer
1978Software development for microprocessors - A case study.
F. A. Salomon
1978Software engineering of the micro/mini computer subnet in computer networks.
Norman F. Schneidewind
1978Software evolution using the SEER data base.
Earl C. Van Horn
1978Software maintainability: A practical concern for life-cycle costs.
John B. Munson
1978Software problems for dynamic architectures: Adaptive assignment of hardware resources.
Svetlana P. Kartashev, Steven I. Kartashev
1978Software reliability and maintainability in large-scale systems.
Edward J. Strong
1978Software technology for scientific and engineering applications.
Mark A. Holthouse, Stuart G. Greenberg
1978Sparse matrix calculations using an array processor.
Robert S. Norin
1978Strategies for structured and fault-tolerant design of recovery programs.
K. H. Kim, Herbert Hecht, J. Huang, Mahmoud Naghibzadeh
1978System requirements specification for real-time systems.
Jerome L. Uhrig
1978Technical aspects of privacy protection.
Rein Turn
1978Test reliability and software maintenance.
Richard G. Hamlet
1978Testing: Achievements and Frustrations.
Lori A. Clarke
1978The Advanced Data Processing Testbed.
William C. McDonald, J. M. Williams
1978The IEEE Computer Society's Second International Computer Software and Applications Conference, COMPSAC 1978, 13-16 November, 1978, Chicago, Illinois, USA
1978The IEEE standards generation process.
J. R. Fragola
1978The JOSHUA modular data-based system.
H. C. Honeck, M. M. Anderson
1978The design of a high-speed arithmetic processor.
George P. O'Leary
1978The modularity of MSC/NASTRAN.
Joseph F. Gloudeman
1978The slotted ring vs. the token-controlled ring: A comparative evaluation.
Ashok K. Agrawala, Jonathan R. Agre, K. D. Gordon
1978The software configurator : an aid to the industrial production of software.
Federica Liguori, Fabio Alberto Schreiber
1978The software development system: Status and evolution.
Carl G. Davis, Charles R. Vick
1978The structured design of a data compression program.
Richard A. Thompson
1978The use of software reliability measures in project management.
John D. Musa
1978Tools and techniques for implementing a large compiler on a small computer.
Christine L. Braun, Barry L. Wolman
1978Toward a better method of software testing i z.
Thomas G. Hallin, Robert C. Hansen
1978Towards the performance evaluation of distributed computing systems.
Colin Whitby-Strevens
1978What MININET Has Taught us about Programming Style.
Jon Livesey, Eric G. Manning
1978Working sets today.
Peter J. Denning