Searching...
Advanced Search
Publication
1989
Issue No. 1 - January
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
IEEE Transactions on Software Engineering
January 1989 (vol. 15 no. 1)
ISSN: 0098-5589
Table of Contents
PAPERS
Some Inference Rules for Integer Arithmetic for Verification of Flowchart Programs on Integers
(Abstract)
D.C. Sarkar
S.C. De Sarkar
pp. 1-9
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
(Abstract)
A.N. Choudhary
W.H. Kohler
J.A. Stankovic
D. Towsley
pp. 10-17
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Heuristics for Join Processing Using Nonclustered Indexes
(Abstract)
E.R. Omiecinski
pp. 18-25
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Optimizing Joins in Fragmented Database Systems on a Broadcast Local Network
(Abstract)
J.S.J. Chen
V.O.K. Li
pp. 26-38
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Pessimistic Consistency Control Algorithm for Replicated Files Which Achieves High Availability
(Abstract)
S. Jajodia
D. Mutchler
pp. 39-46
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems
(Abstract)
T. Minoura
S.S. Iyengar
pp. 47-59
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Deduction Graphs: An Algorithm and Applications
(Abstract)
Chao-Chih Yang
pp. 60-67
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
Resilient Objects in Broadband Networks
(Abstract)
P. Jalote
pp. 68-72
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Delay Due to Dynamic Two-Phase Locking
(Abstract)
C.S. Hartzman
pp. 72-82
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Empirical Study of a Model for Program Error Prediction
(Abstract)
M. Takahashi
Y. Kamayachi
pp. 82-86
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Simplified Framework for Reduction in Strength
(Abstract)
K.J. Ottenstein
pp. 86-92
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CORRESPONDENCE
A Dynamic Voting Scheme in Distributed Systems
(Abstract)
D. Davcev
pp. 93-97
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
