Showing papers in "IEEE Computer in 1979"
••
IBM1
TL;DR: Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's, and petri nets may offer a solution.
Abstract: Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's. Petri nets may offer a solution.
174 citations
••
TL;DR: This analysis compares a number of single- and multistage networks that have been proposed for SIMD interconnection and shows how the approaches to this problem have changed over time.
Abstract: Many SIMD interconnection networks have been proposed. To put the different approaches into perspective, this analysis compares a number of single- and multistage networks.
160 citations
••
TL;DR: The late 70' s find structured programming increasingly popular—this and other techniques are programming's future, but what does experimental evaluation say about their actual effects on programmer performance?
Abstract: The late 70' s find structured programming increasingly popular—this and other techniques are programming's future. But what does experimental evaluation say about their actual effects on programmer performance?
131 citations
••
TL;DR: This overview presents several different types of circuit switching networks: concentrators, connectors, expanders, partitioners, SIMD interconnectors, and sorters.
Abstract: This overview presents several different types of circuit switching networks: concentrators, connectors, expanders, partitioners, SIMD interconnectors, and sorters.
109 citations
••
TL;DR: Designers face special problems when they apply their skills to interactive computer systems and need to think in terms of aesthetics and function.
Abstract: Successful industrial design gracefully unites esthetics and function at minimum cost. However, designers face special problems when they apply their skills to interactive computer systems.
105 citations
••
TL;DR: The hardware required for efficient text retrieval differs from that required for retrieval of formatted data, particularly term comparators.
Abstract: The hardware required for efficient text retrieval differs from that required for retrieval of formatted data. Here is an examination of such hardware, particularly term comparators.
87 citations
••
TL;DR: Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
Abstract: Certain formal approaches, such as transition techniques and reachability analysis, show promising results when applied to protocol specification and verification.
82 citations
••
TL;DR: The effects of human factors on "high-level" software properties–too intangible to quantify directly–can be inferred from the collective behavior of related "low- level" aspects.
Abstract: The effects of human factors on "high-level" software properties–too intangible to quantify directly–can be inferred from the collective behavior of related "low-level" aspects.
68 citations
••
IBM1
TL;DR: VLSI has brought exciting increases in circuit density and performance capability, but it has also aggravated the problem of chip, component and system testing.
Abstract: VLSI has brought exciting increases in circuit density and performance capability. But it has also aggravated the problem of chip, component and system testing. Here are some approaches to dealing with that problem.
67 citations
••
TL;DR: The first implementation of a new microprocessor architecture promises to narrow the gap between the power of very small and very large computers.
Abstract: The first implementation of a new microprocessor architecture promises to narrow the gap between the power of very small and very large computers.
64 citations
••
TL;DR: A standard for software quality assurance plans, developed by the Computer Society's Software Engineering Standards Subcommittee, appears here.
Abstract: The increasing criticality of software mandates a standard for software quality assurance plans. Such a standard, developed by the Computer Society's Software Engineering Standards Subcommittee, appears here.
••
TL;DR: Cellular-logic devices, using a parallel processing element for each element of a rotating memory, allow fast data search and manipulation.
Abstract: Cellular-logic devices, using a parallel processing element for each element of a rotating memory, allow fast data search and manipulation.
••
IBM1
TL;DR: A relational approach makes this experimental data base management system unusually easy to install and use and offers major bonuses in other areas.
Abstract: A relational approach makes this experimental data base management system unusually easy to install and use Some of the decisions made in System R design in order to enhance usability also offer major bonuses in other areas
••
TL;DR: With content addressing and parallel processing capabilities, associative array processors are potentially useful for data base management.
Abstract: With content addressing and parallel processing capabilities, associative array processors are potentially useful for data base management.
•
••
TL;DR: New research efforts and recent advances in hardware technology may soon make the commercial data base machine a reality.
Abstract: New research efforts and recent advances in hardware technology may soon make the commercial data base machine a reality.
••
TL;DR: In the demonic world of Zork, a simulated universe entices the player into a new form of problem solving.
Abstract: Is magic real? Do swords glow if the enemy is nearby? In the demonic world of Zork, a simulated universe entices the player into a new form of problem solving.
••
TL;DR: The language features selected affect the difficulty of the programming process and proper choices of variables referenced and those "alive" per statement may simplify both program construction and maintenance.
Abstract: The language features selected affect the difficulty of the programming process. Proper choices of variables referenced and those "alive" per statement may simplify both program construction and maintenance.
••
TL;DR: This proposed standard eliminates many of the problems in the S-100 bus and upgrades it for 16-bit microprocessors and is offered here for public comment before submission to the IEEE Standards Board.
Abstract: This proposed standard eliminates many of the problems in the S-100 bus and upgrades it for 16-bit microprocessors. It is offered here for public comment before submission to the IEEE Standards Board.
••
TL;DR: This system is organized for statistical analysis of patient information that yields accurate predictions of outcome and, by pointing to appropriate treatments, helps contain medical costs.
Abstract: This system is organized for statistical analysis of patient information. Such analysis yields accurate predictions of outcome and, by pointing to appropriate treatments, helps contain medical costs.
••
TL;DR: This presentation explains how an automated testing analyzer, using a branch testing strategy, provides a cost-effective way of increasing confidence in software behavior.
Abstract: Automated testing analyzers are popular software test tools. Such an analyzer, using a branch testing strategy, provides a cost-effective way of increasing confidence in software behavior.
••
TL;DR: How many types of errors can be detected through static analysis and branch testing and how many man-hours and machine hours do these techniques require?
Abstract: How many types of errors can be detected through static analysis and branch testing? How many man-hours and machine hours do these techniques require? Here are some empirically determined answers.
••
TL;DR: Relational data base machines using head-per-track disk technology or its electronic equivalent can move processing logic closer to the data, providing simplified storage organizations for large-scale applications.
Abstract: Relational data base machines using head-per-track disk technology or its electronic equivalent can move processing logic closer to the data, providing simplified storage organizations for large-scale applications.
••
TL;DR: Built-in-test techniques exploit hardware redundancy to provide continuous on-line monitoring of computer performance, especially for modular computers.
Abstract: Built-in-test techniques exploit hardware redundancy to provide continuous on-line monitoring of computer performance. Hardware's declining cost makes these techniques attractive, especially for modular computers.
••
TL;DR: The COSTAR system keeps medical records and does accounting and administrative tasks for group practices and offers clinical researchers a useful query language for manipulating medical data.
Abstract: The COSTAR system keeps medical records and does accounting and administrative tasks for group practices. It also offers clinical researchers a useful query language for manipulating medical data.
••
TL;DR: Interactive graphic displays of layouts or design plans, already in widespread use as design aids, can be even more effective when used in conjunction with teleconferencing.
Abstract: Interactive graphic displays of layouts or design plans, already in widespread use as design aids, can be even more effective when used in conjunction with teleconferencing.
••
TL;DR: Developers and buyers can avoid disappointments and cost overruns by carefully tracking software system configurations through the system life cycle.
Abstract: Developers and buyers can avoid disappointments and cost overruns by carefully tracking software system configurations through the system life cycle.
••
TL;DR: Increased capabilities, architectural compatibility, and clearly defined interfaces were the chief architectural goals of Zilog's new Z8000 microprocessor family and those goals were met for two members of that family.
Abstract: Increased capabilities, architectural compatibility, and clearly defined interfaces were the chief architectural goals of Zilog's new Z8000 microprocessor family. Here is an account of how those goals were met for two members of that family— the Z8000 CPU and the MMU.
••
TL;DR: A Computer Society delegation visited the People's Republic of China last September and one member's assessment of Chinese computer technology is offered.
Abstract: Last September a Computer Society delegation visited the People's Republic of China. This report summarizes the trip and offers one member's assessment of Chinese computer technology.
••
TL;DR: The methodology described here achieves multiple-instruction-stream concurrency with a shared-resource pipeline architecture with a share- resource pipeline architecture.
Abstract: Multiprocessing within a chip may be the next step in the evolution of single-chip microprocessors. The methodology described here achieves multiple-instruction-stream concurrency with a shared-resource pipeline architecture.