![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
IEEE Transactions on Software Engineering (TSE), Volume 15
Volume 15, Number 1, January 1989
- Dipankar Sarkar, S. C. De Sarkar:
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers. 1-9
- Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley
:
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution. 10-17
- Edward Omiecinski:
Heuristics for Join Processing Using Nonclustered Indexes. 18-25 - Jason S. J. Chen, Victor O. K. Li:
Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network. 26-38 - Sushil Jajodia, David Mutchler:
A Pessimistic Consistency Control Algorithm for Replicated Files which Achieves High Availability. 39-46 - Toshimi Minoura, S. Sitharama Iyengar:
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems. 47-59
- Chao-Chih Yang:
Deduction Graphs: An Algorithm and Applications. 60-67 - Pankaj Jalote:
Resilient Objects in Broadcast Networks. 68-72 - Carl S. Hartzman:
The Delay Due to Dynamic Two-Phase Locking. 72-82 - Muneo Takahashi, Yuji Kamayachi:
An Empirical Study of a Model for Program Error Prediction. 82-86 - Karl J. Ottenstein:
A Simplified Framework for Reduction in Strength. 86-92 - Danco Davcev:
A Dynamic Voting Scheme in Distributed Systems. 93-97
Volume 15, Number 2, February 1989
- Pasquale Armenise:
A Structured Approach to Program Optimization. 101-108 - Tarek K. Abdel-Hamid:
The Dynamics of Software Project Staffing: A System Dynamics Based Simulation Approach. 109-119 - K. K. Ramakrishnan, Joel S. Emer:
Performance Analysis of Mass Storage Service Alternatives for Distributed Systems. 120-133 - David M. Nicol:
Optimal Partitioning of Random Programs Across two Processors. 134-141 - Bipin C. Desai:
Performance of a Composite Attribute and Join Index. 142-152 - Stefano Ceri, Georg Gottlob
, Gio Wiederhold:
Efficient Database Access from Prolog. 153-164 - Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper:
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. 165-180 - Jeannette M. Wing, Mark R. Nixon:
Extending Ina Jo with Temporal Logic. 181-197 - Martin S. Feather:
Constructing Specifications by Combining Parallel Elaborations. 198-208 - George Peterka, Tadao Murata:
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. 209-217 - David B. Brown, Saeed Maghsoodloo
, William H. Deason:
A Cost Model for Determining the Optimal Number of Software Test Cases. 218-221 - David B. Skillicorn
, Janice I. Glasgow:
Real-Time Specification Using Lucid. 221-229
Volume 15, Number 3, March 1989
- Raymond J. A. Buhr, Gerald M. Karam, Carol J. Hayes, C. Murray Woodside:
Software CAD: A Revolutionary Approach. 235-249 - Alexander L. Wolf, Lori A. Clarke, Jack C. Wileden:
The AdaPIC Tool Set: Supporting Interface Control and Analysis Throughout the Software Development Process. 250-263 - Pankaj Jalote:
Functional Refinement and Nested Objects for Object-Oriented Design. 264-270 - Rakesh Jha, J. Michael Kamrad II, Dennis T. Cornhill:
Ada Program Partitioning Language: A Notation for Distributing Ada Programs. 271-280 - Richard A. Volz, Trevor N. Mudge, Gregory D. Buzzard, Padmanabhan Krishnan:
Translation and Execution of Distributed Ada Programs: Is It Still Ada? 281-292 - Anne F. Brindle, Richard N. Taylor, David F. Martin:
A Debugger for Ada Tasking. 293-304 - Michael B. Feldman, Melinda L. Moran:
Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs. 305-313 - Tadao Murata, Boris Shenker, Sol M. Shatz:
Detection of Ada Static Deadlocks Using Petri Net Invariants. 314-326 - Lionel M. Ni, Ching-Farn Eric Wu:
Design Tradeoffs for Process Scheduling in Shared Memory Multiprocessor Systems. 327-334 - Robert F. Cmelik, Narain H. Gehani, William D. Roome:
Experience with Multiple Processor Versions of Concurrent C. 335-344 - Yoshihiro Tohma, Kenshin Tokunaga, Shinji Nagase, Yukihisa Murata:
Structural Approach to the Estimation of the Number of Residual Software Faults Based on the Hyper-Geometric Distribution. 345-355 - Alfonso Fuggetta, Carlo Ghezzi, Dino Mandrioli:
Some Consideration on Real-Time Bahavior of Concurrent Programs. 356-359 - Bo Ingvar Sandén:
The Case for Electric Design of Real-Time Software. 360-362
Volume 15, Number 4, April 1989
- Gerard Florin, Stéphane Natkin:
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks. 367-380 - Peter J. Haas, Gerald S. Shedler:
Stochastic Petri Net Representation of Discrete Event Simulations. 381-393 - Joanne Bechta Dugan, Gianfranco Ciardo
:
Stochastic Petri Net Analysis of a Replicated File System. 394-401 - Norman F. Schneidewind:
Distributed System Software Design Paradigm with Application to Computer Networks. 402-412 - Deepinder P. Sidhu, Ting-Kau Leung:
Formal Methods for Protocol Testing: A Detailed Study. 413-426 - Mark A. Linton, Russell W. Quong:
A Macroscopic Profile of Program Compilation and Linking. 427-436 - Daniel M. Dias, Balakrishna R. Iyer, John T. Robinson, Philip S. Yu:
Integrated Concurrency-Coherency Controls for Multisystem Data Sharing. 437-448 - James A. Larson, Shamkant B. Navathe, Ramez Elmasri:
A Theory of Attribute Equivalence in Databases with Application to Schema Integration. 449-463 - Abdullah Uz Tansel, M. Erol Arkun, Gultekin Özsoyoglu:
Time-by-Example Query Language for Historical Databases. 464-478 - Asuman Dogac, Birol Yürüten, Stefano Spaccapietra:
A Generalized Expert System for Database Design. 479-491 - Mustaque Ahamad, Mostafa H. Ammar:
Performance Characterization of Quorum-Consensus Algorithms for Replicated Data. 492-501
Volume 15, Number 5, May 1989
- Shi-Kuo Chang, Michael J. Tauber, Bing Yu, Jing-Sheng Yu:
A Visual Language Compiler. 506-525 - Pankaj Jalote:
Testing the Completeness of Specifications. 526-531 - Brent Hailpern, Tien Huynh, György E. Révész:
Comparing Two Functional Programming Systems. 532-542 - Wade H. Shaw Jr., James W. Howatt, Robert S. Maness, Dennis M. Miller:
A Software Science Model of Compile Time. 543-549 - Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
Mathematical Principles for a First Course in Software Engineering. 550-559 - R. T. Jacob, Ivor P. Page:
Synthesis of Mutual Exclusion Solutions Based on Binary Semaphores. 560-568 - Patrick M. Lenders:
Distributed Computing with Single Read-Single Write Variables. 569-574 - Wo-Shun Luk, Franky Ling:
An Analytic/Empirical Study of Distributed Sorting on a Local Area Network. 575-586 - Zhiwei Xu, Kai Hwang:
Molecule: A Language Construct for Layered Development of Parallel Programs. 587-599 - Sakti P. Ghosh:
Numerical Operations on a Relational Database. 600-610 - Geoff Barrett
:
Formal Methods Applied to a Floating-Point Number System. 611-621 - Jean-Loup Baer, Yi-Bing Lin:
Improving Quicksort Performance with a Codewort Data Structure. 622-631 - Donald A. Varvel, Leonard D. Shapiro:
The Computational Completeness of Extended Database Query Languages. 632-638 - K. B. Lakshmanan, Krishnaiyan Thulasiraman, M. A. Comeau:
An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights. 639-644 - Israel Cidon:
An Efficient Distributed Knot Detection Algorithm. 644-649 - Randy K. Lind, K. Vairavan:
An Experimental Investigation of Software Metrics and Their Relationship to Software Development Effort. 649-653 - Luigi Ciminiera, Adriano Valenzano:
Authentication Mechanisms in Microprocessor-Based Local Area Networks. 654-658 - Jie Wu, Eduardo B. Fernández
:
A Simplification of a Conversation Design Scheme Using Petri Nets. 658-660
Volume 15, Number 6, June 1989
- Jeff Magee, Jeff Kramer, Morris Sloman
:
Constructing Distributed Systems in Conic. 663-675 - Raphael A. Finkel, Michael L. Scott
, Yeshayahu Artsy, Hung-Yang Chang:
Experience with Charlotte: Simplicity and Function in a Distributed Operating System. 676-685 - Anand Tripathi:
An Overview of the Nexus Distributed Operating System Design. 686-695 - Ming-Yee Lai, W. Kevin Wilkinson, Vladimir Lanin:
On Distributing JASMIN's Optimistic Multiversioning Page Manager. 696-704 - Akhil Kumar, Michael Stonebraker:
Performance Considerations for an Operating System Transaction Manager. 705-714 - K. H. Kim:
An Approach to Experimental Evaluation of Real-Time Fault-Tolerant Distributed Computing Schemes. 715-725 - Bharat K. Bhargava, John Riedl:
The Raid Distributed Database System. 726-736 - Steven J. Zeil:
Perturbation Techniques for Detecting Domain Errors. 737-746 - Connie Loggia Ramsey, Victor R. Basili:
An Evaluation of Expert Systems for Software Engineering Management. 747-759 - Chao-Chih Yang, Jennifer Jau-Yin Chen, H. Lewis Chau:
Algorithms for Constructing Minimal Deduction Graphs. 760-770 - Bharat Jayaraman, Gopal Gupta:
EqL: The Language and Its Implementation. 771-779 - Clement T. Yu, Keh-Chang Guh, David Brill, Arbee L. P. Chen:
Partition Strategy for Distributed Query Processing in Fast Local Networks. 780-793 - Yannis Manolopoulos, John G. Kollias:
Expressions for Completely and Partly Unsuccessful Batched Search of Sequential and Tree-Structured Files. 794-799 - Raif O. Onvural, Harry G. Perros:
Approximate Throughput Analysis of Cyclic Queueing Networks with Finite Buffers. 800-808 - Hany H. Ammar, S. M. Rezaul Islam:
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. 809-820 - Cathy May:
The Parallel Assignment Problem Redefined. 821-824
Volume 15, Number 7, July 1989
- Maurice Herlihy, Martin S. McKendry:
Timestamp-Based Orphan Elimination. 825-831 - Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio
, Giovanni Chiola, Gianni Conte, Aldo Cumani:
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. 832-846 - Riccardo Gusella, Stefano Zatti:
The Accuracy of the Clock Synchronization Achieved by TEMPO in Berkeley UNIX 4.3BSD. 847-853 - Joel L. Wolf, Daniel M. Dias, Balakrishna R. Iyer, Philip S. Yu:
Multisystem Coupling by a Combination of Data Sharing and Data Partitioning. 854-860 - Behrokh Samadi:
TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System. 861-874 - Alan C. Shaw:
Reasoning About Time in Higher-Level Language Software. 875-889 - Beatrice Lazzerini
, Lanfranco Lopriore:
Abstraction Mechanisms for Event Control in Program Debugging. 890-901 - Barry W. Boehm, Rony Ross:
Theory-W Software Project Management: Principles and Examples. 902-916 - Lutz M. Wegner, Jukka Teuhola:
The External Heapsort. 917-925 - Liu Lingzhong:
Comments on "A Distributed Scheme for Detecting Communication Deadlocks''. 926 - Bo Ingvar Sandén:
Correction to "The Case for Electric Design of Real-Time Software''. 926
Volume 15, Number 8, August 1989
- Guang-Huei Chiou, Wen-Tsuen Chen:
Secure Broadcasting Using the Secure Lock. 929-934 - Stephen P. Hufnagel, James C. Browne:
Performance Properties of Vertically Partitioned Object-Oriented Systems. 935-946 - Michael L. Fontenot:
Software Congestion, Mobile Servers, and the Hyperbolic Model. 947-962 - Shyh-Kwei Chen, Wei-Tek Tsai, Bhavani M. Thuraisingham:
Recovery Point Selection on a Reverse Binary Tree Task Model. 963-976 - R. K. Shyamasundar, James W. Thatcher:
Language Constructs for Specifying Concurrency in CDL*. 977-993 - Ugur Halici
, Asuman Dogac:
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks. 994-1003 - Douglas W. Cornell, Philip S. Yu:
On Optimal Site Assignment for Relations in the Distributed Database Environment. 1004-1009 - Jun-Ichi Aoe:
An Efficient Implementation of Static String Pattern Matching Machines. 1010-1016 - Andrew Kusiak, Sunderesh S. Heragu
:
Expert Systems and Optimization. 1017-1020
Volume 15, Number 9, September 1989
- Chi Y. Lin, Reuven R. Levary:
Computer-Aided Software Development Process Design. 1025-1037 - Gultekin Özsoyoglu, Huaqing Wang:
A Relational Calculus with Set Operators, Its Safety and Equivalent Graphical Languages. 1038-1052 - Rajive L. Bagrodia:
Process Synchronization: Design and Performance Evaluation of Distributed Algorithms. 1053-1065 - Jun-Ichi Aoe:
An Efficient Digital Search Algorithm by Using a Double-Array Structure. 1066-1077 - Joshua Etkin, John A. Zinky:
Development Life Cycle of Computer Networks: The Executable Model Approach. 1078-1089 - Sandra A. Mamrak, Michael J. Kaelbling, Charles K. Nicholas, Michael Share:
Chameleon: A System for Solving the Data-Translation Problem. 1090-1108 - Daniel Troy, Clement T. Yu, Weining Zhang:
Linearization of Nonlinear Recursive Rules. 1109-1119 - Ashok Malhotra, Harry M. Markowitz, Yakov Tsalalikhin, Donald P. Pazel, Luanne M. Burns:
An Entity Relationship Programming Language. 1120-1130 - John A. Lehman:
An Empirical Comparison of Textual and Graphical Data Structure Documentation for Cobol Programs. 1131-1135 - Chi-Sung Laih, Lein Harn, Jau-Yien Lee:
On the Design of a Single-Key-Lock Mechanism Based on Newton's Interpolating Polynomial. 1135-1137
Volume 15, Number 10, October 1989
- Kazuo Sugihara, Tohru Kikuno, Noriyoshi Yoshida:
A Meeting Scheduler for Office Automation. 1141-1146 - Alexander Thomasian, In Kyung Ryu:
A Recursive Solution Method to Analyze the Performance of Static Locking Systems. 1147-1156 - Sang Hyuk Son, Ashok K. Agrawala:
Distributed Checkpointing for Globally Consistent States of Databases. 1157-1167 - Xian-He Sun, Nabil Kamel, Lionel M. Ni:
Processing Implication on Queries. 1168-1175 - David Chenho Kung:
Conceptual Modeling in the Context of Software Development. 1176-1187 - Kang G. Shin, C. Mani Krishna, Yann-Hang Lee:
Optimal Dynamic Control of Resources in a Distributed System. 1188-1198 - Rajiv D. Banker, Chris F. Kemerer:
Scale Economies in New Software Development. 1199-1205 - Simonetta Balsamo, Lorenzo Donatiello:
On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking. 1206-1216 - Paolo Ciaccia
, Maria Rita Scalas:
Optimization Strategies for Relational Disjunctive Queries. 1217-1235 - Manfred Ruschitzka, John L. Clevenger:
Heterogeneous Data Translations Based on Environment Grammars. 1236-1251 - Wei-Chung Hsu
, Charles N. Fischer, James R. Goodman:
On the Minimization of Loads/Stores in Local Register Allocation. 1252-1260 - Houssine Chetto, Maryline Silly-Chetto
:
Some Results of the Earliest Deadline Scheduling Algorithm. 1261-1269 - Venkatraman R. Iyer, Howard A. Sholl:
Software Partitioning for Distributed, Sequential, Pipelined Applications. 1270-1279 - Lung-Chun Liu, Ellis Horowitz:
A Formal Model for Software Project Management. 1280-1293 - David B. Bisant, James R. Lyle:
A Two-Person Inspection Method to Improve Programming Productivity. 1294-1304 - Ian F. Akyildiz, Horst von Brand:
Central Server Models with Multiple Job Classes, State Dependent Routing, and Rejection Blocking. 1305-1312
Volume 15, Number 11, November 1989
- Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil:
A Formal Evaluation of Data Flow Path Selection Criteria. 1318-1332 - Karen Shannon, Richard T. Snodgrass:
Mapping the Interface Description Language Type Model into C. 1333-1346 - Gregor von Bochmann, Rachida Dssouli, J. R. Zhao:
Trace Analysis for Conformance and Arbitration Testing. 1347-1356 - Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson:
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. 1357-1367 - Dipankar Sarkar, S. C. De Sarkar:
A Set of Inference Rules for Quantified Formula Handling and Array Handling in Verification of Programs Over Integers. 1368-1381 - William R. Bevier:
Kit: A Study in Operating System Verification. 1382-1396 - Harold Ossher:
A Case Study in Structure Specification: A Grid Description of Scribe. 1397-1416 - Michael Evangelist, Nissim Francez, Shmuel Katz:
Multiparty Interactions for Interprocess Communication and Synchronization. 1417-1426 - David Fernández-Baca:
Allocating Modules to Processors in a Distributed System. 1427-1436 - T. H. Merrett, Normand Laliberte:
Including Scalars in a Programming Language Based on the Relational Algebra. 1437-1443 - Marvin Theimer, Keith A. Lantz:
Finding Idle Machines in a Workstation-Based Distributed System. 1444-1458 - Anna Hac:
A Distributed Algorithm for Performance Improvement Through File Replication, File Migration, and Process Migration. 1459-1470 - Gerald M. Karam, Christine M. Stanczyk, Gregory W. Bond:
Critical Races in Ada Programs. 1471-1480 - Susan S. Brilliant, John C. Knight, Nancy G. Leveson:
The Consistent Comparison Problem in N-Version Software. 1481-1485 - Harry Joe:
Statistical Inference for General-Order-Statistics and Nonhomogeneous-Poisson-Process Software Reliability Models. 1485-1490 - Anthony Chung, Deepinder P. Sidhu:
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. 1491-1494
Volume 15, Number 12, December 1989
- Michael L. Dertouzos, Aloysius K. Mok:
Multiprocessor On-Line Scheduling of Hard-Real-Time Tasks. 1497-1506 - Norman R. Howes, Alfred C. Weaver
:
Measurements of Ada Overhead in OSI-Style Communications Systems. 1507-1517 - Ravi S. Sandhu:
Recognizing Immediacy in an N-Tree Hierarchy and Its Application to Protection Groups. 1518-1525 - Wael Hilal Bahaa-El-Din, Farokh B. Bastani, Ju-En Teng:
Performance Analysis of Periodic and Concurrent Data Structure Maintenance Strategies for Network Servers. 1526-1536 - Lori L. Pollock, Mary Lou Soffa:
An Incremental Version of Iterative Data Flow Analysis. 1537-1549 - Dipankar Sarkar, S. C. De Sarkar:
A Theorem Prover for Verifying Iterative Programs Over Integers. 1550-1566 - Guy Bernard, Andrzej Duda
, Yoram Haddad, Gilbert Harrus:
Primitives for Distributed Computing in a Heterogeneous Local Area Network Environment. 1567-1578 - Murthy V. Devarakonda, Ravishankar K. Iyer:
Predictability of Process Resource Usage: A Measurement-Based Study on UNIX. 1579-1586 - Barbara E. Wójcik, Zbigniew M. Wójcik:
Sufficient Condition for a Communication Deadlock and Distributed Deadlock Detection. 1587-1595 - Bev Littlewood, Douglas R. Miller:
Conceptual Modeling of Coincident Failures in Multiversion Software. 1596-1614 - Cui-Qing Yang, Barton P. Miller:
Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach. 1615-1629 - Leonardo Felician, Graziella Zalateu:
Validating Halstead's Theory for Pascal Programs. 1630-1632 - Shyamal K. Chowdhury:
The Mean Resequencing Delay for M/H_K/infty Systems. 1633-1638 - James A. Hager:
Software Cost Reduction Methods in Practice. 1638-1644 - Alok N. Choudhary, Walter H. Kohler, John A. Stankovic, Donald F. Towsley
:
Correction to "A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution". 1644
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.