-
埃斯特雷尔
- 引用162篇[sw20012]
- 适用于编程反应式系统，包括真实的-时间系统和控制自动机。埃斯特雷尔。。。用于生成软件或硬件实施一个反应性程序。它可以产生。。。
-
法布里克
- 在10篇文章中引用[sw09382]
- 以人手为例实施如果使用了一个受约束的FABRIK版本。。。提出了一种手部姿态跟踪器真实的-时间 可实施利用优势。。。
-
王子
- 参考58篇文章[sw13240]
- 实施在硬件方面。这样的密码对于许多未来的普及应用都是可取的真实的-时间... 这样的算法应该是什么实施需要创新的设计选择。号码。。。
-
信号
- 引用51篇文章[sw02915]
- 适用于可靠性设计真实的-时间系统。同步语言可以实现非常高的。。。级别规范和高度模块化实施把复杂系统从结构上分解成。。。
-
PPL公司
- 参考文献95篇[sw05357]
- 语言，同步语言和同步协议，真实的-时间以及混合动力系统。自从开创性的工作。。。一些关键任务依赖于他们的软件实施. 尽管如此，现有的操作库。。。
-
乔托
- 引用16条[sw08971]
- 乔托：A时间-嵌入式程序设计的触发语言。乔托提供了一个抽象的程序员。。。模型实施嵌入式控制系统真实的-时间限制。典型的。。。指定时间-触发传感器读数、任务调用和独立于任何实施平台。。。
-
拍打
- 引用31篇文章[sw13258]
- concurrent的编写、模拟和推理，真实的-时间系统和其他可能的域。它来了。。。编辑和动画模拟器。最重要的是，帕特工具各种模型检查技术，以适应不同的。。。
-
时代
- 引用25篇文章[sw01403]
- 实施嵌入式系统时代是一个面向嵌入式系统的建模和可调度性分析工具真实的...
-
CVX发电机
- 在38篇文章中引用[sw07151]
- 解决问题的家庭。电流实施目标是可以被改造的问题家庭。。。适合嵌入的自由代码真实的-时间应用。生成的代码几乎是分支。。。免费的，所以有很高的可预测性-时间行为。静态正则化和。。。本文描述了CVXGEN是如何工作的实施，并给出一些关于速度的结果。。。
-
模仿者
- 27条引用[sw00439]
- 真实的-时间带参数的系统。它依赖于参数网络的形式化定时... 增加了整数变量和秒表。它实施包括安全综合、鲁棒性、不定时等算法。。。
-
兔子
- 引用24篇文章[sw01317]
- 检查工具真实的-时间系统。建模语言是定时用概念扩展的自动机。。。提供可达性分析和优化检查实施使用数据结构BDD。好的变量。。。
-
变质
- 引用了20篇文章[sw01575]
- 包括可扩展性、可靠性、稳定性、可维护性、灵活性，真实的-时间计划和调度，标准化通信，容错。。。安全。建议的架构是实施作为一个多智能体虚拟制造系统，在仿真中。。。
-
西莫罗斯
- 1条引用[sw02102]
- 用于建模、仿真和真实的-时间 实施多体系统动力学与控制。。。有两个主要目的：控制和真实的-时间 实施以及分析和设计。应用。。。
-
精灵
- 引用4篇文章[sw26533]
- 轻巧灵活的研究平台真实的-时间战略游戏。在本文中，我们建议。。。研究。使用精灵，我们实施高度可定制真实的-时间策略（RTS）引擎有三个。。。
-
乌帕亚尔2K
- 引用了43篇文章[sw01595]
- 区域包括真实的-时间尤其是控制器和通信协议时机方面。。。1999年9月。它是一个客户机/服务器应用程序实施在Java和C++中，并且当前。。。特定的案例验证真实的-时间系统故障。诊断痕迹可能会自动。。。
-
BCI2000
- 引用13篇文章[sw20617]
- 并给出了成功的BCI实例实施使用这个系统。到目前为止，我们已经。。。BCI2000满足真实的-时间BCI系统要求。通过大幅减少劳动力。。。成本，BCI2000有助于实施不同的脑机接口系统和其他心理生理实验。。。
-
如果-2.0
- 引用46篇文章[sw03303号]
- 研究真实的-时间异步系统的原语。目前，工具箱包含专用的。。。可执行代码（例如，已经用于组件实施并进行了测试）。这种情况促使了延期。。。
