Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures 英文论文文献.docVIP

下载本文档

1
0
约3.62万字
约 16页
2017-05-08 发布于上海
举报

Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures 英文论文文献.doc

Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures 英文论文文献

UsingthePALSArchitecturetoVerifyaDistributedTopology ControlProtocolforWirelessMulti-HopNetworksinthe PresenceofNodeFailures? MichaelKatelmanandJos′eMeseguer DepartmentofComputerScience UniversityofIllinoisatUrbana-Champaign Urbana,IL61801,USA {katelman,meseguer}@ ThePALSarchitecturereducesdistributed,real-timeasynchronoussystemdesigntothedesignof asynchronoussystemunderreasonablerequirements. Assuminglogicalsynchronyleadstofewer systembehaviorsandprovidesaconceptuallysimplerparadigmforengineeringpurposes. Oneof thecurrentlimitationsoftheframeworkisthatfromasetofindependent“synchronou

您可能关注的文档

文档评论（0）

1亿VIP精品文档

更多 >

Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node Failures 英文论文文献.docVIP