Pages that link to "Item:Q150608"
From MaRDI portal
The following pages link to IEEE Transactions on Software Engineering (Q150608):
Displaying 50 items.
- Automated Analysis of Discrete Communication Behavior (Q3761686) (← links)
- Systematic program development (Q3769945) (← links)
- Clarification of two phase locking in concurrent transaction processing (Q3769952) (← links)
- Reflexive Incidence Matrx (RIM) Representation of Petri Nets (Q3769973) (← links)
- An Information-Based Model for Failure-Handling in Distributed Database Systems (Q3777506) (← links)
- Concurrent Certifications by Intervals of Timestamps in Distributed Database Systems (Q3777511) (← links)
- A predicate-transition net model for parallel interpretation of logic programs (Q3801054) (← links)
- New NP-Complete Problems in Performance Evaluation of Concurrent Systems Using Petri Nets (Q3801079) (← links)
- Parsing languages by pattern matching (Q3801103) (← links)
- PARLOG and its applications (Q3806790) (← links)
- Quicksort revisited (Q3809239) (← links)
- A distributed deadlock detection and resolution algorithm and its correctness proof (Q3809243) (← links)
- A class of inherently fault tolerant distributed programs (Q3809244) (← links)
- An extended domain-based model of software reliability (Q3809248) (← links)
- Gray codes for partial match and range queries (Q3809318) (← links)
- Modeling and analysis of the behavior of information systems (Q3813327) (← links)
- Petri-net-based modeling and evaluation of pipelined processing of concurrent database queries (Q3813329) (← links)
- An improved algorithm based on subset closures for synthesizing a relational database scheme (Q3813332) (← links)
- Algorithms for multidimensional partitioning of static files (Q3813333) (← links)
- Clustering a DAG for CAD databases (Q3813335) (← links)
- A modified priority based probe algorithm for distributed deadlock detection and resolution (Q3814790) (← links)
- Rendezvous facilities: Concurrent C and the Ada language (Q3814794) (← links)
- Heuristics for join processing using nonclustered indexes (Q3814843) (← links)
- Optimizing joins in fragmented database systems on a broadcast local network (Q3814844) (← links)
- Formal program construction by transformations-computer-aided, intuition-guided programming (Q3815517) (← links)
- The join algorithms on a shared-memory multiprocessor database machine (Q3815563) (← links)
- Extending Ina Jo with temporal logic (Q3816959) (← links)
- Performance of a composite attribute and join index (Q3816964) (← links)
- Optimal partitioning of random programs across two processors (Q3816966) (← links)
- Proof procedure and answer extraction in Petri net model of logic programs (Q3817016) (← links)
- Necessary and sufficient ergodicity condition for open synchronized queueing networks (Q3817414) (← links)
- Stochastic Petri net representation of discrete event simulations (Q3819812) (← links)
- Deduction graphs: an algorithm and applications (Q3820061) (← links)
- Constructing submodule specifications and network protocols (Q3823806) (← links)
- Some inference rules for integer arithmetic for verification of flowchart programs on integers (Q3832038) (← links)
- Web structures: a tool for representing and manipulating programs (Q3833598) (← links)
- A theory of attributed equivalence in databases with application to schema integration (Q3835058) (← links)
- An Approximate Analytical Method for General Queueing Networks (Q3856405) (← links)
- A Case Study in Program Transformation: Translation into Polish (Q3857725) (← links)
- A Queuing Model of a Time-Sliced Priority-Driven Task Dispatching Algorithm (Q3863073) (← links)
- A Methodology for Structured Database Decomposition (Q3863104) (← links)
- A Generalized Implementation Method for Relational Data Sublanguages (Q3863105) (← links)
- Throughput Capacity of a Sequence of Queues with Blocking Due to Finite Waiting Room (Q3865417) (← links)
- Analysis of Closed Queuing Networks with Periodic Servers (Q3865419) (← links)
- Exception Handling in CLU (Q3865421) (← links)
- Proving Total Correctness of Parallel Programs (Q3865440) (← links)
- Program Derivation Using Data Types: A Case Study (Q3865441) (← links)
- Communication and Synchronization in Distributed Systems (Q3865446) (← links)
- Structuring Programs for Efficient Operation in Virtual Memory Systems (Q3865455) (← links)
- Compile-Time Analysis of Data List-Format List Correspondences (Q3865458) (← links)
