Entity usage

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

Showing below up to 50 results in range #1 to #50.

The Impact of Automated Parameter Optimization on Defect Prediction Models: Label: en
The join algorithms on a shared-memory multiprocessor database machine: Label: en
Discrete Time Stochastic Petri Nets: Label: en
A Simple Experiment in Top-Down Design: Label: en
Designing Software for Ease of Extension and Contraction: Label: en
An Experiment on Unit Increase in Problem Complexity: Label: en
Measuring the Psychological Complexity of Software Maintenance Tasks with the Halstead and McCabe Metrics: Label: en
The Use of Software Science in Evaluating Modularity Concepts: Label: en
The Design of a Message Switching System: An Application and Evaluation of Modula: Label: en
Common Properties of Some Multiattribute File Systems: Label: en
Programming with Verification Conditions: Label: en
Rendezvous facilities: Concurrent C and the Ada language: Label: en
A modified priority based probe algorithm for distributed deadlock detection and resolution: Label: en
Communication and Synchronization Primitives for Distributed Programs: Label: en
Exception Handling: Formal Specification and Systematic Program Construction: Label: en
Selecting Software Test Data Using Data Flow Information: Label: en
Performance Analysis of FFT Algorithms on Multiprocessor Systems: Label: en
File Structures, Program Structures, and Attributed Grammars: Label: en
A Data Flow Oriented Program Testing Strategy: Label: en
Dynamic Rematerialization: Processing Distributed Queries Using Redundant Data: Label: en
Analyzing Concurrency Control Algorithms When User and System Operations Differ: Label: en
The Noisy Substring Matching Problem: Label: en
The Study of a New Perfect Hash Scheme: Label: en
Combining Testing with Formal Specifications: A Case Study: Label: en
Compilation of Nonprocedural Specifications into Computer Programs: Label: en
Testing for Perturbations of Program Statements: Label: en
A System to Automatically Analyze Assembled Programs: Label: en
Time-by-example query language for historical databases: Label: en
Reliability of systems with Markov transfer of control, II: Label: en
Stochastic Petri net analysis of a replicated file system: Label: en
The Path Prefix Software Testing Strategy: Label: en
A Methodology for Developing Distributed Programs: Label: en
A Recursion Theoretic Approach to Program Testing: Label: en
Theory of Modules: Label: en
Measuring Errors in Operational Analysis Assumptions: Label: en
Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing: Label: en
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols: Label: en
CSM: A Distributed Programming Language: Label: en
A Scheme to Enforce Data Dependence on Large Multiprocessor Systems: Label: en
A Space-Efficient Optimization of Call-by-Need: Label: en
Refinement Methodology for Ada: Label: en
Cooperative Distributed Algorithms for Dynamic Cycle Prevention: Label: en
Interprocedural def-use associations for C systems with single level pointers: Label: en
Automatically generating test data from a Boolean specification: Label: en
Dependability modeling and analysis of distributed programs: Label: en
Hierarchical reachability graph of bounded Petri nets for concurrent-software analysis: Label: en
Tidy Drawings of Trees: Label: en
Evaluating and Improving Recursive Descent Parsers: Label: en
On Path Cover Problems in Digraphs and Applications to Program Testing: Label: en
Multidimensional Binary Search Trees in Database Applications: Label: en