咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 2 篇 工学
    • 2 篇 计算机科学与技术...

主题

  • 2 篇 distributed data...
  • 2 篇 data visualizati...
  • 2 篇 interval logic
  • 2 篇 debugging autono...
  • 2 篇 run-time verific...
  • 2 篇 verification of ...

机构

  • 2 篇 metrica inc trac...
  • 2 篇 carnegie mellon ...

作者

  • 2 篇 simmons r
  • 2 篇 fernández jl
  • 2 篇 kortenkamp d
  • 2 篇 milam t

语言

  • 2 篇 英文
检索条件"主题词=distributed data logging"
2 条 记 录,以下是1-10 订阅
排序:
A suite of tools for debugging distributed autonomous systems
收藏 引用
FORMAL METHODS IN SYSTEM DESIGN 2004年 第2期24卷 157-188页
作者: Kortenkamp, D Simmons, R Milam, T Fernández, JL Metrica Inc TRACLabs Houston TX 77058 USA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15214 USA
This paper describes a set of tools that enables developers to log and analyze the run-time behavior of distributed control systems. A feature of the tools is that they can be applied to distributed systems. The loggi... 详细信息
来源: 评论
A suite of tools for debugging distributed autonomous systems
A suite of tools for debugging distributed autonomous system...
收藏 引用
1st International Workshop on Runtime Verification
作者: Kortenkamp, D Simmons, R Milam, T Fernández, JL Metrica Inc TRACLabs Houston TX 77058 USA Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15214 USA
This paper describes a set of tools that enables developers to log and analyze the run-time behavior of distributed control systems. A feature of the tools is that they can be applied to distributed systems. The loggi... 详细信息
来源: 评论