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, (Correction: TSE 15(12): 1644 (1989))

• 
  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 Sanden: The Case for Electric Design of Real-Time Software. 360-362, (Correction: TSE 15(7): 926 (1989))

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 Michael Wegner, Jukka Teuhola: The External Heapsort. 917-925
• 
  Liu Lingzhong: Comments on ``A Distributed Scheme for Detecting Communication Deadlocks''. 926
• 
  Bo Sanden: Correction to ``The Case for Electric Design of Real-Time Software''. 926, (see: TSE 15(3): 360-362 (1989))

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 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, (see: TSE 15(1): 10-17 (1989))

last updated on Sat May 18 06:49:14 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page