Modeling deflection networks: design and specification
Authors: 
Nobuyuki Nezu, Huizhu LuAuthors Info & Claims
Pages 66 - 73
References
[1]
K. Apt and E. Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, New York, 1991.
[2]
C. Baransel, W. Dobosiewicz, and P. Gburzynski. Routing in multihop packet switching networks: Gb/s challenge. IEEE Network, 9(3):38-61, 1995.
[3]
F. Borgonovo and L. Fratta. Deflection networks: Architectures for metropolitan and wide area networks. Computer Networks and ISDN Systems, 24(2):171-183, 1992.
[4]
K. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, Massachusetts, 1988.
[5]
T. Chung and D. Agrawal. Design and analysis of multidimensional Manhattan street networks. IEEE 7Yansactions on Communications, 41(2):295-298, 1993.
[6]
E. Clarke and J. Wing. Formal methods: State of the art and future directions. A CM Computing Surveys, 28(4):626-643, 1996.
[7]
P. Collette and E. Knapp. A foundation for modular reasoning about safety and progress properties of statebased concurrent programs. Theoretical Computer Science, 183(2):253-279, 1997.
[8]
C. Creveuil and G. Roman. Formal specification and design of a message router. A CM Transactions on Software Engineering and Methodology, 3(4):271-307~ 1994.
[9]
H. Cunningham and Y. Cai. Specification and refinement of a message router. In Proceedings of the Seventh International Workshop on Software Specification and Design, pages 20- 29, Redondo Beach, California, December 6--7, 1993.
[10]
H. Cunningham, V. Shah, and S. Shen. Devising a forreal specification for an elevator controUer. Technical Report UMCIS-1994-10, Software Methods Research Group, Department of Computer and Information Science, University of Mississippi, 1994.
[11]
E. Dijkstra. A Discipline of Programming. Prentice-Hall, Englewood Cliffs, New Jersey, 1976.
[12]
N. Francez. Fairness. Springer-Verlag, New York, 1986.
[13]
C. Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580,583, 1969.
[14]
E. Knapp. An exercise in the formal derivation of parallel programs: Maximum flows in graphs. A CM Transactions on Programming Languages and Systems, 12(2):203-223, 1990.
[15]
F. KrSger. Temporal Logic of Programs. Springer-Verlag, Berlin, 1987.
[16]
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1992.
[17]
Z. Manna and A. Pnueli. Temporal Verification of Reactive Systems: Safety. Springer-Verlag, New York, 1995.
[18]
N. Maxemchuk. Routing in the Manhattan street network. IEEE Transactions on Communications, COM-35(5):503- 512, 1987.
[19]
J. Misra. A logic for concurrent programming: Progress. journal of Computer and Software Engineering, 3(2):273- 300, 1995.
[20]
J. Mists. A logic for concurrent programming: Safety. Journal of Computer and Software Engineering, 3(2):239-272, 1995.
[21]
N. Nezu and H. Lu. Performance of toroidal deflection networks. In Proceedings of the Second lASTED International Conference European Parallel and Distributed Sys. tems (Euro-PDS '98), pages 103-110, Vienna, Austria, July 1-3, 1998.
[22]
A. Pizzarello. An industrial experience in the use of UNITY. In J. Banatre and D. M~tayer, editors, Research Directions in High-level Parallel Programming Languages: Mont Saint- Michel, France, June 17-19, 1991: Proceedings (Lecture Notes in Computer Science, 574), pages 39--49. Springer- Verlag, Berlin, 1992.
[23]
B. Sanders. Eliminating the substitution axiom from UNITY logic. Formal Aspects of Computing, 3(2):189--205, 1991.
[24]
B. Sanders. On the UNITY design decisions. In J. Banatre and D. M~tayer, editors, Research Directions in Highlevel Parallel Programming Languages: Mont Saint-Michel, France, June 17-19, 1991: Proceedings (Lecture Notes in Computer Science, 574), pages 50-63. Springer-Verlag, Berlin, 1992.
[25]
M. Staskaukas. Formal derivation of concurrent programs: An example from industry. IEEE Transactions on Software Engineering, 19(5):503--528, 1993.
[26]
M. Staskauskas. The formal specification and design of a distributed electronic funds-transfer system. IEEE Transactions on Computers, 37(12):1515-1528, 1988.
Index Terms
- Modeling deflection networks: design and specification
Recommendations
Research on Deflection of Strengthening Concrete Beam with Prestressed CFRP Sheets
WMWA '09: Proceedings of the 2009 Second Pacific-Asia Conference on Web Mining and Web-based ApplicationCFRP sheets have been widely used in strengthening concrete structures as a new material and prestressed CFRP sheets can improve the carrying capacity of beams. This paper researched the affection about the deflection and rigidity of concrete structures ...
Local Routing and Traffic Estimating in Large Scale-Free Networks
ETCS '09: Proceedings of the 2009 First International Workshop on Education Technology and Computer Science - Volume 01In this paper, we first propose a traffic model to investigate the connections between local routing strategies and traffic flow on scale-free networks. Then, we put forward “topological information function” with a control parameter to represent a ...
Deflection of simply supported box girder including effect of shear lag
The shear lag has been studied for many years. Nevertheless, most of the studies are related to the effect of the shear lag on stress distribution and very few have investigated the effect on deflection, although some design codes have formulas for the ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
February 1999
635 pages
ISBN:1581130864
DOI:10.1145/298151
Copyright © 1999 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 28 February 1999
Check for updates
Author Tags
Qualifiers
- Article
Conference
Acceptance Rates
Overall Acceptance Rate 1,650 of 6,669 submissions, 25%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 233Total Downloads
- Downloads (Last 12 months)29
- Downloads (Last 6 weeks)5
Reflects downloads up to 27 Nov 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in