引文输出
出版物
保存此搜索
研究文章 用于内存峰值最小化的数据流图顺序调度 LCTES 2023：第24届ACM SIGPLAN/SIGBED嵌入式系统语言、编译器和工具国际会议记录 • 2023年6月，第76-86页 • https://doi.org/10.1145/3589610.3596280 许多计算系统受到其固定的 共享内存量。 使用任务建模应用程序 或同步数据流（SDF）图使 分析并优化它们的内存峰值。 研究的问题 本文认为。。。 研究文章 CertiCAN认证CAN分析及其结果 摘要 我们介绍了CertiCAN，这是一个使用Coq证明助手并基于Prosa库生成的工具，用于对CAN分析结果进行形式验证。 与工具验证相比，结果验证是一个轻量级且灵活的过程。。。 研究文章 RDF：一种可重构的计算数据流模型 数据流计算模型（MoC）广泛应用于嵌入式系统，包括多媒体处理、数字信号处理、电信和自动控制。 在数据流MoC中，应用程序被指定为连接到。。。 研究文章 表示依赖关系的广义有向图模型 在计算机辅助可调度性分析验证的背景下，非常有表现力的任务模型有助于分解尽可能多的分析的正确性证明。 有向图任务模型由于其强大的。。。 研究文章 参数化数据流计算模型综述 数据流计算模型（MoC）广泛用于设计嵌入式信号处理和流系统。 在过去的几十年里，已经提出了数十种数据流MoC。 最近，几个 参数化的 数据流MoC表示为。。。 研究文章 数据流图的符号分析 计算的同步数据流模型广泛用于在严格的服务质量要求（例如缓冲大小、吞吐量、输入输出延迟）下设计嵌入式流处理应用程序。 所需的分析可以是。。。 研究文章 容错自动电路变换的形式化验证 FMCAD’15：第15届计算机辅助设计形式方法会议记录 • 2015年9月，第41-48页 我们提出了一种基于语言的方法来验证数字电路的容错技术。 电路用网关级硬件描述语言（HDL）表示，容错技术用自动电路转换来描述。。。 研究文章 容错电路的自动时间冗余变换 我们提出了一种新的逻辑级电路转换技术，用于自动插入容错特性。 我们的转换使用双时间冗余，再加上微检查点、回滚和加速模式。 为了我们最好的。。。 研究文章 在多核平台上调度参数化数据流应用程序的框架 LCTES第14届：2014年SIGPLAN/SIGBED嵌入式系统语言、编译器和工具会议记录 • 2014年6月，第125-134页 • https://doi.org/10.1145/2597809.2597819 数据流模型（如SDF）已被有效地用于编程流应用程序，同时确保其活性和有界性。 然而，工业界正在努力利用这些技术设计下一代高清晰度视频应用程序。。。 另发布于： ACM SIGPLAN通知：第49卷第5期，2014年5月 研究文章 三模冗余电路中验证引导的表决器最小化 日期：2014年：欧洲设计、自动化和测试会议记录 • 2014年3月，文章编号：92，第1-6页 我们提出了一种形式化的方法来最小化三模冗余时序电路中的投票者数量。 我们的技术实际上适用于电路的单个副本，并考虑用户定义的故障模型（形式为“最多1位滑动。。。 研究文章 BPDF公司 : 具有整数和布尔参数的静态可分析数据流模型 EMSOFT’13：第十一届ACM嵌入式软件国际会议论文集 • 2013年9月，第3条，第1-10页 数据流编程模型非常适合编写许多核心流应用程序。 然而，许多流应用程序具有动态行为。 为了捕捉这种行为，多年来引入了参数化数据流模型。 不过，这样。。。 研究文章 自卫队 : 可调度参数数据流MoC 日期'12:欧洲设计、自动化和测试会议记录 • 2012年3月，第769-774页 数据流编程模型适合表达多核流应用程序。 在这种情况下设计高质量的嵌入式系统需要进行静态分析，以确保应用程序的活性和有限内存。 然而，许多。。。 文章 保留特性的方面 面向方面编程可以任意扭曲程序的语义。 特别是，编织可能会使基本程序的关键安全性和活跃性失效。 在本文中，我们确定了保留一些。。。 文章 可用性方面 我们提出了一种特定于域的方面语言来防止资源管理导致的拒绝服务。 我们的方面通过在资源分配中强制实施时间限制来指定可用性策略。 在我们的语言中，方面可以被视为正式的。。。 章 化学反应模型的最新发展与展望 2001年，我们对15年多以来化学范式的研究进行了调查，这是许多不同研究领域的灵感来源。 本文简要介绍了有关化学反应的最新进展。。。 第条 保留属性类的专用方面语言 面向方面编程可以任意扭曲程序的语义。 特别是，编织会使基本程序的关键安全性和活性属性失效。 在之前的工作中，我们已经确定了保留…的方面的类别。。。 研究文章 通过程序自动转换实现实时程序的容错 我们提出了一种在实时嵌入式系统中实现容错的形式化方法。 初始容错系统由一组独立的周期性任务组成，这些任务被调度到一组故障处理器上，这些处理器通过一个可靠的。。。 研究文章 保留特性的方面 2008年政治公众人物会议：2008年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录 • 2008年1月，第135-145页 • https://doi.org/10.1145/1328408.1328429 面向方面编程可以任意扭曲程序的语义。 特别是，编织会使基本程序的关键安全性和活跃性失效。 在本文中，我们确定了保留某些类的方面的类别。。。 第条 可用性方面 在本文中，我们提出了一种特定于域的方面语言，以防止资源管理导致的拒绝服务。 我们的方面通过在资源分配中强制实施时间限制来指定可用性策略。 在我们的语言中，方面可以。。。 文章 接下来的700台Krivine机器 Krivine机器是一种简单而自然的正常弱头降低策略的实现 -条款。 虽然其原始描述尚未发布，但该机器已成为许多变体、扩展和……的基础。。。
