咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 testing of distr...
  • 1 篇 software model c...
  • 1 篇 requirement spec...
  • 1 篇 java pathfinder
  • 1 篇 unreliable netwo...
  • 1 篇 user datagram pr...
  • 1 篇 distributed syst...
  • 1 篇 abstract state m...
  • 1 篇 system modeling
  • 1 篇 communication pr...
  • 1 篇 computer network...

机构

  • 1 篇 microsoft corp r...
  • 1 篇 chiba univ chiba
  • 1 篇 natl inst inform...
  • 1 篇 univ tokyo
  • 1 篇 aist risec amaga...
  • 1 篇 simon fraser uni...

作者

  • 1 篇 yamamoto mitsuha...
  • 1 篇 veanes m
  • 1 篇 hagiya masami
  • 1 篇 sebih nazim
  • 1 篇 glässer u
  • 1 篇 gurevich y
  • 1 篇 tanabe yoshinori
  • 1 篇 weitl franz
  • 1 篇 artho cyrille

语言

  • 2 篇 英文
检索条件"主题词=Testing of Distributed Systems"
2 条 记 录,以下是1-10 订阅
排序:
Software Model Checking of UDP-based distributed Applications  2
Software Model Checking of UDP-based Distributed Application...
收藏 引用
International Symposium on Computing and Networking CANDAR
作者: Sebih, Nazim Weitl, Franz Artho, Cyrille Hagiya, Masami Tanabe, Yoshinori Yamamoto, Mitsuharu Univ Tokyo Tokyo Japan Chiba Univ Chiba Japan AIST RISEC Amagasaki Hyogo Japan Natl Inst Informat Tokyo Japan
We extend exhaustive verification of networked applications to applications using the User Datagram Protocol (UDP). UDP maximizes performance by omitting flow control and connection handling. High-performance services... 详细信息
来源: 评论
Abstract communication model for distributed systems
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2004年 第7期30卷 458-472页
作者: Glässer, U Gurevich, Y Veanes, M Simon Fraser Univ Fac Sci Appl Sch Comp Sci Burnaby BC V5A 1S6 Canada Microsoft Corp Res Redmond WA 98052 USA
In some distributed and mobile communication models, a message disappears in one place and miraculously appears in another. In reality, of course, there are no miracles. A message goes from one network to another;it c... 详细信息
来源: 评论