Search for Author All Reviews
	Shatz, Sol M.     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       Task Allocation for Maximizing Reliability of Distributed Computer Systems Shatz S., Wang J., Goto M. IEEE Transactions on Computers 41(9): 1156-1168, 1992.  Type: Article The task allocation problem in a distributed environment with heterogeneous nodes connected by communication links is treated. In this problem, both the nodes and the communication links are unreliable: each has a certain failure rat...... Mar 1 1994     A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets Suzuki T., Shatz S., Murata T. IEEE Transactions on Software Engineering 16(5): 523-536, 1990.  Type: Article The authors’ approach to automated modeling and verification of communication protocols uses a version of timed Petri nets whose transitions have deterministic enabling times and firing times. The specification language EBSDL...... Jul 1 1991     Detection of Ada Static Deadlocks Using Petri Net Invariants Murata T., Shatz S., Shenker B. IEEE Transactions on Software Engineering 15(3): 314-326, 1989.  Type: Article The authors present a technique which uses Petri nets to detect static deadlocks in concurrent Ada programs (Ada programs which use the tasking features of the language). This method addresses two kinds of static deadlock: what the aut...... Apr 1 1990
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy