default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE 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 P. 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
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.
last updated on 2024-11-15 19:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
