Pages that link to "Item:Q150608"
From MaRDI portal
The following pages link to IEEE Transactions on Software Engineering (Q150608):
Displayed 50 items.
- Interconnection of Local Computer Networks: Modeling and Optimization Problems (Q3662577) (← links)
- A Semantic Design Method (Q3662592) (← links)
- On the Multiple Implementation of Abstract Data Types Within a Computation (Q3662596) (← links)
- Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives (Q3662603) (← links)
- A Scheme of Parallel Processing for MIMD Systems (Q3662608) (← links)
- ESPRESO—A System for Process Control Software Specification (Q3662609) (← links)
- A Causal Model for Analyzing Distributed Concurrency Control Algorithms (Q3666261) (← links)
- Extending CSP to Allow Dynamic Resource Management (Q3666273) (← links)
- Control of a Heterogeneous Two-Server Exponential Queueing System (Q3666571) (← links)
- Specification of Synchronizing Processes (Q3668841) (← links)
- Formal Specification and Verification of Distributed Systems (Q3668845) (← links)
- A Mathematical Framework for the Investigation of Testing (Q3668857) (← links)
- Performance Improvement of Abstractions Through Context Dependent Transformations (Q3674045) (← links)
- Towards a Theory of Forward Error Recovery (Q3677140) (← links)
- Symbolic Semantics and Program Reduction (Q3677145) (← links)
- The Qualified Function Approach to Analysis of Program Behavior and Performance (Q3677147) (← links)
- False Deadlock Detection in Distributed Systems (Q3677162) (← links)
- On the Uncertainty in the Correctness of Computer Programs (Q3678650) (← links)
- On the File Design Problem for Partial Match Retrieval (Q3681969) (← links)
- Synchronized Distributed Termination (Q3685179) (← links)
- Stochastic Modeling of Branch-and-Bound Algorithms with Best-First Search (Q3686029) (← links)
- Database Integrity Block Construct: Concepts and Design Issues (Q3686080) (← links)
- Query Processing in a Fragmented Relational Distributed System: Mermaid (Q3686087) (← links)
- A Theoretical Basis for the Analysis of Multiversion Software Subject to Coincident Errors (Q3687702) (← links)
- Allocating Independent Subtasks on Parallel Processors (Q3690208) (← links)
- Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines (Q3690225) (← links)
- An Optimal Algorithm for Processing Distributed Star Queries (Q3690266) (← links)
- Modular redundancy in a message passing system (Q3694675) (← links)
- Distributed program reliability analysis (Q3694676) (← links)
- Typestate: A programming language concept for enhancing software reliability (Q3694680) (← links)
- Specification directed module testing (Q3694681) (← links)
- Exponential order statistic models of software reliability growth (Q3694682) (← links)
- Load-leveling in fault-tolerant distributed computing systems (Q3713557) (← links)
- Development of a debugger for a concurrent language (Q3713583) (← links)
- Optimal partitioning of randomly generated distributed programs (Q3713587) (← links)
- Distributed agreement in the presence of processor and communication faults (Q3713588) (← links)
- Reuse of software through generation of partial systems (Q3713592) (← links)
- Knowledge-based programming: A survey of program design and construction techniques (Q3727359) (← links)
- Specification of modular systems (Q3727366) (← links)
- Derivation of a parallel algorithm for balancing binary trees (Q3729998) (← links)
- Allocating programs containing branches and loops within a multiple processor system (Q3735072) (← links)
- On the projection method for protocol verification (Q3735073) (← links)
- Checkpointing and Rollback-Recovery for Distributed Systems (Q3740209) (← links)
- Local Distributed Deadlock Detection by Cycle Detection and Clusterng (Q3740210) (← links)
- Companson and Diagnosis of Large Replicated Files (Q3740211) (← links)
- The automatic inversion of attribute grammars (Q3740268) (← links)
- Queueing Analysis of Fault-Tolerant Computer Systems (Q3746858) (← links)
- On the properties of extended inclusion dependences (Q3746933) (← links)
- A fault-tolerant scheduling problem (Q3751355) (← links)
- Cycle Structure of the DES for Keys Having Palindromic (or Antipalindromic) Sequences of Round Keys (Q3757821) (← links)